Jerry den Hartog

73 papers A* 3A 1B 11C 5Misc 5Journal 15Unranked 32

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Methodology to Measure the "Cost" of CPS Attacks: Not all CPS Networks are Created Equal. EuroS&P Workshops Martin Rosso, Luca Allodi, Emmanuele Zambon, Jerry den Hartog
2024	J	`jnl`	Cyber Resilience for the Internet of Things: Implementations With Resilience Engines and Attack Classifications. IEEE Trans. Emerg. Top. Comput. Eduardo Alvarenga, Jan R. Brands, Peter Doliwa, Jerry den Hartog, Erik Kraft, Marcel Medwed, Ventzislav Nikov, Joost Renes, Martin Rosso, Tobias Schneider, Nikita Veshchikov
2024	J	`jnl`	Demonstration of new attacks on three healthcare network protocols in a lab environment. J. Comput. Virol. Hacking Tech. Guillaume Dupont, Daniel Ricardo dos Santos, Stanislav Dashevskyi, Sangavi Vijayakumar, Sashaank P. Murali, Elisa Costante, Jerry den Hartog, Sandro Etalle
2024	—	`conf`	From Power to Water: Dissecting SCADA Networks Across Different Critical Infrastructures. PAM (1) Neil Ortiz Silva, Martin Rosso, Emmanuele Zambon, Jerry den Hartog, Alvaro A. Cárdenas
2024	B	`conf`	Using DNS Patterns for Automated Cyber Threat Attribution. ARES Cristoffer Leite, Jerry den Hartog, Daniel Ricardo dos Santos
2024	C	`conf`	WiP: Enhancing the Comprehension of XACML Policies. SACMAT Gelareh Hasel Mehri, Tien-Dung Le, Bram C. M. Cappers, Jerry den Hartog, Nicola Zannone
2023	C	`conf`	A Framework for Privacy-Preserving White-Box Anomaly Detection using a Lattice-Based Access Control. SACMAT Cristoffer Leite, Jerry den Hartog, Paul Koster
2023	B	`conf`	Automated Cyber Threat Intelligence Generation on Multi-Host Network Incidents. IEEE Big Data Cristoffer Leite, Jerry den Hartog, Daniel Ricardo dos Santos, Elisa Costante
2022	—	`conf`	Actionable Cyber Threat Intelligence for Automated Incident Response. NordSec Cristoffer Leite, Jerry den Hartog, Daniel Ricardo dos Santos, Elisa Costante
2022	—	`conf`	Characterizing Building Automation System Attacks and Attackers. EuroS&P Workshops Martino Tommasini, Martin Rosso, Emmanuele Zambon, Luca Allodi, Jerry den Hartog
2022	—	`conf`	You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network. SP (Workshops) Xi Qin, Martin Rosso, Alvaro A. Cárdenas, Sandro Etalle, Jerry den Hartog, Emmanuele Zambon
2021	—	`conf`	Similarity-Based Clustering For IoT Device Classification. COINS Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2020	Misc	`conf`	A Matter of Life and Death: Analyzing the Security of Healthcare Networks. SEC Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2019	—	`conf`	A Survey of Network Intrusion Detection Systems for Controller Area Network. ICVES Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	—	`conf`	Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. ICCVE Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	J	`jnl`	Network intrusion detection systems for in-vehicle network - Technical report. CoRR Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	B	`conf`	Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks. DIMVA Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2019	C	`conf`	Using Provenance for Secure Data Fusion in Cooperative Systems. SACMAT Clara Bertolissi, Jerry den Hartog, Nicola Zannone
2018	—	`conf`	Feature Selection for Anomaly Detection in Vehicular Ad Hoc Networks. ICETE (1) Van Huynh Le, Jerry den Hartog, Nicola Zannone
2018	C	`conf`	Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems. CRITIS Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2018	J	`jnl`	Security and privacy for innovative automotive applications: A survey. Comput. Commun. Van Huynh Le, Jerry den Hartog, Nicola Zannone
2017	J	`jnl`	A white-box anomaly-based framework for database leakage detection. J. Inf. Secur. Appl. Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy
2017	—	`conf`	Encryption in ICS networks: A blessing or a curse? SmartGridComm Davide Fauri, Bart de Wijs, Jerry den Hartog, Elisa Costante, Emmanuele Zambon, Sandro Etalle
2017	J	`jnl`	Formal analysis of XACML policies using SMT. Comput. Secur. Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone
2017	—	`conf`	From System Specification to Anomaly Detection (and back). CPS-SPC@CCS Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta
2016	—	`conf`	A Hybrid Framework for Data Loss Prevention and Detection. IEEE Symposium on Security and Privacy Workshops Elisa Costante, Davide Fauri, Sandro Etalle, Jerry den Hartog, Nicola Zannone
2016	—	`conf`	A Policy Framework for Data Fusion and Derived Data Control. ABAC@CODASPY Jerry den Hartog, Nicola Zannone
2016	—	`conf`	An Authorization Service for Collaborative Situation Awareness. CODASPY Alexandru Ionut Egner, Duc Luu, Jerry den Hartog, Nicola Zannone
2016	Misc	`conf`	Collaborative Access Decisions: Why Has My Decision Not Been Enforced? ICISS Jerry den Hartog, Nicola Zannone
2016	B	`conf`	Data Governance and Transparency for Collaborative Systems. DBSec Rauf Mahmudlu, Jerry den Hartog, Nicola Zannone
2016	Misc	`conf`	Reading between the fields: practical, effective intrusion detection for industrial control systems. SAC Ömer Yüksel, Jerry den Hartog, Sandro Etalle
2016	B	`conf`	Towards Creating Believable Decoy Project Folders for Detecting Data Theft. DBSec Stefan Thaler, Jerry den Hartog, Milan Petkovic
2016	Misc	`conf`	Towards Useful Anomaly Detection for Back Office Networks. ICISS Ömer Yüksel, Jerry den Hartog, Sandro Etalle
2015	—	`conf`	Analysis of XACML Policies with SMT. POST Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone
2015	B	`conf`	Cross-Domain Attribute Conversion for Authentication and Authorization. ARES Stefan Thaler, Jerry den Hartog, Dhouha Ayed, Dieter Sommer, Michael Hitchens
2015	J	`jnl`	SAFAX - An Extensible Authorization Service for Cloud Environments. Frontiers ICT Samuel Paul Kaluvuri, Alexandru Ionut Egner, Jerry den Hartog, Nicola Zannone
2015	J	`jnl`	Understanding Perceived Trust to Reduce Regret. Comput. Intell. Elisa Costante, Jerry den Hartog, Milan Petkovic
2014	—	`conf`	CollAC: Collaborative access control. CTS Stan Damen, Jerry den Hartog, Nicola Zannone
2014	B	`conf`	Hunting the Unknown - White-Box Database Leakage Detection. DBSec Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy
2014	—	`conf`	Integration of Data-Minimising Authentication into Authorisation Systems. TRUST Dhouha Ayed, Patrik Bichsel, Jan Camenisch, Jerry den Hartog
2014	—	`conf`	Introducing Probabilities in Controller Strategies. DPM/SETOP/QASA Jerry den Hartog, Ilaria Matteucci
2014	A*	`conf`	POSTER: Analyzing Access Control Policies with SMT. CCS Fatih Turkmen, Jerry den Hartog, Nicola Zannone
2013	C	`conf`	Database Anomalous Activities - Detection and Quantification. SECRYPT Elisa Costante, Sokratis Vavilis, Sandro Etalle, Jerry den Hartog, Milan Petkovic, Nicola Zannone
2013	A*	`conf`	TRIPLEX: verifying data minimisation in communication systems. CCS Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone
2012	—	`conf`	A machine learning solution to assess privacy policy completeness: (short paper). WPES Elisa Costante, Yuanhao Sun, Milan Petkovic, Jerry den Hartog
2012	—	`conf`	Linking Unlinkability. TGC Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog
2012	—	`conf`	What Websites Know About You. DPM/SETOP Elisa Costante, Jerry den Hartog, Milan Petkovic
2011	—	`conf`	My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud. IEEE CLOUD David W. Chadwick, Stijn F. Lievens, Jerry den Hartog, Andreas Pashalidis, Joseph Alhadeff
2011	—	`conf`	On-line trust perception: What really matters. STAST Elisa Costante, Jerry den Hartog, Milan Petkovic
2011	J	`jnl`	Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reason. Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò
2010	J	`jnl`	A Flexible Architecture for Privacy-Aware Trust Management. J. Theor. Appl. Electron. Commer. Res. Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone
2010	A	`conf`	Formal Verification of Privacy for RFID Systems. CSF Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog
2010	B	`conf`	Improving DPA by Peak Distribution Analysis. Selected Areas in Cryptography Jing Pan, Jasper G. J. van Woudenberg, Jerry den Hartog, Marc F. Witteman
2010	B	`conf`	Principles on the Security of AES against First and Second-Order Differential Power Analysis. ACNS Jiqiang Lu, Jing Pan, Jerry den Hartog
2010	A*	`conf`	Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. IEEE Symposium on Security and Privacy Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle
2008	—	`conf`	Know What You Trust. Formal Aspects in Security and Trust Fred Spiessens, Jerry den Hartog, Sandro Etalle
2008	J	`jnl`	Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. Sci. Comput. Program. Jerry den Hartog
2007	—	`ch.`	Privacy Policies. Security, Privacy, and Trust in Modern Data Management Marnix Dekker, Sandro Etalle, Jerry den Hartog
2007	—	`conf`	Trust and punishment. Autonomics Sandro Etalle, Jerry den Hartog, Stephen Marsh
2006	—	`conf`	A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. ICALP (2) Ricardo Corin, Jerry den Hartog
2005	J	`jnl`	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). IACR Cryptol. ePrint Arch. Ricardo Corin, Jerry den Hartog
2005	B	`conf`	Functional Principles of Registry-based Service Discovery. LCN Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan
2005	B	`conf`	Link-layer jamming attacks on S-MAC. EWSN Yee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga
2005	J	`jnl`	Nonmonotonic Trust Management for P2P Applications CoRR Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog
2005	—	`conf`	Nonmonotonic Trust Management for P2P Applications. STM Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog
2004	—	`conf`	Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust Jerry den Hartog, Erik P. de Vink
2003	Misc	`conf`	PINPAS: A Tool for Power Analysis of Smartcards. SEC Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma
2002	J	`jnl`	Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. Jerry den Hartog, Erik P. de Vink
2000	—	`conf`	Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. MFCSIT Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
1999	J	`jnl`	Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Informaticae Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
1999	—	`conf`	Verifying Probabilistic Programs Using a Hoare like Logic. ASIAN Jerry den Hartog
1998	—	`conf`	Mixing Up Nondeterminism and Probability: a preliminary report. PROBMIV Jerry den Hartog, Erik P. de Vink
1997	—	`conf`	Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS Eneia Todoran, Jerry den Hartog, Erik P. de Vink