| 2020 | AFT | SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. | Ivan Homoliak, Dominik Breitenbacher, Ondrej Hujnak, Pieter H. Hartel, Alexander Binder, Pawel Szalachowski |
| 2020 | SAC | 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 |
| 2020 | TAP | Mutation Testing of Smart Contracts at Scale. | Pieter H. Hartel, Richard Schumi |
| 2019 | SecureComm | Victim-Aware Adaptive Covert Channels. | Riccardo Bortolameotti, Thijs van Ede, Andrea Continella, Maarten H. Everts, Willem Jonker, Pieter H. Hartel, Andreas Peter |
| 2017 | ACSAC | 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 |
| 2017 | SOUPS | How Effective is Anti-Phishing Training for Children? | Elmer Lastdrager, Ins Carvajal Gallardo, Pieter H. Hartel, Marianne Junger |
| 2016 | ACSAC | Reliably determining data leakage in the presence of strong attackers. | Riccardo Bortolameotti, Andreas Peter, Maarten H. Everts, Willem Jonker, Pieter H. Hartel |
| 2014 | ACSAC | Through the eye of the PLC: semantic security monitoring for industrial processes. | Dina Hadziosmanovic, Robin Sommer, Emmanuele Zambon, Pieter H. Hartel |
| 2014 | ICASSP | SOFIR: Securely outsourced Forensic image recognition. | Christoph Bsch, Andreas Peter, Pieter H. Hartel, Willem Jonker |
| 2014 | PST | Distributed Searchable Symmetric Encryption. | Christoph Bsch, Andreas Peter, Bram Leenders, Hoon Wei Lim, Qiang Tang, Huaxiong Wang, Pieter H. Hartel, Willem Jonker |
| 2013 | ESORICS | Efficient Privacy-Enhanced Familiarity-Based Recommender System. | Arjan Jeckmans, Andreas Peter, Pieter H. Hartel |
| 2011 | ACNS | Public-Key Encryption with Delegated Search. | Luan Ibraimi, Svetla Nikova, Pieter H. Hartel, Willem Jonker |
| 2011 | CCS | Poster: privacy-preserving profile similarity computation in online social networks. | Arjan Jeckmans, Qiang Tang, Pieter H. Hartel |
| 2011 | ISPEC | Privacy Enhanced Access Control by Means of Policy Blinding. | Saeed Sedghi, Pieter H. Hartel, Willem Jonker, Svetla Nikova |
| 2011 | SIGCSE | Training students to steal: a practical assignment in computer security education. | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
| 2010 | ACSAC | Two methodologies for physical penetration testing using social engineering. | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
| 2010 | CCS | Laptop theft: a case study on the effectiveness of security mechanisms in open organizations. | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
| 2010 | RAID | MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. | Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel |
| 2010 | SCN | Searching Keywords with Wildcards on Encrypted Data. | Saeed Sedghi, Peter van Liesdonk, Svetla Nikova, Pieter H. Hartel, Willem Jonker |
| 2009 | INDOCRYPT | Towards Secure and Practical MACs for Body Sensor Networks. | Zheng Gong, Pieter H. Hartel, Svetla Nikova, Bo Zhu |
| 2009 | ISPEC | Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. | Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker |
| 2009 | MASCOTS | Policies for probe-wear leveling in MEMS-based storage devices. | Mohammed G. Khatib, Pieter H. Hartel |
| 2009 | RAID | Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. | Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel |
| 2009 | WISA | Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. | Luan Ibraimi, Milan Petkovic, Svetla Nikova, Pieter H. Hartel, Willem Jonker |
| 2008 | CASES | Power management of MEMS-based storage devices for mobile systems. | Mohammed G. Khatib, Pieter H. Hartel |
| 2008 | EMSOFT | Workload-based configuration of MEMS-based storage devices for mobile systems. | Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel |
| 2008 | FAST | Towards Tamper-evident Storage on Patterned Media. | Pieter H. Hartel, Leon Abelmann, Mohammed G. Khatib |
| 2008 | FMCAD | Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. | Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen |
| 2008 | ICICS | Embedding Renewable Cryptographic Keys into Continuous Noisy Data. | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis |
| 2008 | ICICS | Towards an Information Theoretic Analysis of Searchable Encryption. | Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker |
| 2008 | ISPA | A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks. | Raluca Marin-Perianu, Johann L. Hurink, Pieter H. Hartel |
| 2008 | MODELS | On the Inability of Existing Security Models to Cope with Data Mobility in Dynamic Organizations. | Trajce Dimkov, Qiang Tang, Pieter H. Hartel |
| 2007 | CCS | Fuzzy extractors for continuous distributions. | Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis |
| 2006 | LCN | Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. | Raluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel |
| 2005 | EWSN | Link-layer jamming attacks on S-MAC. | Yee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga |
| 2005 | LCN | Functional Principles of Registry-based Service Discovery. | Vasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan |
| 2005 | SEC | StreamTo: Streaming Content using a Tamper-Resistant Token. | Jieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus |
| 2005 | TIME | A Trace Semantics for Positive Core XPath. | Pieter H. Hartel |
| 2004 | CCS | Timed model checking of security protocols. | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
| 2004 | MASS | Benchmarking block ciphers for wireless sensor networks. | Yee Wei Law, Jeroen Doumen, Pieter H. Hartel |
| 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 | Secure Audit Logging with Tamper-Resistant Hardware. | Cheun Ngen Chong, Zhonghong Peng, Pieter H. Hartel |
| 2003 | SEC | Assessing Security in Energy-Efficient Sensor Networks. | Yee Wei Law, Sandro Etalle, Pieter H. Hartel |
| 2002 | CARDIS | The State of WG 8.8. | Pieter H. Hartel |
| 2002 | CARDIS | A Java Reference Model of Transacted Memory for Smart Cards. | Erik Poll, Pieter H. Hartel, Eduard de Jong |
| 2002 | LCN | Multimedia QoS in Low-Cost Home Networks. | Hans Scholten, Pierre G. Jansen, Ferdy Hanssen, Pieter H. Hartel, T. Hattink, Vasughi Sundramoorthy |
| 2001 | FM | Transacted Memory for Smart Cards. | Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley |
| 2001 | WWW | Personal DJ, an architecture for personalised content delivery. | Adam Field, Pieter H. Hartel, Wim Mooij |
| 2000 | CARDIS | Formalising Java Safety - An overview. | Pieter H. Hartel |
| 2000 | CARDIS | Pressure Sequence - A Novel Method of Protecting Smart Cards. | Neil James Henderson, Pieter H. Hartel |
| 1998 | CARDIS | An Operational Model of QuickPay - Extended Abstract. | Pieter H. Hartel, Jake Hill, Matt Sims |
| 1996 | CARDIS | Using formal methods to cultivate trust in Smart Card Operating Systems. | Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz |
| 1996 | CARDIS | Structuring and Visualising an IC-card Security Standard. | Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz |
| 1996 | CARDIS | Introduction to CARDIS 1996. | Pieter H. Hartel, Jean-Jacques Quisquater |
| 1992 | CC | FCG: A Code Generator for Lazy Functional Languages. | Koen Langendoen, Pieter H. Hartel |
| 1988 | WG | The Average Size of Ordered Binary Subgraphs. | Pieter H. Hartel |