- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Poll, E."
Now showing items 1-50 of 89
-
Smart metering in the Netherlands: what, how and why Aubel, P.J.M. van; Poll, E.2019, Article / Letter to editor (International Journal of Electrical Power & Energy Systems, vol. 109, (2019), pp. 719-725) -
Assessing interoperability solutions for distributed ledgers Koens, T.; Poll, E.2019, Article / Letter to editor (Pervasive and Mobile Computing, vol. 59, (2019), pp. 1-10, article 101079) -
Formal Methods for Security? 2019, Part of book or chapter of book (Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 12-13)
-
Non-Repudiation and End-to-End Security for Electric-Vehicle Charging Aubel, P.J.M. van; Poll, E. ; Rijneveld, J.2019, Article in monograph or in proceedings (Costoiu, M. (ed.), Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, ISGT-Europe 2019, Bucharest, Romania, September 29 - October 2, 2019, pp. 1-5)
-
Strings considered harmful 2018, Article / Letter to editor (;Login:, vol. 43, iss. 4, (2018), pp. 1-4) -
(Some) Security by Construction Through a LangSec Approach (X-by-Construction) 2018, Part of book or chapter of book (Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, pp. XI-XII)
-
LangSec revisited: input security flaws of the second kind 2018, Article in monograph or in proceedings (Ciocarlie, G. (ed.), SPW 2018: 2018 IEEE Symposium on Security and Privacy Workshops, 24 May 2018 San Francisco, California, USA. Proceedings, pp. 329-334)
-
What Blockchain Alternative Do You Need? Koens, T.; Poll, E.2018, Article in monograph or in proceedings (Garcia-Alfaro, J. (ed.), Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings, pp. 113-129)
-
The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices Koens, T.; Poll, E.2018, Article in monograph or in proceedings (Mencagli, G.; Heras, D.B.; Cardellini, V. (ed.), Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers, pp. 535-546)
-
A Security Analysis of the ETSI ITS Vehicular Communications Serban, A.C.; Poll, E. ; Visser, J.2018, Article in monograph or in proceedings (Gallina, B. (ed.), Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018. Proceedings, pp. 365-373)
-
Tactical Safety Reasoning. A Case for Autonomous Vehicles Serban, A.C.; Poll, E. ; Visser, J.2018, Article in monograph or in proceedings (Cruz, J.R. (ed.), 2018 IEEE 87th Vehicular Technology Conference (VTC Spring), Porto, Portugal 3-6 June 2018. Proceedings, pp. 1-5)
-
A standard driven functional software architecture for fully autonomous vehicles Serban, A.C.; Poll, E. ; Visser, J.2018, Article in monograph or in proceedings (ICSA-C 2018:2018 IEEE 15th International Conference on Software Architecture Companion, 30 April – 4 May 2018 Seattle, Washington Los Alamitos. Proceedings, pp. 120-127)
-
PRIVACY BY DESIGN FOR LOCAL ENERGY COMMUNITIES Aubel, P.J.M. van; Colesky, M.; Hoepman, J.-H. ; Poll, E. ; Montes Portela, C.2018, Article in monograph or in proceedings (CIRED Workshop 2018 on Microgrids and Local Energy Communities, 7-8 June 2018 Ljubljana, Slovenia, pp. 1-4)
-
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)
-
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)
-
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
-
Logical Attacks on Secured Containers of the Java Card Platform Volokitin, S.; Poll, E.2017, Article in monograph or in proceedings (Lemke-Rust, K. (ed.), Smart Card Research and Advanced Applications: 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers, pp. 122-136)
-
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)
-
VerifyThis 2016: A Program Verification Competition Huisman, M.; Monahan, R.; Muller, P.; Poll, E.2016, External research report
-
Een mastercursus over software security: van contactonderwijs naar afstandonderwijs Vranken, H.P.E.; Poll, E.2015, Conference lecture
-
Software kan eenvoudig veiliger Poll, E. ; Vrede, T. De2015, Article / Letter to editor (Automatisering Gids, vol. 2015, iss. 3, (2015), pp. 1-4)
-
A Security Architecture for the Publish/Subscribe C-DAX Middleware Heimgärtner, F.; Höfling, M.; Vieira, B.; Poll, E. ; Menth, M.2015, Article in monograph or in proceedings (ICCW 2015 : IEEE International Conference on Communication Workshop, 8-12 June 2015, London, United Kingdom, pp. 2616-2621)
-
Securing the information infrastructure for EV charging Broek, F. van den; Poll, E. ; Veira, B.2015, Article in monograph or in proceedings (Pillai, P. (ed.), Wireless and Satellite Systems : 7th International Conference, WiSATS 2015 Bradford, UK, July 6–7, 2015, Revised Selected Papers, pp. 61-74)
-
An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks Chai, W.K.; Wang, N.; Katsaros, K.V.; Kamel, G.; Pavlou, G.; Melis, S.; Hoefling, M.; Vieira, B.; Romano, P.; Sarri, S.; Tesfay, T.T.; Yang, B.X.; Heimgaertner, F.; Pignati, M.; Paolone, M.; Menth, M.; Poll, E. ; Mampaey, M.; Bontius, H.H.I.; Develder, C. et al.2015, Article / Letter to editor (IEEE Transactions on Smart Grid, vol. 6, iss. 4, (2015), pp. 2134-2146)
sine al.
-
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)
-
Digitale handtekeningen: nieuwe technologie & nieuwe wet- en regelgeving Broek, F. van den; Poll, E.2014, Article / Letter to editor (Privacy & Informatie, vol. 1, iss. 1, (2014), pp. 2-10)
-
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)
-
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)
-
A Comparison of Time-Memory Trade-Off Attacks on Stream Ciphers Broek, F. van den; Poll, E.2013, Part of book or chapter of book (Youssef, A.; Nitaj, A.; Hassanien, A. (ed.), Progress in Cryptology – AFRICACRYPT 2013, pp. 406-423)
-
A security protocol for information-centric networking in smart grids Vieira, B.; Poll, E.2013, Article in monograph or in proceedings (SEGS '13 Proceedings of the first ACM workshop on Smart energy grid security, pp. 1-10)
-
Using trusted execution environment in two-factor authentication: Comparing approaches Rijswijk-Deij, R. van; Poll, E.2013, Part of book or chapter of book (Oid 2013 : Open identity summit 2013, september 09th-11th, kloster banz, germany, pp. 20-31)
-
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)
-
Risicoanalyse Slimme Meter Keten. Privacy en Security in het nieuwe marktmodel Paske, B.J. te; Cuijypers, C.M.C.; Eekelen, M.C.J.D. van ; Poll, E. ; Schoonhoven, B.H.A. van2012, External research report
-
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)
-
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)
-
Biometrics and Smart Cards in Identity Management 2011, Part of book or chapter of book (Hof, S. van der; Groothuis, M.M. (ed.), Innovating Government : Normative, policy and technological dimensions of modern government, pp. 419-439)
-
Midlet Navigation Graphs in JML 2011, Part of book or chapter of book (Davies, J.; Silva, L.; Simao, A. (ed.), Formal Methods: Foundations and Applications, pp. 17-32)
-
-
-
Model-Based Testing of Electronic Passports 2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B.; Joubert, C. (ed.), Formal Methods for Industrial Critical Systems 2009,14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 207-209)
-
Type-based Object Immutability with Flexible Initialization 2009, Article in monograph or in proceedings (Drossopoulou, S. (ed.), ECOOP 2009 – Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545)
-
Type-based Object Immutability with Flexible Initialization - extended version 2009, External research report
-
Teaching Program Specification and Verification Using JML and ESC/Java2 2009, Article in monograph or in proceedings (Gibbons, J.; Oliveira, J. N. (ed.), Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 92-104)
-
Malicious Code on Java Card Smartcards: Attacks and Countermeasures 2008, Article in monograph or in proceedings (Grimaud, G.; Standaert, F.-X. (ed.), Smart Card Research and Advanced Applications : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings, pp. 1-16)
-
Formal Nova interface specification : Formal specification of the micro-hypervisor interface 2008, External research report
-
Nova Micro--Hypervisor Verification Tews, H. ; Weber, T.M. ; Völp, Marcus; Poll, E. ; Eekelen, M.C.J.D. van ; Rossum, P.J.B. van2008, External research report
-
AHA: Amortized Heap Space Usage Analysis Eekelen, M.C.J.D. van ; Shkaravska, O. ; Kesteren, R.H.C. van ; Jacobs, B. ; Poll, E. ; Smetsers, J.E.W.2008, Article in monograph or in proceedings (Morazán, Marco (ed.), Trends in Functional Programming : Selected Papers of the 8th International Symposium on Trends in Functional Programming (TFP'07), New York, USA, pp. 36-53)
Now showing items 1-50 of 89
Search Repository
Browse
-
All of Repository
Upload Full Text