Science navigation: All Publications Talks PhD CCSL Robin

Recent publications and talks

• Automatic Library Compilation and Proof-Tree Visualisation for Coq Proof General, presentation at the Third Coq Workshop on August 26 2011 in Nijmegen.
  [copy slides]

• Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011), published as Technical report TUD-FI11-02-August 2011 of TU Dresden. Done together with Jörg and Marco (editors).
  copy: [pdf]

• Selective Disclosure Protocols on Java Card, talk given at the Echtzeit-AG on March 3rd 2010 in Dresden.
  [copy slides]

• Implementing Selective Disclosure Protocols on Java Cards: A first experience report, talk given at the Workshop in Information Security Theory and Practices on September 3rd 2009 in Brussels
  [copy slides]

• Performance issues of Selective Disclosure and Blinded Issuing Protocols on Java Card, published in the proceedings of the workshop in information security, theory and practices (WISTP 2009), LNCS volume 5746, pages 95-111. Done together with Bart Jacobs.
  copy: [ps.gz] [pdf]

• Formal Memory Models for the Verification of Low-Level Operating-System Code, published in the Journal of Automated Reasoning, volume 42, number 2-4. Done together with Tjark and Marcus.
  copy: [ps.gz] (apart from formatting and page numbering this version is identical with the one printed in the journal)

Home Science Overview All Publications Talks PhD CCSL Robin