- Full Memory Read Attack on a Java Card Jip Hogenboom and Wojciech Mostowski
- Technical Report no. 2004--08 Formalisation and Verification of
- Testing the Java Card Applet Firewall Wojciech Mostowski and Erik Poll
- Verification of Safety Properties in the Presence of Transactions
- Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings
- JAVA CARD Applet Firewall Exploration and Exploitation Wojciech Mostowski and Erik Poll
- Malicious Code on Java Card Smartcards: Attacks and Countermeasures
- Fingerprinting Passports Henning Richter1
- Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic
- FASE System Description The System
- Appendix for FASE System Description The System
- Security and Privacy of Smartcard-based Lejla Batina, Bart Jacobs, Wojciech Mostowski, Erik Poll, and Pim Vullers
- Thesis for the degree of Doctor of Philosophy Formal Development of Safe and Secure
- Testing the Java Card Applet Firewall Wojciech Mostowski and Erik Poll
- JAVA CARD Tools for Together Control Center Wojciech Mostowski
- Formal Reasoning about Non-Atomic JAVA CARD Methods in Dynamic Logic
- Malicious Code on Java Card Smartcards: Attacks and Countermeasures
- Rigorous development of JavaCard applications
- Technical Report no. 200408 Formalisation and Verification of
- Midlet Navigation Graphs in JML Wojciech Mostowski and Erik Poll
- Electronic Passports in a Nutshell Wojciech Mostowski and Erik Poll
- FAILSTOP COMPONENTS BY PATTERN Tomasz Janowski and Wojciech I. Mostowski #
- A Program Logic for Handling JAVA CARD's Transaction Mechanism
- Thesis for the Degree of Licentiate of Philosophy Towards Development of Safe and
- Tearing Java Cards Engelbert Hubbers, Wojciech Mostowski, and Erik Poll
- ModelBased Testing of Electronic Passports Wojciech Mostowski 1 , Erik Poll 1 , Julien Schmaltz 2 , Jan Tretmans 1,2 , and
- Midlet Navigation Graphs in JML Wojciech Mostowski and Erik Poll
- Developing E#cient Blinded Attribute Certificates on Smart Cards via Pairings
- Thesis for the degree of Doctor of Philosophy Formal Development of Safe and Secure
- Noname manuscript No. (will be inserted by the editor)
- Security and Privacy of Smartcard-based e-Identity Lejla Batina, Bart Jacobs, Wojciech Mostowski, Erik Poll, and Pim Vullers
- Midlet Navigation Graphs in JML Wojciech Mostowski and Erik Poll
- Formal Reasoning about NonAtomic JAVA CARD Methods in Dynamic Logic
- Tearing Java Cards Engelbert Hubbers, Wojciech Mostowski, and Erik Poll
- OCL 2.0 UML 2003 Preliminary Version Specifying JAVACARD API in OCL
- Technical Report no. 2003-05 The KeY Tool1
- Fingerprinting Passports Henning Richter 1 , Wojciech Mostowski 2 # , and Erik Poll 2
- Formalisation and Verification of JAVA CARD Security Properties in Dynamic Logic
- A Program Logic for Handling JAVA CARD's Transaction Mechanism
- Fully Verified JAVA CARD API Reference Implementation
- Fully Verified JAVA CARD API Reference Implementation
- Full Memory Read Attack on a Java Card Jip Hogenboom and Wojciech Mostowski
- Model-Based Testing of Electronic Passports Wojciech Mostowski1
- OCL 2.0 -UML 2003 Preliminary Version Specifying JAVA CARD API in OCL
- Verification of Safety Properties in the Presence of Transactions
- Model-based Testing of Electronic Passports Wojciech Mostowski, Erik Poll, Julien Schmaltz,
- Thesis for the Degree of Licentiate of Philosophy Towards Development of Safe and
- Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards
