Joeri de Ruiter

According to our database, Joeri de Ruiter authored at least 34 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

UDM: Private user discovery with minimal information disclosure.

David Chaum, Mario Yaksetig, Alan T. Sherman, Joeri de Ruiter

Cryptologia, 2022

2021

Global Distributed Secure Mapping of Network Addresses.

Supraja Sridhara, François Wirz, Joeri de Ruiter, Caspar Schutijser, Markus Legner, Adrian Perrig

Proceedings of the TAURIN'21: Proceedings of the ACM SIGCOMM 2021 Workshop on Technologies, 2021

A National Programmable Infrastructure to Experiment with Next-Generation Networks.

Paola Grosso, Cristian Hesselman, Luuk Hendriks, Joseph Hill, Stavros Konstantaras, Ronald van der Pol, Victor Reijs, Joeri de Ruiter, Caspar Schutijser

Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

Next-generation internet at terabit speed: SCION in P4.

Joeri de Ruiter, Caspar Schutijser

Proceedings of the CoNEXT '21: The 17th International Conference on emerging Networking EXperiments and Technologies, Virtual Event, Munich, Germany, December 7, 2021

2020

A Responsible Internet to Increase Trust in the Digital World.

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

J. Netw. Syst. Manag., 2020

Analysis of DTLS Implementations Using Protocol State Fuzzing.

Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky

Proceedings of the 29th USENIX Security Symposium, 2020

2019

State machine inference of QUIC.

Abdullah Rasool, Greg Alpár, Joeri de Ruiter

CoRR, 2019

2018

Is Java Card ready for hash-based signatures?

Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren

IACR Cryptol. ePrint Arch., 2018

Modelling and Analysis of a Hierarchy of Distance Bounding Attacks.

Tom Chothia, Joeri de Ruiter, Ben Smyth

Proceedings of the 27th USENIX Security Symposium, 2018

Inferring OpenVPN State Machines Using Protocol State Fuzzing.

Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

Extending Automated Protocol State Learning for the 802.11 4-Way Handshake.

Chris McMahon Stone, Tom Chothia, Joeri de Ruiter

Proceedings of the Computer Security, 2018

2017

Model learning and model checking of SSH implementations.

Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

An Attack Against Message Authentication in the ERTMS Train to Trackside Communication Protocols.

Tom Chothia, Mihai Ordean, Joeri de Ruiter, Richard James Thomas

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

TRAKS: A Universal Key Management Scheme for ERTMS.

Richard James Thomas, Mihai Ordean, Tom Chothia, Joeri de Ruiter

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

cMix: Mixing with Minimal Real-Time Asymmetric Cryptographic Operations.

David Chaum, Debajyoti Das, Farid Javani, Aniket Kate, Anna Krasnova, Joeri de Ruiter, Alan T. Sherman

Proceedings of the Applied Cryptography and Network Security, 2017

2016

Polymorphic Encryption and Pseudonymisation for Personalised Healthcare.

Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter

IACR Cryptol. ePrint Arch., 2016

cMix: Anonymization byHigh-Performance Scalable Mixing.

David Chaum, Farid Javani, Aniket Kate, Anna Krasnova, Joeri de Ruiter, Alan T. Sherman

IACR Cryptol. ePrint Arch., 2016

Learning From Others' Mistakes: Penetration Testing IoT Devices in the Classroom.

Tom Chothia, Joeri de Ruiter

Proceedings of the 2016 USENIX Workshop on Advances in Security Education (ASE 16), 2016

A Formal Security Analysis of ERTMS Train to Trackside Protocols.

Joeri de Ruiter, Richard James Thomas, Tom Chothia

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

A Tale of the OpenSSL State Machine: A Large-Scale Black-Box Analysis.

Joeri de Ruiter

Proceedings of the Secure IT Systems - 21st Nordic Conference, NordSec 2016, Oulu, Finland, 2016

2015

Protocol State Fuzzing of TLS Implementations.

Joeri de Ruiter, Erik Poll

Proceedings of the 24th USENIX Security Symposium, 2015

Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws.

Erik Poll, Joeri de Ruiter, Aleksy Schubert

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

An RFID Skimming Gate Using Higher Harmonics.

René Habraken, Peter Dolron, Erik Poll, Joeri de Ruiter

Proceedings of the Radio Frequency Identification. Security and Privacy Issues, 2015

Relay Cost Bounding for Contactless EMV Payments.

Tom Chothia, Flavio D. Garcia, Joeri de Ruiter, Jordi van den Breekel, Matthew Thompson

Proceedings of the Financial Cryptography and Data Security, 2015

Defeating IMSI Catchers.

Fabian van den Broek, Roel Verdult, Joeri de Ruiter

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Automated algebraic analysis of structure-preserving signature schemes.

Joeri de Ruiter

IACR Cryptol. ePrint Arch., 2014

Automated Reverse Engineering using Lego®.

Georg Chalupar, Stefan Peherstorfer, Erik Poll, Joeri de Ruiter

Proceedings of the 8th USENIX Workshop on Offensive Technologies, 2014

Analysis of Secure Key Storage Solutions on Android.

Tim Cooijmans, Joeri de Ruiter, Erik Poll

Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, 2014

2013

The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions.

Erik Poll, Joeri de Ruiter

Proceedings of the Policies and Research in Identity Management, 2013

Formal Models of Bank Cards for Free.

Fides Aarts, Joeri de Ruiter, Erik Poll

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Designed to Fail: A USB-Connected Reader for Online Banking.

Arjan Blom, Gerhard de Koning Gans, Erik Poll, Joeri de Ruiter, Roel Verdult

Proceedings of the Secure IT Systems - 17th Nordic Conference, 2012

Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.

David M. Williams, Joeri de Ruiter, Wan J. Fokkink

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

The SmartLogic Tool: Analysing and Testing Smart Card Protocols.

Gerhard de Koning Gans, Joeri de Ruiter

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Formal Analysis of the EMV Protocol Suite.

Joeri de Ruiter, Erik Poll

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011