Joeri de Ruiter

35 papers A* 4A 4B 2C 1Misc 1Journal 7Unranked 16

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	UDM: Private user discovery with minimal information disclosure. Cryptologia David Chaum, Mario Yaksetig, Alan T. Sherman, Joeri de Ruiter
2021	B	`conf`	A National Programmable Infrastructure to Experiment with Next-Generation Networks. IM Paola Grosso, Cristian Hesselman, Luuk Hendriks, Joseph Hill, Stavros Konstantaras, Ronald van der Pol, Victor Reijs, Joeri de Ruiter, Caspar Schutijser
2021	—	`conf`	Global Distributed Secure Mapping of Network Addresses. TAURIN@SIGCOMM Supraja Sridhara, François Wirz, Joeri de Ruiter, Caspar Schutijser, Markus Legner, Adrian Perrig
2021	A	`conf`	Next-generation internet at terabit speed: SCION in P4. CoNEXT Joeri de Ruiter, Caspar Schutijser
2020	J	`jnl`	A Responsible Internet to Increase Trust in the Digital World. J. Netw. Syst. Manag. Cristian Hesselman, Paola Grosso, Ralph Holz, Fernando Kuipers, Janet Hui Xue, Mattijs Jonker, Joeri de Ruiter, Anna Sperotto, Roland van Rijswijk-Deij, Giovane C. M. Moura, Aiko Pras, Cees de Laat
2020	A*	`conf`	Analysis of DTLS Implementations Using Protocol State Fuzzing. USENIX Security Symposium Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky
2019	J	`jnl`	State machine inference of QUIC. CoRR Abdullah Rasool, Greg Alpár, Joeri de Ruiter
2018	—	`conf`	Extending Automated Protocol State Learning for the 802.11 4-Way Handshake. ESORICS (1) Chris McMahon Stone, Tom Chothia, Joeri de Ruiter
2018	—	`conf`	Inferring OpenVPN State Machines Using Protocol State Fuzzing. EuroS&P Workshops Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter
2018	Misc	`conf`	Is Java Card Ready for Hash-Based Signatures? IWSEC Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren
2018	J	`jnl`	Is Java Card ready for hash-based signatures? IACR Cryptol. ePrint Arch. Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren
2018	A*	`conf`	Modelling and Analysis of a Hierarchy of Distance Bounding Attacks. USENIX Security Symposium Tom Chothia, Joeri de Ruiter, Ben Smyth
2017	A	`conf`	An Attack Against Message Authentication in the ERTMS Train to Trackside Communication Protocols. AsiaCCS Tom Chothia, Mihai Ordean, Joeri de Ruiter, Richard James Thomas
2017	—	`conf`	Model learning and model checking of SSH implementations. SPIN Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg
2017	A	`conf`	TRAKS: A Universal Key Management Scheme for ERTMS. ACSAC Richard James Thomas, Mihai Ordean, Tom Chothia, Joeri de Ruiter
2017	B	`conf`	cMix: Mixing with Minimal Real-Time Asymmetric Cryptographic Operations. ACNS David Chaum, Debajyoti Das, Farid Javani, Aniket Kate, Anna Krasnova, Joeri de Ruiter, Alan T. Sherman
2016	—	`conf`	A Formal Security Analysis of ERTMS Train to Trackside Protocols. RSSRail Joeri de Ruiter, Richard James Thomas, Tom Chothia
2016	—	`conf`	A Tale of the OpenSSL State Machine: A Large-Scale Black-Box Analysis. NordSec Joeri de Ruiter
2016	—	`conf`	Learning From Others' Mistakes: Penetration Testing IoT Devices in the Classroom. ASE @ USENIX Security Symposium Tom Chothia, Joeri de Ruiter
2016	J	`jnl`	Polymorphic Encryption and Pseudonymisation for Personalised Healthcare. IACR Cryptol. ePrint Arch. Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter
2016	J	`jnl`	cMix: Anonymization byHigh-Performance Scalable Mixing. IACR Cryptol. ePrint Arch. David Chaum, Farid Javani, Aniket Kate, Anna Krasnova, Joeri de Ruiter, Alan T. Sherman
2015	—	`conf`	An RFID Skimming Gate Using Higher Harmonics. RFIDSec René Habraken, Peter Dolron, Erik Poll, Joeri de Ruiter
2015	A*	`conf`	Defeating IMSI Catchers. CCS Fabian van den Broek, Roel Verdult, Joeri de Ruiter
2015	A*	`conf`	Protocol State Fuzzing of TLS Implementations. USENIX Security Symposium Joeri de Ruiter, Erik Poll
2015	—	`conf`	Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. IEEE Symposium on Security and Privacy Workshops Erik Poll, Joeri de Ruiter, Aleksy Schubert
2015	—	`conf`	Relay Cost Bounding for Contactless EMV Payments. Financial Cryptography Tom Chothia, Flavio D. Garcia, Joeri de Ruiter, Jordi van den Breekel, Matthew Thompson
2014	—	`conf`	Analysis of Secure Key Storage Solutions on Android. SPSM@CCS Tim Cooijmans, Joeri de Ruiter, Erik Poll
2014	—	`conf`	Automated Reverse Engineering using Lego®. WOOT Georg Chalupar, Stefan Peherstorfer, Erik Poll, Joeri de Ruiter
2014	J	`jnl`	Automated algebraic analysis of structure-preserving signature schemes. IACR Cryptol. ePrint Arch. Joeri de Ruiter
2013	—	`conf`	Formal Models of Bank Cards for Free. ICST Workshops Fides Aarts, Joeri de Ruiter, Erik Poll
2013	—	`conf`	The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions. IDMAN Erik Poll, Joeri de Ruiter
2012	—	`conf`	Designed to Fail: A USB-Connected Reader for Online Banking. NordSec Arjan Blom, Gerhard de Koning Gans, Erik Poll, Joeri de Ruiter, Roel Verdult
2012	C	`conf`	Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC David M. Williams, Joeri de Ruiter, Wan J. Fokkink
2012	A	`conf`	The SmartLogic Tool: Analysing and Testing Smart Card Protocols. ICST Gerhard de Koning Gans, Joeri de Ruiter
2011	—	`conf`	Formal Analysis of the EMV Protocol Suite. TOSCA Joeri de Ruiter, Erik Poll