- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Ruiter, J.E.J. de"
Now showing items 1-26 of 26
-
Extending Automated Protocol State Learning for the 802.11 4-Way Handshake McMahonStone, C,; Chothia, T.; Ruiter, J.E.J. de2018, Article in monograph or in proceedings (Lopez, J. (ed.), Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, pp. 325-345) -
Inferring OpenVPN State Machines Using Protocol State Fuzzing Daniel, L.-A.; Ruiter, J.E.J. de ; Poll, E.2018, Article in monograph or in proceedings (Smith, M. (ed.), EUROS&PW 2018: 3rd IEEE European Symposium on Security and Privacy Workshops. 24–26 April 2018, London, United Kingdom. Proceedings, pp. 11-19) -
Modelling and Analysis of a Hierarchy of Distance Bounding Attacks Chothia, T.; Ruiter, J.E.J. de ; Smyth, B.2018, Article in monograph or in proceedings (Proceedings of the 27th USENIX Security Symposium. August 15–17, 2018 • Baltimore, MD, USA, pp. 1563-1580)
-
Source code and data relevant for the paper 'Model Learning and Model Checking of SSH Implementations' Fiterau-Brostean, P. ; Poll, E. ; Vaandrager, F.W. ; Lenaerts, T.; Ruiter, J.E.J. de ; Verleg, P.2018, Dataset
-
Is Java Card Ready for Hash-Based Signatures? Laan, E; Poll, E. ; Rijneveld, J.; Ruiter, J.E.J. de ; Schwabe, P. ; Verschuren, J.2018, Article in monograph or in proceedings (Inomata, A. (ed.), Advances in Information and Computer Security: 13th International Workshop on Security, IWSEC 2018, Sendai, Japan, September 3-5, 2018, Proceedings, pp. 127-142) -
TRAKS: A Universal Key Management Scheme for ERTMS Thomas, R.J.; Ordean, M.; Chothia, T.; Ruiter, J. de ; Ruiter, J.E.J. de2017, Article in monograph or in proceedings (ACSAC 2017: 33rd Annual Computer Security Applications Conference, Orlando, FL, USA — December 04 - 08, 2017. Proceedings, pp. 327-338)
-
Model Learning and Model Checking of SSH Implementations Fiterau-Brostean, P. ; Lenarts, T.; Poll, E. ; Ruiter, J. de ; Vaandrager, F.W. ; Verleg, P.; Ruiter, J.E.J. de2017, Article in monograph or in proceedings (Erdogmus, H. (ed.), SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA — July 13 - 14, 2017, pp. 142-151)
-
cMix : Mixing with Minimal Real-Time Asymmetric Cryptographic Operation Chaum, D.; Das, D; Javani, F.; Kate, A.; Krasnova, A.; Ruiter, J. de ; Sherman, A.T.; Ruiter, J.E.J. de2017, Part of book or chapter of book (Gollmann, D.; Gollmann, D. (ed.), Applied Cryptography and Network Security: 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, pp. 557-578)
-
An Attack Against Message Authentication in the ERTMS Train to Trackside Communication Protocols Chothia, T.; Ordean, M.; Ruiter, J. de ; Thomas, R.J.; Ruiter, J.E.J. de2017, Article in monograph or in proceedings (Karri, R. (ed.), ASIA CCS '17: Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, Abu Dhabi, United Arab Emirates — April 02 - 06, 2017, pp. 743-756)
-
Learning From Others' Mistakes: Penetrating Testing IoT Devices in the Classroom Chothia, T.; Ruiter, J. de ; Ruiter, J.E.J. de2016, Article in monograph or in proceedings (2016 USENIX Workshop on Advances in Security Education (ASE 16), pp. 1-8)
-
A Formal Security Analysis of ERTMS Train to Trackside Protocols Ruiter, J. de ; Thomas, R.J.; Chothia, T.; Ruiter, J.E.J. de2016, Part of book or chapter of book (Lecomte, T. (ed.), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, pp. 53-68)
-
A Tale of the OpenSSL State Machine: A Large-Scale Black-Box Analysis 2016, Part of book or chapter of book (Brumley, B.B.; Röning, J. (ed.), Secure IT Systems: 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings, pp. 169-184)
-
Protocol state fuzzing of TLS implementations 2015, Article in monograph or in proceedings (Jung, J. (ed.), 24th USENIX Security Symposium, August 12-14, 2015, Washingtong, D.C., pp. 193-206)
-
Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws Poll, E. ; Ruiter, J. de ; Schubert, A.; Ruiter, J.E.J. de2015, Article in monograph or in proceedings (Kellenberger, P. (ed.), SPW 2015 : 2015 IEEE Security and Privacy Workshops, 21 May 2015, San Jose, California, USA. Proceedings, pp. 125-133)
-
An RFID Skimming Gate Using Higher Harmonics Habraken, R.; Dolron, P.; Poll, E. ; Ruiter, J. de ; Ruiter, J.E.J. de2015, Part of book or chapter of book (Mangard, S.; Schaumont, P. (ed.), Radio Frequency Identification. Security and Privacy Issues : 11th International Workshop, RFIDsec 2015 New York, NY, USA, June 23–24, 2015, Revised Selected Papers, pp. 122-137)
-
Relay Cost Bounding for Contactless EMV Payments Chothia, T.; Garcia, F. D. ; Ruiter, J. de ; Breekel, J. van den; Thompson, M.; Ruiter, J.E.J. de2015, Part of book or chapter of book (Böhme, R. (ed.), Financial Cryptography and Data Security : 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised Selected Papers, pp. 189-206)
-
-
Defeating IMSI Catchers Broek, F. van den; Verdult, R. ; Ruiter, J. de ; Ruiter, J.E.J. de2015, Part of book or chapter of book (Ray, I. (ed.), CCS'15 : Proceedings of the 2015 ACM SIGSAC Conference on Computer and Communications Security, pp. 340-351)
-
Automated Reverse Engineering using LEGO Chalupar, G.; Peherstorfer, S.; Poll, E. ; Ruiter, J. de ; Ruiter, J.E.J. de2014, Article in monograph or in proceedings (WOOT'14 : 8th USENIX Workship on Offensive Technologies, August 19, 2014, San Diego, CA., pp. 1-10)
-
Automated algebraic analysis of structure-preserving signature schemes 2014, External research report
-
Analysis of Secure Key Storage Solutions on Android Cooijmans, T.; Ruiter, J. de ; Poll, E. ; Cooijmans, T.J.P.M.; Ruiter, J.E.J. de2014, Part of book or chapter of book (Wang, C. (ed.), SPSM '14 : Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, Scottsdale, AZ, USA — November 03 - 07, 2014, pp. 11-20)
-
The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions 2013, Part of book or chapter of book (Fischer-Hübner, S.; Leeuw, E.; Mitchell, C. (ed.), Policies and Research in Identity Management, pp. 107-120)
-
Formal models of bank cards for free 2013, Article in monograph or in proceedings (ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings, pp. 461-468)
-
Formal analysis of the EMV protocol suite 2012, Part of book or chapter of book (Moedersheim, S. (ed.), Theory of Security and applications : Proceedings of Theory of Security and Applications, TOSCA 2011, 31 March - 1 April 2011, Saarbruecken, Germany, pp. 113-129)
-
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols Williams, D.; Ruiter, J.E.J. de ; Fokkink, W.2012, Part of book or chapter of book (Roychoudhury, A.; D’Souza, M. (ed.), Theoretical Aspects of Computing – ICTAC 2012, pp. 168-182)
-
Designed to Fail: A USB-Connected Reader for Online Banking Blom, A.; Koning Gans, G.T de; Poll, E. ; Ruiter, J.E.J. de ; Verdult, R.2012, Part of book or chapter of book (Josang, A. (ed.), Secure IT Systems : 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31-November 2, 2012. Proceedings, pp. 1-16)
Now showing items 1-26 of 26
Search Repository
Browse
-
All of Repository
Upload Full Text