Wojciech Mostowski - Publications

Journal Papers

  1. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager and Peter H. Schmitt. The KeY Tool. Software and Systems Modeling Journal, Volume 4, Number 1, pages 32-54. Springer, February 2005.
    [At Springer] [BibTeX]

Conference and Workshop Papers (peer reviewed)

  1. Wojciech Mostowski and Pim Vullers. Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards. Proceedings, 7th International ICST Conference on Security and Privacy in Communication Networks (SecureComm 2011), London, U.K., September 2011, LNICST, Springer.
    [PDF (preprint)] [SecureComm 2011 Website] [BibTeX] [PDF at Springer]

  2. Wojciech Mostowski and Erik Poll. Midlet Navigation Graphs in JML. Post Proceedings, 13th Brazilian Symposium on Formal Methods (SBMF 2010), Natal, Rio Grande do Norte, Brazil, November 2010. LNCS 6527, pages 17-32, Springer.
    Best Paper Award!
    [PDF (preprint)] [BibTeX] [SBMF 2010 Website] [PDF at Springer]

  3. Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, and Pim Vullers. Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. Proceedings, Smart Card Research and Advanced Application Conference CARDIS 2010, Passau, Germany, April 2010. LNCS 6035, pages 207-222, Springer.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [CARDIS 2010 Website] [PDF at Springer]

  4. Jip Hogenboom and Wojciech Mostowski. Full Memory Read Attack on a Java Card. Proceedings of 4th Benelux Workshop on Information and System Security, Louvain-la-Neuve, Belgium, November 2009.
    [Gzipped PostScript] [PDF] [BibTeX] [Wissec 2009 Website]

  5. Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, and Ronny Wichers Schreur. Model-Based Testing of Electronic Passports. Proceedings, FMICS 2009, Eindhoven, The Netherlands, November 2009. Poster presentation, LNCS 5825, pages 207-209, Springer.
    [Abstract Gzipped PostScript (preprint)] [Abstract PDF (preprint)] [BibTeX] [PDF Poster] [FMICS 2009 Website] [PDF at Springer]

  6. Wojciech Mostowski and Erik Poll. Java Card Applet Firewall Exploration and Exploitation. Proceedings, e-Smart 2008, Sophia-Antipolis, France, September 2008.
    [Abstract (PDF)] [Slides PDF] [BibTeX] [eSmart 2008 Website]

  7. Wojciech Mostowski and Erik Poll. Malicious Code on Java Card Smartcards: Attacks and Countermeasures. Proceedings, Smart Card Research and Advanced Application Conference CARDIS 2008, Egham, U.K., September 2008. LNCS 5189, pages 1-16, Springer.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [CARDIS 2008 Website] [PDF at Springer]

  8. Henning Richter, Wojciech Mostowski, and Erik Poll. Fingerprinting Passports. NLUUG 2008 Spring Conference on Security, Ede, the Netherlands, May 2008.
    [Gzipped PostScript] [PDF] [BibTeX] [NLUUG 2008 Website]

  9. Wojciech Mostowski. Fully Verified Java Card API Reference Implementation. Proceedings of the Verify 2007 Workshop (associated with CADE 2007), Bremen, Germany, July 2007.
    [Gzipped PostScript] [PDF] [BibTeX] [Verify 2007 Website] [Workshop Proceedings]

  10. Engelbert Hubbers, Wojciech Mostowski, and Erik Poll. Tearing Java Cards. Proceedings, e-Smart 2006, Sophia-Antipolis, France, September 2006.
    [Gzipped PostScript ] [PDF ] [BibTeX] [e-Smart 2006 Website]

  11. Wojciech Mostowski. Formal Reasoning about Non-Atomic Java Card Methods in Dynamic Logic. Proceedings, Formal Methods (FM) 2006, Hamilton, Ontario, Canada, August 2006. LNCS 4085, pages 444-459, Springer.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [FM 2006 at Springer] [PDF at Springer]

  12. Wojciech Mostowski. Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, Edinburgh, Scotland, April 2005. LNCS 3442, pages 357-371, Springer.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [FASE 2005 at Springer] [PDF at Springer]

  13. Reiner Hähnle and Wojciech Mostowski. Verification of Safety Properties in the Presence of Transactions. Proceedings, Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04) Workshop, LNCS 3362, pages 151-171, 2005. Springer.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [CASSIS'04 at Springer] [PDF at Springer]

  14. Daniel Larsson and Wojciech Mostowski. Specifying Java Card API in OCL. OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS 102C, pages 3-19. Elsevier, November 2004.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [At Elsevier]

  15. Bernhard Beckert and Wojciech Mostowski. A Program Logic for Handling Java Card's Transaction Mechanism. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, LNCS 2621, pages 246-260, Warsaw, Poland, April 2003. Springer.
    [Gzipped PostScript (preprint)] [PDF (preprint)] [BibTeX] [FASE 2003 at Springer] [PDF at Springer]

  16. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski and Peter H. Schmitt. The KeY System: Integrating Object-Oriented Design and Formal Methods. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, LNCS 2306, pages 327-330, Grenoble, France, April 2002. Springer.
    [PDF (preprint)] [Appendix] [BibTeX] [FASE 2002 at Springer] [PDF at Springer]

  17. Wojciech Mostowski. Rigorous development of Java Card applications. Rigorous Object Oriented Methods Workshop, London, U.K., March 21, 2002.
    [Gzipped PostScript] [BibTeX] [PDF (Somewhat updated version)]

  18. Tomasz Janowski and Wojciech Mostowski. Fail-Stop Components by Pattern Matching. Formal Methods for Open Object-Based Distributed Systems Conference, Stanford, California, U.S.A., September 6-8, 2000.
    [Gzipped PostScript] [BibTeX]

Posters

  1. Lejla Batina, Bart Jacobs, Wojciech Mostowski, Erik Poll, and Pim Vullers. Security and Privacy of Smartcard-based e-Identity Poster presentation, STW.ICT Conference, Veldhoven, the Netherlands, November 2010.
    [Abstract & Poster PDF] [Poster PDF] [BibTeX] [STW.ICT 2010 Website]

Chapters in Books

  1. Wojciech Mostowski. Chapter 9. From Sequential Java to Java Card of Verification of Object-Oriented Software: The KeY Approach, pages 375-405, Springer, 2007.
    [BibTeX] [KeY Book at Springer] [Chapter at Springer]

  2. Wojciech Mostowski. Chapter 14. The Demoney Case Study of Verification of Object-Oriented Software: The KeY Approach, pages 533-568, Springer, 2007.
    [BibTeX] [KeY Book at Springer] [Chapter at Springer]

  3. Wojciech Mostowski. Appendix B. The KeY Syntax of Verification of Object-Oriented Software: The KeY Approach, pages 599-626, Springer, 2007.
    [BibTeX] [KeY Book at Springer] [Appendix at Springer]

  4. Tomasz Janowski and Wojciech Mostowski. Chapter 13. Fail-Stop Components by Pattern Matching of Specification Case Studies in RAISE, pages 341-368, Springer, 2002.
    [BibTeX] [At Springer]

Thesis

  1. Wojciech Mostowski. Formal Development of Safe and Secure Java Card Applets. PhD Thesis, Technical Report 2D, Chalmers University of Technology, Department of Computer Science and Engineering, Göteborg, Sweden, February 2005. If you are interested in a hard-copy of my thesis drop me an e-mail.
    [Gzipped PostScript] [PDF] [BibTeX]

  2. Wojciech Mostowski. Towards Development of Safe and Secure Java Card Applets. Licentiate Thesis, Technical Report 16L, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, December 2002.
    [Gzipped PostScript] [PDF] [BibTeX]

Technical Reports

  1. Wojciech Mostowski and Erik Poll. Electronic Passports in a Nutshell. Technical Report ICIS-R10004, Radboud University Nijmegen, the Netherlands, June 2010.
    [PDF] [BibTeX]

  2. Wojciech Mostowski and Erik Poll. Midlet Navigation Graphs in JML. Technical Report ICIS-R09004, Radboud University Nijmegen, the Netherlands, August 2009.
    [Gzipped PostScript] [PDF] [BibTeX]

  3. Wojciech Mostowski and Erik Poll. Testing the Java Card Applet Firewall. Technical Report ICIS-R07029, Radboud University Nijmegen, the Netherlands, December 2007.
    [Gzipped PostScript] [PDF] [BibTeX] [Erratum]

  4. Wojciech Mostowski, Jing Pan, Srikanth Akkiraju, Erik de Vink, Erik Poll, and Jerry den Hartog. A Comparison of Java Cards: State-of-Affairs 2006. Technical Report CSR 07-06, Technical University Eindhoven, the Netherlands, 2007.
    [Available on Request] [BibTeX]

  5. Wojciech Mostowski. Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Technical Report no. 2004-08, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, October 2004.
    [Gzipped PostScript] [PDF] [BibTeX]

  6. Wojciech Mostowski. Java Card Tools for Together Control Center.
    [PDF] [BibTeX]

  7. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager and Peter H. Schmitt. The KeY Tool. Technical Report no. 2003-05, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, 2003.
    [PDF] [BibTeX]