Jerry den Hartog

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 36

Top Topics

Intrusion Detection

Collaborative Systems

Situational Awareness

Top Venues

Publications

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