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)
- 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)
- 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)
- 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)
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
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