DIMVA 2022 Programme

Wednesday, June 29

8:45-9:30: Registration

9:30-10:00: Opening and Welcome

10:00-11:00: Keynote 1: Open Hardware Security – A New Hope. Kaveh Razavi, ETH Zurich

Chair: Daniel Gruss

11:00-11:30: Coffee Break

11:30-12:30: Session I: Program Analysis for Security
Chair: Michael Schwarz

  • 11:30-12:00: Hybrid Pruning: Towards A Precise Static Analysis
    D. Das, P. Bose (University of California, Santa Barbara), A. Machiry (Purdue University), S. Mariani   (VMware, Inc.), Y. Shoshitaishvili (Arizona State University), C. Kruegel, G. Vigna (University of California, Santa Barbara)
  • 12:00-12:30: VANDALIR: Vulnerability Analyses based on Datalog and LLVM-IR
    J. Schilling (Friedrich-Alexander University of Erlangen-Nuremberg), T. Müller (Hof University of Applied Sciences)

12:30-13:30: Lunch Break

13:30-15:00: Session II: Learning-based Approaches for Systems Security
Chair: Lorenzo Cavallaro

  • 13:30-14:00: Extended Abstract: Effective Call Graph Fingerprinting for the Analysis and Classification of Windows Malware
    F. Meloni, A. Sanna, D. Maiorca, G. Giacinto (University of Cagliari)
  • 14:00-14:30: COBRA-GCN: Contrastive Learning to Optimize Binary Representation Analysis with Graph Convolutional Networks
    M. Wang, A. Interrante-Grant, R. Whelan, T. Leek, (MIT Lincoln Laboratory)
  • 14:30-15:00: Establishing the Contaminating Effect of Metadata Feature Inclusion in Machine-Learned Network Intrusion Detection Models
    L. D’hooge, M. Verkerken, T. Wauters, B. Volckaert, F. De Turck (Department of Information Technology, IDLab-Imec, Ghent University)

15:00-15:30: Tea Break

15:30-17:00: Panel: Promises and Challenges of Technological Advances in Software Security
Daniel Gruss

Battista Biggio, University of Cagliari
Leyla Bilge, Norton LifeLock
Brendan Dolan Gavitt, NYU
Kaveh Razavi, ETH Zurich

17:30-20:00: Social Activity: Tour in Castello


Thursday, June 30

9:30-10:30: Keynote 2: Journey to the Center of the Third-Party Tracking Ecosystem. Leyla Bilge, Norton LifeLock

Chair: Lorenzo Cavallaro

10:30-11:00: Coffee Break

11:00-12:00: Session III: Hardware (In)Security
Chair: Daniel Gruss

  • 11:00-11:30: Branch Different – Spectre Attacks on Apple Silicon
    L. Hetterich, M. Schwarz, (CISPA Helmholtz Center for Information Security)
  • 11:30-12:00: MPKAlloc: Efficient Heap Meta-Data Integrity Through Hardware Memory Protection Keys
    W. Blair (Boston University), W. Robertson (Northeastern University), M. Egele (Boston University)

12:00-13:00: Lunch Break

13:00-15:00: Session IV: Secure Systems Design and Network Security
Srdjan Matic

  • 13:00-13:30: Prioritizing Antivirus Alerts on Internal Enterprise Machines
    S. Sakazi, Y. Elovici, A. Shabtai, (Ben Gurion University of the Negev)
  • 13:30-14:00: A Human in Every APE: Delineating and Evaluating the Human Analysis Systems of Anti-Phishing Entities
    B. Acharya, P. Vadrevu (University of New Orleans)
  • 14:00-14:30: Amplification Chamber: Dissecting the Attack Infrastructure of Memcached DRDoS Attacks
    R. Tanabe, M. Kondo, N. Shintani, D. Makita, K. Yoshioka, T. Matsumoto (Yokohama National University)
  • 14:30-15:00: Consistency is All I Ask: Attacks and Countermeasures on the Network Context of Distributed Honeypots
    S. LIU, P. Feng (George Mason University), J. Cao (Tsinghua University), X. He, T. Chin, K. Sun (George Mason University), Q. Li (Tsinghua University)

15:00-15:30: Tea Break

17:00-22:30: Trekking on the Devil’s Saddle and Social Dinner


Friday, 1 July

9:15 -9:45: Breakfast

9:45-12:00: PhD Forum & Virtual Talks in Person
Daniel Gruss

09:45 Microsoft Office Malware Detection and Analysis (PhD Talk) — Alessandro Sanna

10:00 Fault Diagnosis of Discrete-Event Systems under external attacks (PhD Talk) — Tenglong Kang

10:15 Current-state Opacity by Using Petri Nets (PhD Talk) — Kun Peng

10:30 Distributed Heterogeneous N-Variant Execution (DIMVA 2020) — Alexios Voulimeneas

10:55 Putting Attacks in Context: A Building Automation Testbed for Impact Assessment from the Victim’s Perspective (DIMVA 2020) — Herson Tobias Esquivel Vargas

11:20 Explaining Machine Learning DGA Detectors from DNS Traffic Data (ITASEC 2022) — Giorgio Piras

11:40 Robust Machine Learning for Malware Detection over Time (ITASEC 2022) — Daniele Angioni

12:00: Closing Remarks

12:15-13:00: Lunch