Jerry den Hartog

According to our database, Jerry den Hartog authored at least 73 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Demonstration of new attacks on three healthcare network protocols in a lab environment.

Guillaume Dupont, Daniel Ricardo dos Santos, Stanislav Dashevskyi, Sangavi Vijayakumar, Sashaank P. Murali, Elisa Costante, Jerry den Hartog, Sandro Etalle

J. Comput. Virol. Hacking Tech., June, 2024

From Power to Water: Dissecting SCADA Networks Across Different Critical Infrastructures.

Neil Ortiz Silva, Martin Rosso, Emmanuele Zambon, Jerry den Hartog, Alvaro A. Cárdenas

Proceedings of the Passive and Active Measurement - 25th International Conference, 2024

2023

A Framework for Privacy-Preserving White-Box Anomaly Detection using a Lattice-Based Access Control.

Cristoffer Leite, Jerry den Hartog, Paul Koster

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Automated Cyber Threat Intelligence Generation on Multi-Host Network Incidents.

Cristoffer Leite, Jerry den Hartog, Daniel Ricardo dos Santos, Elisa Costante

Proceedings of the IEEE International Conference on Big Data, 2023

2022

You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network.

Xi Qin, Martin Rosso, Alvaro A. Cárdenas, Sandro Etalle, Jerry den Hartog, Emmanuele Zambon

Proceedings of the 43rd IEEE Security and Privacy, 2022

Actionable Cyber Threat Intelligence for Automated Incident Response.

Cristoffer Leite, Jerry den Hartog, Daniel Ricardo dos Santos, Elisa Costante

Proceedings of the Secure IT Systems, 2022

Characterizing Building Automation System Attacks and Attackers.

Martino Tommasini, Martin Rosso, Emmanuele Zambon, Luca Allodi, Jerry den Hartog

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

2021

Similarity-Based Clustering For IoT Device Classification.

Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

2020

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

Proceedings of the ICT Systems Security and Privacy Protection, 2020

2019

Network intrusion detection systems for in-vehicle network - Technical report.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

CoRR, 2019

Using Provenance for Secure Data Fusion in Cooperative Systems.

Clara Bertolissi, Jerry den Hartog, Nicola Zannone

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

A Survey of Network Intrusion Detection Systems for Controller Area Network.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

Proceedings of the IEEE International Conference of Vehicular Electronics and Safety, 2019

Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks.

Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

2018

Security and privacy for innovative automotive applications: A survey.

Van Huynh Le, Jerry den Hartog, Nicola Zannone

Comput. Commun., 2018

Feature Selection for Anomaly Detection in Vehicular Ad Hoc Networks.

Van Huynh Le, Jerry den Hartog, Nicola Zannone

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

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

Proceedings of the Critical Information Infrastructures Security, 2018

2017

A white-box anomaly-based framework for database leakage detection.

Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy

J. Inf. Secur. Appl., 2017

Formal analysis of XACML policies using SMT.

Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone

Comput. Secur., 2017

Encryption in ICS networks: A blessing or a curse?

Davide Fauri, Bart de Wijs, Jerry den Hartog, Elisa Costante, Emmanuele Zambon, Sandro Etalle

Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

From System Specification to Anomaly Detection (and back).

Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta

Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

2016

A Hybrid Framework for Data Loss Prevention and Detection.

Elisa Costante, Davide Fauri, Sandro Etalle, Jerry den Hartog, Nicola Zannone

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Reading between the fields: practical, effective intrusion detection for industrial control systems.

Ömer Yüksel, Jerry den Hartog, Sandro Etalle

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Towards Useful Anomaly Detection for Back Office Networks.

Ömer Yüksel, Jerry den Hartog, Sandro Etalle

Proceedings of the Information Systems Security - 12th International Conference, 2016

Collaborative Access Decisions: Why Has My Decision Not Been Enforced?

Jerry den Hartog, Nicola Zannone

Proceedings of the Information Systems Security - 12th International Conference, 2016

Towards Creating Believable Decoy Project Folders for Detecting Data Theft.

Stefan Thaler, Jerry den Hartog, Milan Petkovic

Proceedings of the Data and Applications Security and Privacy XXX, 2016

Data Governance and Transparency for Collaborative Systems.

Rauf Mahmudlu, Jerry den Hartog, Nicola Zannone

Proceedings of the Data and Applications Security and Privacy XXX, 2016

A Policy Framework for Data Fusion and Derived Data Control.

Jerry den Hartog, Nicola Zannone

Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control, 2016

An Authorization Service for Collaborative Situation Awareness.

Alexandru Ionut Egner, Duc Luu, Jerry den Hartog, Nicola Zannone

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015

SAFAX - An Extensible Authorization Service for Cloud Environments.

Samuel Paul Kaluvuri, Alexandru Ionut Egner, Jerry den Hartog, Nicola Zannone

Frontiers ICT, 2015

Understanding Perceived Trust to Reduce Regret.

Elisa Costante, Jerry den Hartog, Milan Petkovic

Comput. Intell., 2015

Analysis of XACML Policies with SMT.

Fatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Cross-Domain Attribute Conversion for Authentication and Authorization.

Stefan Thaler, Jerry den Hartog, Dhouha Ayed, Dieter Sommer, Michael Hitchens

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

Integration of Data-Minimising Authentication into Authorisation Systems.

Dhouha Ayed, Patrik Bichsel, Jan Camenisch, Jerry den Hartog

Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014

Introducing Probabilities in Controller Strategies.

Jerry den Hartog, Ilaria Matteucci

Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

Hunting the Unknown - White-Box Database Leakage Detection.

Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy

Proceedings of the Data and Applications Security and Privacy XXVIII, 2014

CollAC: Collaborative access control.

Stan Damen, Jerry den Hartog, Nicola Zannone

Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

POSTER: Analyzing Access Control Policies with SMT.

Fatih Turkmen, Jerry den Hartog, Nicola Zannone

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Database Anomalous Activities - Detection and Quantification.

Elisa Costante, Sokratis Vavilis, Sandro Etalle, Jerry den Hartog, Milan Petkovic, Nicola Zannone

Proceedings of the SECRYPT 2013, 2013

TRIPLEX: verifying data minimisation in communication systems.

Meilof Veeningen, Mayla Brusò, Jerry den Hartog, Nicola Zannone

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

A machine learning solution to assess privacy policy completeness: (short paper).

Elisa Costante, Yuanhao Sun, Milan Petkovic, Jerry den Hartog

Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, 2012

Linking Unlinkability.

Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

What Websites Know About You.

Elisa Costante, Jerry den Hartog, Milan Petkovic

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012

2011

Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning".

Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò

J. Autom. Reason., 2011

On-line trust perception: What really matters.

Elisa Costante, Jerry den Hartog, Milan Petkovic

Proceedings of the 1st Workshop on Socio-Technical Aspects in Security and Trust, 2011

My Private Cloud Overview: A Trust, Privacy and Security Infrastructure for the Cloud.

David W. Chadwick, Stijn F. Lievens, Jerry den Hartog, Andreas Pashalidis, Joseph Alhadeff

Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010

A Flexible Architecture for Privacy-Aware Trust Management.

Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone

J. Theor. Appl. Electron. Commer. Res., 2010

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Improving DPA by Peak Distribution Analysis.

Jing Pan, Jasper G. J. van Woudenberg, Jerry den Hartog, Marc F. Witteman

Proceedings of the Selected Areas in Cryptography - 17th International Workshop, 2010

Formal Verification of Privacy for RFID Systems.

Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

Principles on the Security of AES against First and Second-Order Differential Power Analysis.

Jiqiang Lu, Jing Pan, Jerry den Hartog

Proceedings of the Applied Cryptography and Network Security, 8th International Conference, 2010

2009

You Cannot Hide behind the Mask: Power Analysis on a Provably Secure <i>S</i>-Box Implementation.

Jing Pan, J. I. den Hartog, Jiqiang Lu

Proceedings of the Information Security Applications, 10th International Workshop, 2009

2008

Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic.

Jerry den Hartog

Sci. Comput. Program., 2008

An Operation-Based Metric for CPA Resistance.

Jing Pan, J. I. den Hartog, Erik P. de Vink

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

Know What You Trust.

Fred Spiessens, Jerry den Hartog, Sandro Etalle

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Audit-based compliance control.

J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini

Int. J. Inf. Sec., 2007

Trust and punishment.

Sandro Etalle, Jerry den Hartog, Stephen Marsh

Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

Privacy Policies.

Marnix Dekker, Sandro Etalle, Jerry den Hartog

Proceedings of the Security, Privacy, and Trust in Modern Data Management, 2007

2006

A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs.

Ricardo Corin, Jerry den Hartog

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version).

Ricardo Corin, Jerry den Hartog

IACR Cryptol. ePrint Arch., 2005

Nonmonotonic Trust Management for P2P Applications.

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog

Proceedings of the First International Workshop on Security and Trust Management, 2005

An Audit Logic for Accountability.

J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

Functional Principles of Registry-based Service Discovery.

Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan

Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005

Link-layer jamming attacks on S-MAC.

Yee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga

Proceedings of the Wireless Sensor Networks, Second European Workshop, 2005

2004

Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.

Jerry den Hartog, Erik P. de Vink

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

A Logic for Auditing Accountability in Decentralized Systems.

Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

2003

PINPAS: A Tool for Power Analysis of Smartcards.

Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

2002

Verifying Probabilistic Programs Using a Hoare Like Logic.

Jerry den Hartog, Erik P. de Vink

Int. J. Found. Comput. Sci., 2002

2000

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Full Abstractness of a Metric Semantics for Action Refinement.

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker

Fundam. Informaticae, 1999

Verifying Probabilistic Programs Using a Hoare like Logic.

Jerry den Hartog

Proceedings of the Advances in Computing Science, 1999

1998

Mixing Up Nondeterminism and Probability: a preliminary report.

Jerry den Hartog, Erik P. de Vink

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Comparative Metric Semantics for Commit in OR-Parallel Logic Programming.

Eneia Todoran, Jerry den Hartog, Erik P. de Vink

Proceedings of the Logic Programming, 1997