Volgen
Erik Poll
Titel
Geciteerd door
Geciteerd door
Jaar
An overview of JML tools and applications
L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...
International journal on software tools for technology transfer 7, 212-232, 2005
8622005
An overview of JML tools and applications
L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ...
Electronic Notes in Theoretical Computer Science 80, 75-91, 2003
3452003
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
P Chalin, JR Kiniry, GT Leavens, E Poll
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
3322006
Protocol State Fuzzing of TLS Implementations
J De Ruiter, E Poll
24th {USENIX} Security Symposium ({USENIX} Security 15), 193-206, 2015
2572015
JML: notations and tools supporting detailed design in Java
GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs
Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000
2432000
JML reference manual
GT Leavens
ftp://ftp. cs. iastate. edu/pub/leavens/JML/jmlref-man. pdf, 2005
1812005
EMV in a nutshell
J van den Breekel, DA Ortiz-Yepes, E Poll, J de Ruiter
Technical Report, 2016 [retrieved on Mar. 25, 2019]. Retrieved from Internet …, 2016
1402016
A logic for the Java Modeling Language JML
B Jacobs, E Poll
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
1372001
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
1242008
Java program verification at Nijmegen: Developments and perspective
B Jacobs, E Poll
Lecture notes in computer science, 134-153, 2004
1232004
SmartCards and RFID
L Batina, E Poll
Course PowerPoint Presentation for IPA Security Course, Digital Security at …, 2019
1102019
Formal models of bank cards for free
F Aarts, J De Ruiter, E Poll
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
1092013
Malicious code on Java Card smartcards: Attacks and countermeasures
W Mostowski, E Poll
Smart Card Research and Advanced Applications: 8th IFIP WG 8.8/11.2 …, 2008
1072008
Pure type systems with definitions
P Severi, E Poll
Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994
98*1994
What blockchain alternative do you need?
T Koens, E Poll
Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018
962018
Specification of the Javacard API in JML: Towards formal specification and verification of applets and API implementations
E Poll, J van den Berg, B Jacobs
Smart Card Research and Advanced Applications: IFIP TC8/WG8. 8 Fourth …, 2000
842000
Analysis of secure key storage solutions on Android
T Cooijmans, J de Ruiter, E Poll
Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones …, 2014
832014
Adversarial examples on object recognition: A comprehensive survey
A Serban, E Poll, J Visser
ACM Computing Surveys (CSUR) 53 (3), 1-38, 2020
822020
A type-theoretic memory model for verification of sequential Java programs
J van den Berg, M Huisman, B Jacobs, E Poll
Recent Trends in Algebraic Development Techniques: 14th International …, 2000
802000
Smart metering in the Netherlands: What, how, and why
P Van Aubel, E Poll
International Journal of Electrical Power & Energy Systems 109, 719-725, 2019
732019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20