| 2022 | SP | You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network. | Xi Qin, Martin Rosso, Alvaro A. Crdenas, Sandro Etalle, Jerry den Hartog, Emmanuele Zambon |
| 2020 | SEC | A Matter of Life and Death: Analyzing the Security of Healthcare Networks. | Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle |
| 2019 | CCS | Network Monitoring of Industrial Control Systems: The Lessons of SecurityMatters. | Sandro Etalle |
| 2019 | DIMVA | Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks. | Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle |
| 2018 | CRITIS | Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems. | Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle |
| 2018 | SAC | Behavior analysis in the medical sector: theory and practice. | Mahdi Alizadeh, Sander Peters, Sandro Etalle, Nicola Zannone |
| 2018 | VizSec | Eventpad: Rapid Malware Analysis and Reverse Engineering using Visual Analytics. | Bram C. M. Cappers, Paulus N. Meessen, Sandro Etalle, Jarke J. van Wijk |
| 2017 | ACSAC | ECFI: Asynchronous Control Flow Integrity for Programmable Logic Controllers. | Ali Abbasi, Thorsten Holz, Emmanuele Zambon, Sandro Etalle |
| 2017 | CCS | From System Specification to Anomaly Detection (and back). | Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta |
| 2017 | ESORICS | From Intrusion Detection to Software Design. | Sandro Etalle |
| 2017 | NSS | \mu Shield - Configurable Code-Reuse Attacks Mitigation For Embedded Systems. | Ali Abbasi, Jos Wetzels, Wouter Bokslag, Emmanuele Zambon, Sandro Etalle |
| 2016 | CRITIS | Stealth Low-Level Manipulation of Programmable Logic Controllers I/O by Pin Control Exploitation. | Ali Abbasi, Majid Hashemi, Emmanuele Zambon, Sandro Etalle |
| 2016 | ICISS | Towards Useful Anomaly Detection for Back Office Networks. | mer Yksel, Jerry den Hartog, Sandro Etalle |
| 2016 | SAC | Reading between the fields: practical, effective intrusion detection for industrial control systems. | mer Yksel, Jerry den Hartog, Sandro Etalle |
| 2016 | SP | A Hybrid Framework for Data Loss Prevention and Detection. | Elisa Costante, Davide Fauri, Sandro Etalle, Jerry den Hartog, Nicola Zannone |
| 2015 | REFSQ | Experimental Validation of a Risk Assessment Method. | Eelco Vriezekolk, Sandro Etalle, Roel J. Wieringa |
| 2014 | DBSEC | Hunting the Unknown - White-Box Database Leakage Detection. | Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy |
| 2014 | RAID | On Emulation-Based Network Intrusion Detection Systems. | Ali Abbasi, Jos Wetzels, Wouter Bokslag, Emmanuele Zambon, Sandro Etalle |
| 2013 | SECRYPT | Database Anomalous Activities - Detection and Quantification. | Elisa Costante, Sokratis Vavilis, Sandro Etalle, Jerry den Hartog, Milan Petkovic, Nicola Zannone |
| 2012 | RAID | N-Gram against the Machine: On the Feasibility of the N-Gram Network Analysis for Binary Protocols. | Dina Hadziosmanovic, Lorenzo Simionato, Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle |
| 2011 | CCS | Poster: protecting information in systems of systems. | Daniel Trivellato, Nicola Zannone, Sandro Etalle |
| 2010 | CNSM | CRAC: Confidentiality risk assessment and IT-infrastructure comparison. | Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa |
| 2010 | SP | Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. | Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle |
| 2010 | SECRYPT | Towards Data Protection Compliance. | Nicola Zannone, Milan Petkovic, Sandro Etalle |
| 2009 | ICSE | Extended eTVRA vs. security checklist: Experiences in a value-web. | Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle |
| 2009 | LOPSTR | LP with Flexible Grouping and Aggregates Using Modes. | Marcin Czenko, Sandro Etalle |
| 2009 | RAID | Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. | Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel |
| 2008 | SACMAT | RBAC administration in distributed systems. | M. A. C. Dekker, Jason Crampton, Sandro Etalle |
| 2007 | CCS | Extended privilege inheritance in RBAC. | M. A. C. Dekker, J. G. Cederquist, Jason Crampton, Sandro Etalle |
| 2007 | ICLP | Core TuLiP Logic Programming for Trust Management. | Marcin Czenko, Sandro Etalle |
| 2007 | SACMAT | A posteriori compliance control. | Sandro Etalle, William H. Winsborough |
| 2007 | TrustBus | The Meaning of Logs. | Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin |
| 2006 | SP | A Logic for Constraint-based Security Protocol Analysis. | Ricardo Corin, Sandro Etalle, Ari Saptawijaya |
| 2005 | ICLP | PS-LTL for Constraint-Based Security Protocol Analysis. | Ricardo Corin, Ari Saptawijaya, Sandro Etalle |
| 2005 | SACMAT | Integrity constraints in trust management. | Sandro Etalle, William H. Winsborough |
| 2005 | SEC | StreamTo: Streaming Content using a Tamper-Resistant Token. | Jieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus |
| 2004 | CCS | Timed model checking of security protocols. | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
| 2004 | WISA | License Protection with a Tamper-Resistant Token. | Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin |
| 2003 | SEC | Assessing Security in Energy-Efficient Sensor Networks. | Yee Wei Law, Sandro Etalle, Pieter H. Hartel |
| 2002 | SAS | An Improved Constraint-Based System for the Verification of Security Protocols. | Ricardo Corin, Sandro Etalle |
| 2001 | ESOP | Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
| 2001 | LOPSTR | Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. | Giorgio Delzanno, Sandro Etalle |
| 2000 | LOPSTR | The lazy functional side of logic programming. | Sandro Etalle, Jon Mountjoy |
| 1999 | ICLP | Logic Programming with Requests. | Sandro Etalle, Femke van Raamsdonk |
| 1999 | LOPSTR | The Replacement Operation for CCP Programs. | Marco Bertolino, Sandro Etalle, Catuscia Palamidessi |
| 1999 | LOPSTR | Transformation of Left Terminating Programs. | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1998 | CONCUR | Unfold/Fold Transformations of CCP Programs. | Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo |
| 1998 | ICLP | Beyond Success and Failure. | Sandro Etalle, Femke van Raamsdonk |
| 1997 | PEPM | A Transformation System for CLP with Dynamic Scheduling and CCP. | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
| 1996 | ICLP | A Compositional Semantics for Normal Open Programs. | Sandro Etalle, Frank Teusink |
| 1995 | ICLP | A Transformation System for Modular CLP Programs. | Sandro Etalle, Maurizio Gabbrielli |
| 1995 | LOPSTR | Transformation of Left Terminating Programs: the Reordering Problem. | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1995 | PEPM | The Replacement Operation for CLP Modules. | Sandro Etalle, Maurizio Gabbrielli |
| 1994 | LOPSTR | More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. | Annalisa Bossi, Sandro Etalle |
| 1993 | MFCS | On the Unification Free Prolog Programs. | Krzysztof R. Apt, Sandro Etalle |