Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. - Jan van den Bos; Marinus J. Plasmeijer; Pieter H. Hartel (IEEE Trans. Software Eng., 1983)

The Dutch parallel reduction machine project. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer; Pieter H. Hartel; Louis O. Hertzberger; Willem G. Vree (Future Gener. Comput. Syst., 1987)

The Average Size of Ordered Binary Subgraphs. - Pieter H. Hartel (WG, 1988)

Statistics on Graph Reduction of SASL Programs. - Pieter H. Hartel; Arthur H. Veen (Softw. Pract. Exp., 1988)

A Comparison of Three Garbage Collection Algorithms. - Pieter H. Hartel (Struct. Program., 1990)

Performance of Lazy Combinator Graph Reduction. - Pieter H. Hartel (Softw. Pract. Exp., 1991)

FCG: A Code Generator for Lazy Functional Languages. - Koen Langendoen; Pieter H. Hartel (CC, 1992)

Experiments with destructive updates in a lazy functional language (extended abstract). - Pieter H. Hartel; Willem G. Vree (Functional Programming, 1993)

Benchmarking Implementations of Lazy Functional Languages. - Pieter H. Hartel; Koen Langendoen (FPCA, 1993)

Experience with a clustered parallel reduction machine. - Marcel Beemster; Pieter H. Hartel; Louis O. Hertzberger; Rutger F. H. Hofman; Koen Langendoen; L. L. Li; R. Milikowski; Willem G. Vree; Hendrik Pieter Barendregt; J. C. Mulder (Future Gener. Comput. Syst., 1993)

Experiments wiht Destructive Updates in a Lazy Functional Language. - Pieter H. Hartel; Willem G. Vree (Comput. Lang., 1994)

Compilation of Functional Languages using Flow Graph Analysis. - Pieter H. Hartel; Hugh Glaser; John M. Wild (Softw. Pract. Exp., 1994)

Basic Proof Skills of Computer Science Students. - Pieter H. Hartel; Bert van Es; Dick Tromp (FPLE, 1995)

Local Linear Logic for Locality Consciousness in Multiset Transformation - Hugh McEvoy; Pieter H. Hartel (PLILP, 1995)

A toolkit for parallel functional programming. - Pieter H. Hartel; Rutger F. H. Hofman; Koen Langendoen; Henk L. Muller; Willem G. Vree; Louis O. Hertzberger (Concurr. Pract. Exp., 1995)

Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language. - A. Reza Haydarlou; Pieter H. Hartel (J. Funct. Log. Program., 1995)

Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. - Pieter H. Hartel; Marinus J. Plasmeijer (J. Funct. Program., 1995)

Communication Lifting: Fixed Point Computation for Parallelism. - Willem G. Vree; Pieter H. Hartel (J. Funct. Program., 1995)

Paradigms and laboratories in the core computer science curriculum: an overview. - Pieter H. Hartel; Louis O. Hertzberger (ACM SIGCSE Bull., 1995)

Structuring and Visualising an IC-card Security Standard. - Hugh Glaser; Pieter H. Hartel; Eduard K. de Jong Frz (CARDIS, 1996)

Introduction to CARDIS 1996. - Pieter H. Hartel; Jean-Jacques Quisquater (CARDIS, 1996)

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. - Pieter H. Hartel; Marc Feeley; Martin Helmut Alt; Lennart Augustsson; Peter Baumann; Marcel Beemster; Emmanuel Chailloux; Christine H. Flood; Wolfgang Grieskamp; John H. G. van Groningen; Kevin Hammond; Bogumil Hausman; et al. (J. Funct. Program., 1996)

The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. - Pieter H. Hartel; Hugh Glaser (J. Funct. Program., 1996)

Functional C. - Pieter H. Hartel; Henk L. Muller (Addison-Wesley-Longman, 1997)

Using formal methods to cultivate trust in smart card operating systems. - Marjan I. Alberda; Pieter H. Hartel; Eduard K. de Jong Frz (Future Gener. Comput. Syst., 1997)

FGCS special issue on smart cards. - Pieter H. Hartel (Future Gener. Comput. Syst., 1997)

Elementary Standard ML by Greg Michaelson, University College London Press, UK, 1995, ISBN 1-85728-398-8 PB, pp 306. - Pieter H. Hartel (Knowl. Eng. Rev., 1997)

An Operational Model of QuickPay - Extended Abstract. - Pieter H. Hartel; Jake Hill; Matt Sims (CARDIS, 1998)

The Operational Semantics of a Java Secure Processor. - Pieter H. Hartel; Michael J. Butler; Moshe Levy (Formal Syntax and Semantics of Java, 1999)

Declarative solutions to partitioned-grid problems. - Sandro Etalle; Pieter H. Hartel; Willem G. Vree (Softw. Pract. Exp., 1999)

LETOS - a lightweight execution tool for operational semantics. - Pieter H. Hartel (Softw. Pract. Exp., 1999)

Reasoning about Grover's quantum search algorithm using probabilistic wp. - Michael J. Butler; Pieter H. Hartel (ACM Trans. Program. Lang. Syst., 1999)

Formalising Java Safety - An overview. - Pieter H. Hartel (CARDIS, 2000)

Pressure Sequence - A Novel Method of Protecting Smart Cards. - Neil James Henderson; Pieter H. Hartel (CARDIS, 2000)

A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. - Pieter H. Hartel; Eduard de Jong (Java Card Workshop, 2000)

Programming by Numbers: A Programming Method for Novices. - Hugh Glaser; Pieter H. Hartel; Paul W. Garratt (Comput. J., 2000)

Principles of abstract machines. - Stephan Diehl 001; Pieter H. Hartel; Peter Sestoft (Future Gener. Comput. Syst., 2000)

Abstract machines for programming language implementation. - Stephan Diehl 001; Pieter H. Hartel; Peter Sestoft (Future Gener. Comput. Syst., 2000)

iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. - Neil James Henderson; Neil M. White; Pieter H. Hartel (E-smart, 2001)

Transacted Memory for Smart Cards. - Pieter H. Hartel; Michael J. Butler; Eduard de Jong; Mark Longley (FME, 2001)

Personal DJ, an architecture for personalised content delivery. - Adam Field; Pieter H. Hartel; Wim Mooij (WWW, 2001)

Current directions in smart cards. - Josep Domingo-Ferrer; Pieter H. Hartel (Comput. Networks, 2001)

Formalizing the safety of Java, the Java virtual machine, and Java card. - Pieter H. Hartel; Luc Moreau 001 (ACM Comput. Surv., 2001)

The State of WG 8.8. - Pieter H. Hartel (CARDIS, 2002)

A Java Reference Model of Transacted Memory for Smart Cards. - Erik Poll; Pieter H. Hartel; Eduard de Jong (CARDIS, 2002)

Security Attributes Based Digital Rights Management. - Cheun Ngen Chong; René van Buuren; Pieter H. Hartel; Geert Kleinhuis (IDMS/PROMS, 2002)

Multimedia QoS in Low-Cost Home Networks. - Hans Scholten; Pierre G. Jansen; Ferdy Hanssen; Pieter H. Hartel; T. Hattink; Vasughi Sundramoorthy (LCN, 2002)

Approximating Fair Use in LicenseScript. - Cheun Ngen Chong; Sandro Etalle; Pieter H. Hartel; Yee Wei Law (ICADL, 2003)

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. - Yee Wei Law; Ricardo Corin; Sandro Etalle; Pieter H. Hartel (PWC, 2003)

Comparing Logic-Based and XML-Based Rights Expression Languages. - Cheun Ngen Chong; Sandro Etalle; Pieter H. Hartel (OTM Workshops, 2003)

Secure Audit Logging with Tamper-Resistant Hardware. - Cheun Ngen Chong; Zhonghong Peng; Pieter H. Hartel (SEC, 2003)

Assessing Security in Energy-Efficient Sensor Networks. - Yee Wei Law; Sandro Etalle; Pieter H. Hartel (SEC, 2003)

LicenseScript: a novel digital rights language and its semantics. - Cheun Ngen Chong; Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Willem Jonker; Yee Wei Law (WEDELMUSIC, 2003)

A Trace Logic for Local Security Properties. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Antonio Durante (SVV@ICLP, 2003)

Modelling Mobility Aspects of Security Policies. - Pieter H. Hartel; Pascal van Eck; Sandro Etalle; Roel J. Wieringa (CASSIS, 2004)

Timed model checking of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (FMSE, 2004)

Benchmarking block ciphers for wireless sensor networks. - Yee Wei Law; Jeroen Doumen; Pieter H. Hartel (MASS, 2004)

Biometric verification based on grip-pattern recognition. - Raymond N. J. Veldhuis; Asker M. Bazen; Joost A. Kauffman; Pieter H. Hartel (Security, Steganography, and Watermarking of Multimedia Contents, 2004)

License Protection with a Tamper-Resistant Token. - Cheun Ngen Chong; Bin Ren; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Ricardo Corin (WISA, 2004)

Efficient Tree Search in Encrypted Data. - Richard Brinkman; Ling Feng; Jeroen Doumen; Pieter H. Hartel; Willem Jonker (Inf. Secur. J. A Glob. Perspect., 2004)

The Functional "C" experience. - Pieter H. Hartel; Henk L. Muller; Hugh Glaser (J. Funct. Program., 2004)

Music2Share - Copyright-Compliant Music Sharing in P2P Systems. - Ton Kalker; Dick H. J. Epema; Pieter H. Hartel; Reginald L. Lagendijk; Maarten van Steen (Proc. IEEE, 2004)

Link-layer jamming attacks on S-MAC. - Yee Wei Law; Pieter H. Hartel; Jerry den Hartog; Paul J. M. Havinga (EWSN, 2005)

Service Brokerage in Prolog. - Cheun Ngen Chong; Sandro Etalle; Pieter H. Hartel; Rieks Joosten; Geert Kleinhuis (ICEIS (3), 2005)

Functional Principles of Registry-based Service Discovery. - Vasughi Sundramoorthy; Pieter H. Hartel; Jerry den Hartog; Hans Scholten; C. Tan (LCN, 2005)

Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. - Yee Wei Law; Lodewijk van Hoesel; Jeroen Doumen; Pieter H. Hartel; Paul J. M. Havinga (SASN, 2005)

StreamTo: Streaming Content using a Tamper-Resistant Token. - Jieyin Cheng; Cheun Ngen Chong; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Stefan Nikolaus (SEC, 2005)

A Trace Semantics for Positive Core XPath. - Pieter H. Hartel (TIME, 2005)

Poseidon: a 2-tier Anomaly-based Intrusion Detection System - Damiano Bolzoni; Emmanuele Zambon; Sandro Etalle; Pieter H. Hartel (CoRR, 2005)

Nonmonotonic Trust Management for P2P Applications. - Marcin Czenko; Ha Tran; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Jerry den Hartog (STM, 2005)

A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. - Ileana Buhan; Asker M. Bazen; Pieter H. Hartel; Raymond N. J. Veldhuis (ICB, 2006)

On consistency maintenance in service discovery. - Vasughi Sundramoorthy; Pieter H. Hartel; Hans Scholten (IPDPS, 2006)

POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. - Damiano Bolzoni; Sandro Etalle; Pieter H. Hartel; Emmanuele Zambon (IWIA, 2006)

Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. - Raluca Marin-Perianu; Hans Scholten; Paul J. M. Havinga; Pieter H. Hartel (LCN, 2006)

LicenseScript: a logical language for digital rights management. - Cheun Ngen Chong; Ricardo Corin; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Yee Wei Law; Andrew Tokmakoff (Ann. des Télécommunications, 2006)

Survey and benchmark of block ciphers for wireless sensor networks. - Yee Wei Law; Jeroen Doumen; Pieter H. Hartel (ACM Trans. Sens. Networks, 2006)

Fuzzy extractors for continuous distributions. - Ileana Buhan; Jeroen Doumen; Pieter H. Hartel; Raymond N. J. Veldhuis (AsiaCCS, 2007)

Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. - Mohammed G. Khatib; Berend-Jan van der Zwaag; Pieter H. Hartel; Gerard J. M. Smit (ESTIMedia, 2007)

Feeling Is Believing: A Secure Template Exchange Protocol. - Ileana Buhan; Jeroen Doumen; Pieter H. Hartel; Raymond N. J. Veldhuis (ICB, 2007)

Timed analysis of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (J. Comput. Secur., 2007)

Power management of MEMS-based storage devices for mobile systems. - Mohammed G. Khatib; Pieter H. Hartel (CASES, 2008)

Inter-domain Identity-Based Proxy Re-encryption. - Qiang Tang 001; Pieter H. Hartel; Willem Jonker (Inscrypt, 2008)

Workload-based configuration of MEMS-based storage devices for mobile systems. - Mohammed G. Khatib; Ethan L. Miller; Pieter H. Hartel (EMSOFT, 2008)

Controlling leakage of biometric information using dithering. - Ileana Buhan; Jeroen Doumen; Pieter H. Hartel (EUSIPCO, 2008)

Towards Tamper-evident Storage on Patterned Media. - Pieter H. Hartel; Leon Abelmann; Mohammed G. Khatib (FAST, 2008)

Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. - Pieter H. Hartel; Theo C. Ruys; Marc C. W. Geilen (FMCAD, 2008)

Embedding Renewable Cryptographic Keys into Continuous Noisy Data. - Ileana Buhan; Jeroen Doumen; Pieter H. Hartel; Qiang Tang 001; Raymond N. J. Veldhuis (ICICS, 2008)

Towards an Information Theoretic Analysis of Searchable Encryption. - Saeed Sedghi; Jeroen Doumen; Pieter H. Hartel; Willem Jonker (ICICS, 2008)

A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks. - Raluca Marin-Perianu; Johann L. Hurink; Pieter H. Hartel (ISPA, 2008)

On the Inability of Existing Security Models to Cope with Data Mobility in Dynamic Organizations. - Trajce Dimkov; Qiang Tang 001; Pieter H. Hartel (MODSEC@MoDELS, 2008)

A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare. - Luan Ibraimi; Qiang Tang 001; Pieter H. Hartel; Willem Jonker (Secure Data Management, 2008)

Cluster-based service discovery for heterogeneous wireless sensor networks. - Raluca Marin-Perianu; Hans Scholten; Paul J. M. Havinga; Pieter H. Hartel (Int. J. Parallel Emergent Distributed Syst., 2008)

Towards Secure and Practical MACs for Body Sensor Networks. - Zheng Gong; Pieter H. Hartel; Svetla Nikova; Bo Zhu 007 (INDOCRYPT, 2009)

Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. - Luan Ibraimi; Qiang Tang 001; Pieter H. Hartel; Willem Jonker (ISPEC, 2009)

Policies for probe-wear leveling in MEMS-based storage devices. - Mohammed G. Khatib; Pieter H. Hartel (MASCOTS, 2009)

Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. - Damiano Bolzoni; Sandro Etalle; Pieter H. Hartel (RAID, 2009)

Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. - Luan Ibraimi; Milan Petkovic; Svetla Nikova; Pieter H. Hartel; Willem Jonker (WISA, 2009)

Fuzzy extractors for continuous distributions. - Ileana Buhan; Jeroen Doumen; Pieter H. Hartel (IACR Cryptol. ePrint Arch., 2009)

Secure pairing with biometrics. - Ileana Buhan; Bas Boom; Jeroen Doumen; Pieter H. Hartel; Raymond N. J. Veldhuis (Int. J. Secur. Networks, 2009)

Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. - Yee Wei Law; Marimuthu Palaniswami; Lodewijk van Hoesel; Jeroen Doumen; Pieter H. Hartel; Paul J. M. Havinga (ACM Trans. Sens. Networks, 2009)

Two methodologies for physical penetration testing using social engineering. - Trajce Dimkov; Wolter Pieters; Pieter H. Hartel (ACSAC, 2010)

Laptop theft: a case study on the effectiveness of security mechanisms in open organizations. - Trajce Dimkov; Wolter Pieters; Pieter H. Hartel (CCS, 2010)

Effectiveness of Physical, Social and Digital Mechanisms against Laptop Theft in Open Organizations. - Trajce Dimkov; Wolter Pieters; Pieter H. Hartel (GreenCom/CPSCom, 2010)

Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. - Trajce Dimkov; Wolter Pieters; Pieter H. Hartel (ARSPA-WITS, 2010)

MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. - Dina Hadziosmanovic; Damiano Bolzoni; Pieter H. Hartel (RAID, 2010)

Searching Keywords with Wildcards on Encrypted Data. - Saeed Sedghi; Peter van Liesdonk; Svetla Nikova; Pieter H. Hartel; Willem Jonker (SCN, 2010)

Computationally Efficient Searchable Symmetric Encryption. - Peter van Liesdonk; Saeed Sedghi; Jeroen Doumen; Pieter H. Hartel; Willem Jonker (Secure Data Management, 2010)

Exploring Type-and-Identity-Based Proxy Re-Encryption Scheme to Securely Manage Personal Health Records. - Luan Ibraimi; Qiang Tang 001; Pieter H. Hartel; Willem Jonker (Int. J. Comput. Model. Algorithms Medicine, 2010)

Embedding renewable cryptographic keys into noisy data. - Ileana Buhan; Jeroen Doumen; Pieter H. Hartel; Qiang Tang 001; Raymond N. J. Veldhuis (Int. J. Inf. Sec., 2010)

Optimizing MEMS-based storage devices for mobile battery-powered systems. - Mohammed G. Khatib; Pieter H. Hartel (ACM Trans. Storage, 2010)

Energy-Efficient Streaming Using Non-volatile Memory. - Mohammed G. Khatib; Pieter H. Hartel; Hylke W. van Dijk (J. Signal Process. Syst., 2010)

Public-Key Encryption with Delegated Search. - Luan Ibraimi; Svetla Nikova; Pieter H. Hartel; Willem Jonker (ACNS, 2011)

Privacy-preserving profile matching using the social graph. - Arjan Jeckmans; Qiang Tang 001; Pieter H. Hartel (CASoN, 2011)

Poster: privacy-preserving profile similarity computation in online social networks. - Arjan Jeckmans; Qiang Tang 001; Pieter H. Hartel (CCS, 2011)

MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures. - Dina Hadziosmanovic; Damiano Bolzoni; Pieter H. Hartel; Sandro Etalle (EC2ND, 2011)

Privacy Enhanced Access Control by Means of Policy Blinding. - Saeed Sedghi; Pieter H. Hartel; Willem Jonker; Svetla Nikova (ISPEC, 2011)

Conjunctive Wildcard Search over Encrypted Data. - Christoph Bösch 001; Richard Brinkman; Pieter H. Hartel; Willem Jonker (Secure Data Management, 2011)

Training students to steal: a practical assignment in computer security education. - Trajce Dimkov; Wolter Pieters; Pieter H. Hartel (SIGCSE, 2011)

KALwEN: a new practical and interoperable key management scheme for body sensor networks. - Yee Wei Law; Giorgi Moniava; Zheng Gong; Pieter H. Hartel; Marimuthu Palaniswami (Secur. Commun. Networks, 2011)

Model-based qualitative risk assessment for availability of IT infrastructures. - Emmanuele Zambon; Sandro Etalle; Roel J. Wieringa; Pieter H. Hartel (Softw. Syst. Model., 2011)

Challenges and opportunities in securing industrial control systems. - Dina Hadziosmanovic; Damiano Bolzoni; Sandro Etalle; Pieter H. Hartel (COMPENG, 2012)

Privacy-preserving collaborative filtering based on horizontally partitioned dataset. - Arjan Jeckmans; Qiang Tang 001; Pieter H. Hartel (CTS, 2012)

Selective Document Retrieval from Encrypted Database. - Christoph Bösch 001; Qiang Tang 001; Pieter H. Hartel; Willem Jonker (ISC, 2012)

A log mining approach for process monitoring in SCADA. - Dina Hadziosmanovic; Damiano Bolzoni; Pieter H. Hartel (Int. J. Inf. Sec., 2012)

Simple algebraic data types for C. - Pieter H. Hartel; Henk L. Muller (Softw. Pract. Exp., 2012)

How "Digital" is Traditional Crime? - Lorena Montoya; Marianne Junger; Pieter H. Hartel (EISIC, 2013)

Efficient Privacy-Enhanced Familiarity-Based Recommender System. - Arjan Jeckmans; Andreas Peter 001; Pieter H. Hartel (ESORICS, 2013)

Privacy-Preserving Verification of Clinical Research. - Eleftheria Makri; Maarten H. Everts; Sebastiaan de Hoogh; Andreas Peter 001; Harm op den Akker; Pieter H. Hartel; Willem Jonker (Sicherheit, 2013)

Applying the Lost-Letter Technique to Assess IT Risk Behaviour. - Elmer Lastdrager; Lorena Montoya; Pieter H. Hartel; Marianne Junger (STAST, 2013)

Privacy in Recommender Systems. - Arjan J. P. Jeckmans; Michael Beye; Zekeriya Erkin; Pieter H. Hartel; Reginald L. Lagendijk; Qiang Tang 001 (Social Media Retrieval, 2013)

Through the eye of the PLC: semantic security monitoring for industrial processes. - Dina Hadziosmanovic; Robin Sommer; Emmanuele Zambon; Pieter H. Hartel (ACSAC, 2014)

SOFIR: Securely outsourced Forensic image recognition. - Christoph Bösch 001; Andreas Peter 001; Pieter H. Hartel; Willem Jonker (ICASSP, 2014)

Distributed Searchable Symmetric Encryption. - Christoph Bösch 001; Andreas Peter 001; Bram Leenders; Hoon Wei Lim; Qiang Tang 001; Huaxiong Wang; Pieter H. Hartel; Willem Jonker (PST, 2014)

A Survey of Provably Secure Searchable Encryption. - Christoph Bösch 001; Pieter H. Hartel; Willem Jonker; Andreas Peter 001 (ACM Comput. Surv., 2014)

TuLP: A Family of Lightweight Message Authentication Codes for Body Sensor Networks. - Zheng Gong; Pieter H. Hartel; Svetla Nikova; Shaohua Tang; Bo Zhu 007 (J. Comput. Sci. Technol., 2014)

Publicly Verifiable Private Aggregation of Time-Series Data. - Bence Gabor Bakondi; Andreas Peter 001; Maarten H. Everts; Pieter H. Hartel; Willem Jonker (ARES, 2015)

Regression Nodes: Extending Attack Trees with Data from Social Sciences. - Jan-Willem Bullee; Lorena Montoya; Wolter Pieters; Marianne Junger; Pieter H. Hartel (STAST, 2015)

Reliably determining data leakage in the presence of strong attackers. - Riccardo Bortolameotti; Andreas Peter 001; Maarten H. Everts; Willem Jonker; Pieter H. Hartel (ACSAC, 2016)

Telephone-based social engineering attacks: An experiment testing the success and time decay of an intervention. - Jan-Willem Bullee; Lorena Montoya; Marianne Junger; Pieter H. Hartel (SG-CRC, 2016)

DECANTeR: DEteCtion of Anomalous outbouNd HTTP TRaffic by Passive Application Fingerprinting. - Riccardo Bortolameotti; Thijs van Ede; Marco Caselli; Maarten H. Everts; Pieter H. Hartel; Rick Hofstede; Willem Jonker; Andreas Peter 001 (ACSAC, 2017)

Towards the normalization of cybercrime victimization: A routine activities analysis of cybercrime in europe. - Marianne Junger; Lorena Montoya; Pieter H. Hartel; Maliheh Heydari (CyberSA, 2017)

How Effective is Anti-Phishing Training for Children? - Elmer Lastdrager; Inés Carvajal Gallardo; Pieter H. Hartel; Marianne Junger (SOUPS, 2017)

Spear phishing in organisations explained. - Jan-Willem Bullee; Lorena Montoya; Marianne Junger; Pieter H. Hartel (Inf. Comput. Secur., 2017)

Rethinking Blockchain Security: Position Paper. - Vincent Chia; Pieter H. Hartel; Qingze Hum; Sebastian Ma; Georgios Piliouras; Daniël Reijsbergen; Mark van Staalduinen; Pawel Szalachowski (iThings/GreenCom/CPSCom/SmartData, 2018)

Victim-Aware Adaptive Covert Channels. - Riccardo Bortolameotti; Thijs van Ede; Andrea Continella; Maarten H. Everts; Willem Jonker; Pieter H. Hartel; Andreas Peter 001 (SecureComm (1), 2019)

An Empirical Study Into the Success of Listed Smart Contracts in Ethereum. - Pieter H. Hartel; Ivan Homoliak; Daniël Reijsbergen (IEEE Access, 2019)

Truffle tests for free - Replaying Ethereum smart contracts for transparency. - Pieter H. Hartel; Mark van Staalduinen (CoRR, 2019)

Gas limit aware mutation testing of smart contracts at scale. - Pieter H. Hartel; Richard Schumi (CoRR, 2019)

Teaching Empirical Social-Science Research to Cybersecurity Students: The Case of "Thinking Like a Thief ". - Susanne Barth; Pieter H. Hartel; Marianne Junger; Lorena Montoya (IEEE Secur. Priv., 2019)

Putting the privacy paradox to the test: Online privacy and security behaviors among users with technical knowledge, privacy awareness, and financial resources. - Susanne Barth; Menno D. T. de Jong; Marianne Junger; Pieter H. Hartel; Janina C. Roppelt (Telematics Informatics, 2019)

SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. - Ivan Homoliak; Dominik Breitenbacher; Ondrej Hujnak; Pieter H. Hartel; Alexander Binder; Pawel Szalachowski (AFT, 2020)

HeadPrint: detecting anomalous communications through header-based application fingerprinting. - Riccardo Bortolameotti; Thijs van Ede; Andrea Continella; Thomas Hupperich; Maarten H. Everts; Reza Rafati; Willem Jonker; Pieter H. Hartel; Andreas Peter 001 (SAC, 2020)

Mutation Testing of Smart Contracts at Scale. - Pieter H. Hartel; Richard Schumi (TAP@STAF, 2020)

Investigating sentence severity with judicial open data - A case study on sentencing high-tech crime in the Dutch criminal justice system. - Pieter H. Hartel; Rolf van Wegberg; Mark van Staalduinen (CoRR, 2021)

Going dark? Analysing the impact of end-to-end encryption on the outcome of Dutch criminal court cases. - Pieter H. Hartel; Rolf van Wegberg (CoRR, 2021)

Privacy Rating: A User-Centered Approach for Visualizing Data Handling Practices of Online Services. - Susanne Barth; Dan Ionita; Menno D. T. de Jong; Pieter H. Hartel; Marianne Junger (IEEE Trans. Prof. Commun., 2021)

DarkDiff: Explainable web page similarity of TOR onion sites. - Pieter H. Hartel; Eljo Haspels; Mark van Staalduinen; Octavio Texeira (CoRR, 2023)

Understanding Online Privacy - A Systematic Review of Privacy Visualizations and Privacy by Design Guidelines. - Susanne Barth; Dan Ionita; Pieter H. Hartel (ACM Comput. Surv., 2023)