Pieter H. Hartel

168 papers A* 3A 13B 12C 17Misc 12Journal 63Unranked 44

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	DarkDiff: Explainable web page similarity of TOR onion sites. CoRR Pieter H. Hartel, Eljo Haspels, Mark van Staalduinen, Octavio Texeira
2023	J	`jnl`	Understanding Online Privacy - A Systematic Review of Privacy Visualizations and Privacy by Design Guidelines. ACM Comput. Surv. Susanne Barth, Dan Ionita, Pieter H. Hartel
2021	J	`jnl`	Going dark? Analysing the impact of end-to-end encryption on the outcome of Dutch criminal court cases. CoRR Pieter H. Hartel, Rolf van Wegberg
2021	J	`jnl`	Investigating sentence severity with judicial open data - A case study on sentencing high-tech crime in the Dutch criminal justice system. CoRR Pieter H. Hartel, Rolf van Wegberg, Mark van Staalduinen
2021	J	`jnl`	Privacy Rating: A User-Centered Approach for Visualizing Data Handling Practices of Online Services. IEEE Trans. Prof. Commun. Susanne Barth, Dan Ionita, Menno D. T. de Jong, Pieter H. Hartel, Marianne Junger
2020	Misc	`conf`	HeadPrint: detecting anomalous communications through header-based application fingerprinting. SAC Riccardo Bortolameotti, Thijs van Ede, Andrea Continella, Thomas Hupperich, Maarten H. Everts, Reza Rafati, Willem Jonker, Pieter H. Hartel, Andreas Peter
2020	—	`conf`	Mutation Testing of Smart Contracts at Scale. TAP@STAF Pieter H. Hartel, Richard Schumi
2020	B	`conf`	SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. AFT Ivan Homoliak, Dominik Breitenbacher, Ondrej Hujnak, Pieter H. Hartel, Alexander Binder, Pawel Szalachowski
2019	J	`jnl`	An Empirical Study Into the Success of Listed Smart Contracts in Ethereum. IEEE Access Pieter H. Hartel, Ivan Homoliak, Daniël Reijsbergen
2019	J	`jnl`	An Empirical Study into the Success of Listed Smart Contracts in Ethereum. CoRR Pieter H. Hartel, Ivan Homoliak, Daniël Reijsbergen
2019	J	`jnl`	Gas limit aware mutation testing of smart contracts at scale. CoRR Pieter H. Hartel, Richard Schumi
2019	J	`jnl`	Putting the privacy paradox to the test: Online privacy and security behaviors among users with technical knowledge, privacy awareness, and financial resources. Telematics Informatics Susanne Barth, Menno D. T. de Jong, Marianne Junger, Pieter H. Hartel, Janina C. Roppelt
2019	J	`jnl`	Teaching Empirical Social-Science Research to Cybersecurity Students: The Case of \"Thinking Like a Thief\". IEEE Secur. Priv. Susanne Barth, Pieter H. Hartel, Marianne Junger, Lorena Montoya
2019	J	`jnl`	Truffle tests for free - Replaying Ethereum smart contracts for transparency. CoRR Pieter H. Hartel, Mark van Staalduinen
2019	—	`conf`	Victim-Aware Adaptive Covert Channels. SecureComm (1) Riccardo Bortolameotti, Thijs van Ede, Andrea Continella, Maarten H. Everts, Willem Jonker, Pieter H. Hartel, Andreas Peter
2018	—	`conf`	Rethinking Blockchain Security: Position Paper. iThings/GreenCom/CPSCom/SmartData Vincent Chia, Pieter H. Hartel, Qingze Hum, Sebastian Ma, Georgios Piliouras, Daniël Reijsbergen, Mark van Staalduinen, Pawel Szalachowski
2018	J	`jnl`	Rethinking Blockchain Security: Position Paper. CoRR Vincent Chia, Pieter H. Hartel, Qingze Hum, Sebastian Ma, Georgios Piliouras, Daniël Reijsbergen, Mark van Staalduinen, Pawel Szalachowski
2017	A	`conf`	DECANTeR: DEteCtion of Anomalous outbouNd HTTP TRaffic by Passive Application Fingerprinting. ACSAC Riccardo Bortolameotti, Thijs van Ede, Marco Caselli, Maarten H. Everts, Pieter H. Hartel, Rick Hofstede, Willem Jonker, Andreas Peter
2017	A	`conf`	How Effective is Anti-Phishing Training for Children? SOUPS Elmer Lastdrager, Inés Carvajal Gallardo, Pieter H. Hartel, Marianne Junger
2017	J	`jnl`	Spear phishing in organisations explained. Inf. Comput. Secur. Jan-Willem Bullee, Lorena Montoya, Marianne Junger, Pieter H. Hartel
2017	—	`conf`	Towards the normalization of cybercrime victimization: A routine activities analysis of cybercrime in europe. CyberSA Marianne Junger, Lorena Montoya, Pieter H. Hartel, Maliheh Heydari
2016	A	`conf`	Reliably determining data leakage in the presence of strong attackers. ACSAC Riccardo Bortolameotti, Andreas Peter, Maarten H. Everts, Willem Jonker, Pieter H. Hartel
2016	—	`conf`	Telephone-based social engineering attacks: An experiment testing the success and time decay of an intervention. SG-CRC Jan-Willem Bullee, Lorena Montoya, Marianne Junger, Pieter H. Hartel
2015	B	`conf`	Publicly Verifiable Private Aggregation of Time-Series Data. ARES Bence Gabor Bakondi, Andreas Peter, Maarten H. Everts, Pieter H. Hartel, Willem Jonker
2015	—	`conf`	Regression Nodes: Extending Attack Trees with Data from Social Sciences. STAST Jan-Willem Bullee, Lorena Montoya, Wolter Pieters, Marianne Junger, Pieter H. Hartel
2014	J	`jnl`	A Survey of Provably Secure Searchable Encryption. ACM Comput. Surv. Christoph Bösch, Pieter H. Hartel, Willem Jonker, Andreas Peter
2014	C	`conf`	Distributed Searchable Symmetric Encryption. PST Christoph Bösch, Andreas Peter, Bram Leenders, Hoon Wei Lim, Qiang Tang, Huaxiong Wang, Pieter H. Hartel, Willem Jonker
2014	Misc	`conf`	SOFIR: Securely outsourced Forensic image recognition. ICASSP Christoph Bösch, Andreas Peter, Pieter H. Hartel, Willem Jonker
2014	A	`conf`	Through the eye of the PLC: semantic security monitoring for industrial processes. ACSAC Dina Hadziosmanovic, Robin Sommer, Emmanuele Zambon, Pieter H. Hartel
2014	J	`jnl`	TuLP: A Family of Lightweight Message Authentication Codes for Body Sensor Networks. J. Comput. Sci. Technol. Zheng Gong, Pieter H. Hartel, Svetla Nikova, Shaohua Tang, Bo Zhu
2013	—	`conf`	Applying the Lost-Letter Technique to Assess IT Risk Behaviour. STAST Elmer Lastdrager, Lorena Montoya, Pieter H. Hartel, Marianne Junger
2013	C	`ed.`	Critical Information Infrastructures Security - 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers CRITIS Eric A. M. Luiijf, Pieter H. Hartel
2013	A	`conf`	Efficient Privacy-Enhanced Familiarity-Based Recommender System. ESORICS Arjan Jeckmans, Andreas Peter, Pieter H. Hartel
2013	—	`conf`	How "Digital" is Traditional Crime? EISIC Lorena Montoya, Marianne Junger, Pieter H. Hartel
2013	—	`ch.`	Privacy in Recommender Systems. Social Media Retrieval Arjan J. P. Jeckmans, Michael Beye, Zekeriya Erkin, Pieter H. Hartel, Reginald L. Lagendijk, Qiang Tang
2013	—	`conf`	Privacy-Preserving Verification of Clinical Research. Sicherheit Eleftheria Makri, Maarten H. Everts, Sebastiaan de Hoogh, Andreas Peter, Harm op den Akker, Pieter H. Hartel, Willem Jonker
2012	J	`jnl`	A log mining approach for process monitoring in SCADA. Int. J. Inf. Sec. Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel
2012	—	`conf`	Challenges and opportunities in securing industrial control systems. COMPENG Dina Hadziosmanovic, Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel
2012	—	`conf`	Privacy-preserving collaborative filtering based on horizontally partitioned dataset. CTS Arjan Jeckmans, Qiang Tang, Pieter H. Hartel
2012	C	`conf`	Selective Document Retrieval from Encrypted Database. ISC Christoph Bösch, Qiang Tang, Pieter H. Hartel, Willem Jonker
2012	J	`jnl`	Simple algebraic data types for C. Softw. Pract. Exp. Pieter H. Hartel, Henk L. Muller
2011	—	`conf`	Conjunctive Wildcard Search over Encrypted Data. Secure Data Management Christoph Bösch, Richard Brinkman, Pieter H. Hartel, Willem Jonker
2011	J	`jnl`	KALwEN: a new practical and interoperable key management scheme for body sensor networks. Secur. Commun. Networks Yee Wei Law, Giorgi Moniava, Zheng Gong, Pieter H. Hartel, Marimuthu Palaniswami
2011	—	`conf`	MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures. EC2ND Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel, Sandro Etalle
2011	J	`jnl`	Model-based qualitative risk assessment for availability of IT infrastructures. Softw. Syst. Model. Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa, Pieter H. Hartel
2011	A*	`conf`	Poster: privacy-preserving profile similarity computation in online social networks. CCS Arjan Jeckmans, Qiang Tang, Pieter H. Hartel
2011	C	`conf`	Privacy Enhanced Access Control by Means of Policy Blinding. ISPEC Saeed Sedghi, Pieter H. Hartel, Willem Jonker, Svetla Nikova
2011	—	`conf`	Privacy-preserving profile matching using the social graph. CASoN Arjan Jeckmans, Qiang Tang, Pieter H. Hartel
2011	B	`conf`	Public-Key Encryption with Delegated Search. ACNS Luan Ibraimi, Svetla Nikova, Pieter H. Hartel, Willem Jonker
2011	A	`conf`	Training students to steal: a practical assignment in computer security education. SIGCSE Trajce Dimkov, Wolter Pieters, Pieter H. Hartel
2010	—	`conf`	Computationally Efficient Searchable Symmetric Encryption. Secure Data Management Peter van Liesdonk, Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker
2010	—	`conf`	Effectiveness of Physical, Social and Digital Mechanisms against Laptop Theft in Open Organizations. GreenCom/CPSCom Trajce Dimkov, Wolter Pieters, Pieter H. Hartel
2010	J	`jnl`	Embedding renewable cryptographic keys into noisy data. Int. J. Inf. Sec. Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis
2010	J	`jnl`	Energy-Efficient Streaming Using Non-volatile Memory. J. Signal Process. Syst. Mohammed G. Khatib, Pieter H. Hartel, Hylke W. van Dijk
2010	J	`jnl`	Exploring Type-and-Identity-Based Proxy Re-Encryption Scheme to Securely Manage Personal Health Records. Int. J. Comput. Model. Algorithms Medicine Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker
2010	A*	`conf`	Laptop theft: a case study on the effectiveness of security mechanisms in open organizations. CCS Trajce Dimkov, Wolter Pieters, Pieter H. Hartel
2010	A	`conf`	MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. RAID Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel
2010	J	`jnl`	Optimizing MEMS-based storage devices for mobile battery-powered systems. ACM Trans. Storage Mohammed G. Khatib, Pieter H. Hartel
2010	—	`conf`	Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. ARSPA-WITS Trajce Dimkov, Wolter Pieters, Pieter H. Hartel
2010	Misc	`conf`	Searching Keywords with Wildcards on Encrypted Data. SCN Saeed Sedghi, Peter van Liesdonk, Svetla Nikova, Pieter H. Hartel, Willem Jonker
2010	A	`conf`	Two methodologies for physical penetration testing using social engineering. ACSAC Trajce Dimkov, Wolter Pieters, Pieter H. Hartel
2009	C	`conf`	Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. ISPEC Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker
2009	J	`jnl`	Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. ACM Trans. Sens. Networks Yee Wei Law, Marimuthu Palaniswami, Lodewijk van Hoesel, Jeroen Doumen, Pieter H. Hartel, Paul J. M. Havinga
2009	J	`jnl`	Fuzzy extractors for continuous distributions. IACR Cryptol. ePrint Arch. Ileana Buhan, Jeroen Doumen, Pieter H. Hartel
2009	Misc	`conf`	Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. WISA Luan Ibraimi, Milan Petkovic, Svetla Nikova, Pieter H. Hartel, Willem Jonker
2009	A	`conf`	Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. RAID Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel
2009	B	`conf`	Policies for probe-wear leveling in MEMS-based storage devices. MASCOTS Mohammed G. Khatib, Pieter H. Hartel
2009	J	`jnl`	Secure pairing with biometrics. Int. J. Secur. Networks Ileana Buhan, Bas Boom, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis
2009	Misc	`conf`	Towards Secure and Practical MACs for Body Sensor Networks. INDOCRYPT Zheng Gong, Pieter H. Hartel, Svetla Nikova, Bo Zhu
2008	C	`conf`	A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks. ISPA Raluca Marin-Perianu, Johann L. Hurink, Pieter H. Hartel
2008	—	`conf`	A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare. Secure Data Management Luan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker
2008	J	`jnl`	Cluster-based service discovery for heterogeneous wireless sensor networks. Int. J. Parallel Emergent Distributed Syst. Raluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel
2008	—	`conf`	Controlling leakage of biometric information using dithering. EUSIPCO Ileana Buhan, Jeroen Doumen, Pieter H. Hartel
2008	C	`conf`	Embedding Renewable Cryptographic Keys into Continuous Noisy Data. ICICS Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis
2008	Misc	`conf`	Inter-domain Identity-Based Proxy Re-encryption. Inscrypt Qiang Tang, Pieter H. Hartel, Willem Jonker
2008	—	`conf`	On the Inability of Existing Security Models to Cope with Data Mobility in Dynamic Organizations. MODSEC@MoDELS Trajce Dimkov, Qiang Tang, Pieter H. Hartel
2008	Misc	`conf`	Power management of MEMS-based storage devices for mobile systems. CASES Mohammed G. Khatib, Pieter H. Hartel
2008	B	`conf`	Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. FMCAD Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen
2008	A	`conf`	Towards Tamper-evident Storage on Patterned Media. FAST Pieter H. Hartel, Leon Abelmann, Mohammed G. Khatib
2008	C	`conf`	Towards an Information Theoretic Analysis of Searchable Encryption. ICICS Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker
2008	Misc	`conf`	Workload-based configuration of MEMS-based storage devices for mobile systems. EMSOFT Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel
2007	—	`conf`	Feeling Is Believing: A Secure Template Exchange Protocol. ICB Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis
2007	A	`conf`	Fuzzy extractors for continuous distributions. AsiaCCS Ileana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis
2007	—	`conf`	Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. ESTIMedia Mohammed G. Khatib, Berend-Jan van der Zwaag, Pieter H. Hartel, Gerard J. M. Smit
2007	J	`jnl`	Timed analysis of security protocols. J. Comput. Secur. Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
2006	—	`conf`	A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. ICB Ileana Buhan, Asker M. Bazen, Pieter H. Hartel, Raymond N. J. Veldhuis
2006	B	`conf`	Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. LCN Raluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel
2006	J	`jnl`	LicenseScript: a logical language for digital rights management. Ann. des Télécommunications Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff
2006	A	`conf`	On consistency maintenance in service discovery. IPDPS Vasughi Sundramoorthy, Pieter H. Hartel, Hans Scholten
2006	—	`conf`	POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. IWIA Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon
2006	J	`jnl`	Survey and benchmark of block ciphers for wireless sensor networks. ACM Trans. Sens. Networks Yee Wei Law, Jeroen Doumen, Pieter H. Hartel
2005	C	`conf`	A Trace Semantics for Positive Core XPath. TIME Pieter H. Hartel
2005	—	`conf`	Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. SASN Yee Wei Law, Lodewijk van Hoesel, Jeroen Doumen, Pieter H. Hartel, Paul J. M. Havinga
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
2005	J	`jnl`	Poseidon: a 2-tier Anomaly-based Intrusion Detection System CoRR Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel
2005	—	`conf`	Service Brokerage in Prolog. ICEIS (3) Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis
2005	Misc	`conf`	StreamTo: Streaming Content using a Tamper-Resistant Token. SEC Jieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus
2005	J	`jnl`	Timed Analysis of Security Protocols CoRR Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
2004	J	`jnl`	A Trace Logic for Local Security Properties CoRR Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel
2004	B	`conf`	Benchmarking block ciphers for wireless sensor networks. MASS Yee Wei Law, Jeroen Doumen, Pieter H. Hartel
2004	—	`conf`	Biometric verification based on grip-pattern recognition. Security, Steganography, and Watermarking of Multimedia Contents Raymond N. J. Veldhuis, Asker M. Bazen, Joost A. Kauffman, Pieter H. Hartel
2004	—	`conf`	Efficient Tree Search in Encrypted Data. WOSIS Richard Brinkman, Ling Feng, Jeroen Doumen, Pieter H. Hartel, Willem Jonker
2004	J	`jnl`	Efficient Tree Search in Encrypted Data. Inf. Secur. J. A Glob. Perspect. Richard Brinkman, Ling Feng, Jeroen Doumen, Pieter H. Hartel, Willem Jonker
2004	Misc	`conf`	License Protection with a Tamper-Resistant Token. WISA Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin
2004	—	`conf`	Modelling Mobility Aspects of Security Policies. CASSIS Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel J. Wieringa
2004	J	`jnl`	Music2Share - Copyright-Compliant Music Sharing in P2P Systems. Proc. IEEE Ton Kalker, Dick H. J. Epema, Pieter H. Hartel, Reginald L. Lagendijk, Maarten van Steen
2004	J	`jnl`	The Functional "C" experience. J. Funct. Program. Pieter H. Hartel, Henk L. Muller, Hugh Glaser
2004	—	`conf`	Timed model checking of security protocols. FMSE Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
2003	—	`conf`	A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel
2003	—	`conf`	A Trace Logic for Local Security Properties. SVV@ICLP Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
2003	—	`conf`	Approximating Fair Use in LicenseScript. ICADL Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law
2003	Misc	`conf`	Assessing Security in Energy-Efficient Sensor Networks. SEC Yee Wei Law, Sandro Etalle, Pieter H. Hartel
2003	—	`conf`	Comparing Logic-Based and XML-Based Rights Expression Languages. OTM Workshops Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel
2003	—	`conf`	LicenseScript: a novel digital rights language and its semantics. WEDELMUSIC Cheun Ngen Chong, Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Willem Jonker, Yee Wei Law
2003	Misc	`conf`	Secure Audit Logging with Tamper-Resistant Hardware. SEC Cheun Ngen Chong, Zhonghong Peng, Pieter H. Hartel
2002	C	`conf`	A Java Reference Model of Transacted Memory for Smart Cards. CARDIS Erik Poll, Pieter H. Hartel, Eduard de Jong
2002	B	`conf`	Multimedia QoS in Low-Cost Home Networks. LCN Hans Scholten, Pierre G. Jansen, Ferdy Hanssen, Pieter H. Hartel, T. Hattink, Vasughi Sundramoorthy
2002	—	`conf`	Security Attributes Based Digital Rights Management. IDMS/PROMS Cheun Ngen Chong, René van Buuren, Pieter H. Hartel, Geert Kleinhuis
2002	C	`conf`	The State of WG 8.8. CARDIS Pieter H. Hartel
2001	J	`jnl`	Current directions in smart cards. Comput. Networks Josep Domingo-Ferrer, Pieter H. Hartel
2001	J	`jnl`	Formalizing the safety of Java, the Java virtual machine, and Java card. ACM Comput. Surv. Pieter H. Hartel, Luc Moreau
2001	A*	`conf`	Personal DJ, an architecture for personalised content delivery. WWW Adam Field, Pieter H. Hartel, Wim Mooij
2001	—	`conf`	Transacted Memory for Smart Cards. FME Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley
2001	—	`conf`	iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. E-smart Neil James Henderson, Neil M. White, Pieter H. Hartel
2000	—	`conf`	A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. Java Card Workshop Pieter H. Hartel, Eduard de Jong
2000	J	`jnl`	Abstract machines for programming language implementation. Future Gener. Comput. Syst. Stephan Diehl, Pieter H. Hartel, Peter Sestoft
2000	C	`conf`	Formalising Java Safety - An overview. CARDIS Pieter H. Hartel
2000	C	`conf`	Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS Neil James Henderson, Pieter H. Hartel
2000	J	`jnl`	Principles of abstract machines. Future Gener. Comput. Syst. Stephan Diehl, Pieter H. Hartel, Peter Sestoft
2000	J	`jnl`	Programming by Numbers: A Programming Method for Novices. Comput. J. Hugh Glaser, Pieter H. Hartel, Paul W. Garratt
1999	J	`jnl`	Declarative solutions to partitioned-grid problems. Softw. Pract. Exp. Sandro Etalle, Pieter H. Hartel, Willem G. Vree
1999	J	`jnl`	LETOS - a lightweight execution tool for operational semantics. Softw. Pract. Exp. Pieter H. Hartel
1999	J	`jnl`	Reasoning about Grover's quantum search algorithm using probabilistic ACM Trans. Program. Lang. Syst. Michael J. Butler, Pieter H. Hartel
1999	—	`conf`	The Operational Semantics of a Java Secure Processor. Formal Syntax and Semantics of Java Pieter H. Hartel, Michael J. Butler, Moshe Levy
1998	C	`conf`	An Operational Model of QuickPay - Extended Abstract. CARDIS Pieter H. Hartel, Jake Hill, Matt Sims
1997	J	`jnl`	Elementary Standard ML by Greg Michaelson, University College London Press, UK, 1995, ISBN 1-85728-398-8 PB, pp 306. Knowl. Eng. Rev. Pieter H. Hartel
1997	J	`jnl`	FGCS special issue on smart cards. Future Gener. Comput. Syst. Pieter H. Hartel
1997	—	`book`	Functional C. Pieter H. Hartel, Henk L. Muller
1997	—	`ed.`	Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings PLILP Hugh Glaser, Pieter H. Hartel, Herbert Kuchen
1997	J	`jnl`	Using formal methods to cultivate trust in smart card operating systems. Future Gener. Comput. Syst. Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz
1996	J	`jnl`	Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 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, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
1996	C	`conf`	Introduction to CARDIS 1996. CARDIS Pieter H. Hartel, Jean-Jacques Quisquater
1996	C	`conf`	Structuring and Visualising an IC-card Security Standard. CARDIS Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz
1996	J	`jnl`	The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. J. Funct. Program. Pieter H. Hartel, Hugh Glaser
1996	C	`conf`	Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz
1995	J	`jnl`	A toolkit for parallel functional programming. Concurr. Pract. Exp. Pieter H. Hartel, Rutger F. H. Hofman, Koen Langendoen, Henk L. Muller, Willem G. Vree, Louis O. Hertzberger
1995	—	`conf`	Basic Proof Skills of Computer Science Students. FPLE Pieter H. Hartel, Bert Van Es, Dick Tromp
1995	J	`jnl`	Communication Lifting: Fixed Point Computation for Parallelism. J. Funct. Program. Willem G. Vree, Pieter H. Hartel
1995	—	`ed.`	Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings FPLE Pieter H. Hartel, Marinus J. Plasmeijer
1995	—	`conf`	Local Linear Logic for Locality Consciousness in Multiset Transformation PLILP Hugh McEvoy, Pieter H. Hartel
1995	J	`jnl`	Paradigms and laboratories in the core computer science curriculum: an overview. ACM SIGCSE Bull. Pieter H. Hartel, Louis O. Hertzberger
1995	J	`jnl`	Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. Pieter H. Hartel, Marinus J. Plasmeijer
1995	J	`jnl`	Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language. J. Funct. Log. Program. A. Reza Haydarlou, Pieter H. Hartel
1994	J	`jnl`	Compilation of Functional Languages using Flow Graph Analysis. Softw. Pract. Exp. Pieter H. Hartel, Hugh Glaser, John M. Wild
1994	J	`jnl`	Experiments wiht Destructive Updates in a Lazy Functional Language. Comput. Lang. Pieter H. Hartel, Willem G. Vree
1993	—	`conf`	Benchmarking Implementations of Lazy Functional Languages. FPCA Pieter H. Hartel, Koen Langendoen
1993	J	`jnl`	Experience with a clustered parallel reduction machine. Future Gener. Comput. Syst. 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
1993	A	`conf`	Experiments with destructive updates in a lazy functional language (extended abstract). Functional Programming Pieter H. Hartel, Willem G. Vree
1992	B	`conf`	FCG: A Code Generator for Lazy Functional Languages. CC Koen Langendoen, Pieter H. Hartel
1991	J	`jnl`	Performance of Lazy Combinator Graph Reduction. Softw. Pract. Exp. Pieter H. Hartel
1990	J	`jnl`	A Comparison of Three Garbage Collection Algorithms. Struct. Program. Pieter H. Hartel
1988	J	`jnl`	Statistics on Graph Reduction of SASL Programs. Softw. Pract. Exp. Pieter H. Hartel, Arthur H. Veen
1988	B	`conf`	The Average Size of Ordered Binary Subgraphs. WG Pieter H. Hartel
1987	J	`jnl`	The Dutch parallel reduction machine project. Future Gener. Comput. Syst. Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel, Louis O. Hertzberger, Willem G. Vree
1983	J	`jnl`	Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. IEEE Trans. Software Eng. Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel