Joeri de Ruiter

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 26

Top Topics

Communication Protocol

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

IEEE Symposium on Security and Privacy Workshops

Publications

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