- Suche

- Kontakt

Publications

    2011

  • Mondex: Engineering a Provable Secure Electronic Purse
    Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
    International Journal of Software and Informatics, 5(1):159-184, 2011. http://www.ijsi.org
    abstract;
     

    • 2010

  • Pitfalls in Formal Reasoning about Security Protocols
    Nina Moebius, Kurt Stenzel, Wolfgang Reif
    Proceedings of ARES 2010 - Fifth International Conference on Availability, Reliability and Security, IEEE Press
    abstract;
     
  • Formal Verification of Application-Specific Security Properties in a Model-Driven Approach
    N. Moebius, K. Stenzel, W. Reif
    International Symposium on Engineering Secure Software and Systems 2010 (ESSoS), Springer LNCS 5965
    abstract; Springer link;
     

    • 2009

  • Modeling Security-Critical Applications with UML in the SecureMDD Approach
    N. Moebius, W. Reif, K. Stenzel
    International Journal On Advances in Software (2008) 1:59-79, IARIA
    abstract; IariaJournals;
     
  • SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications
    N. Moebius, K. Stenzel, H. Grandy, W. Reif
    ARES 2009 Workshop: Proceedings of the Third International Workshop on Secure Software Engineering, IEEE Computer Society Press (2009)
    abstract;
     
  • Generating Formal Specifications for Security-Critical Applications - A Model-Driven Approach
    N. Moebius, K. Stenzel, W. Reif
    ICSE 2009 Workshop: International Workshop on Software Engineering for Secure Systems (SESS'09), IEEE/ACM Digital Libary
    abstract;
     
  • Model-Driven Code Generation for Secure Smart Card Applications
    N. Moebius, K. Stenzel, H. Grandy, W. Reif
    Proceedings of the 20th Australian Software Engineering Conference , IEEE Computer Society Press (2009)
    abstract;
     

    • 2008

  • Verification of Java Programs with Generics
    Kurt Stenzel, Holger Grandy, Wolfgang Reif
    J. Meseguer and G. Rosu, editors, Algebraic Methodology and Software Technology (AMAST) 2008, Proceedings. Springer LNCS 5140, 2008. © Springer.
    abstract; Verification of Java Programs with Generics (149 KB); (Springerlink);
     
  • Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
    H. Grandy, M. Bischof, K. Stenzel, G. Schellhorn, W. Reif
    FM 2008, 15th International Symposium on Formal Methods, Springer LNCS 5018
    SpringerLink;
     

    • 2007

  • ASN1-light: A Verified Message Encoding for Security Protocols
    Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
    Proceedings of Software Engineering and Formal Methods (SEFM) 2007, IEEE Press, London, England
    abstract; IEEExplore;
     
  • A Refinement Method for Java Programs
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Proceedings of FMOODS 2007, Springer LNCS 4468, Paphos, Cyprus,
    abstract; SpringerLink;
     

    • 2006

  • Reasoning about Pointer Structures in Java
    Kurt Stenzel, Holger Grandy, Wolfgang Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; Reasoning about Pointer Structures in Java (202 KB);
     
  • A Refinement Method for Java Programs
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; A Refinement Method for Java Programs (219 KB);
     
  • Refinement of Security Protocol Data Types to Java
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    PASSWORD at ECOOP 2006, Nantes, France, July 2006
    abstract; 2006-password (0 KB); ;
     
  • Developing Provable Secure M-Commerce Applications
    Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    Emerging Trends in Information and Communication Security, Proceedings. Springer LNCS 3995, 2006.
    abstract;
     
  • The User Interface of the KIV Verification System - A System Description
    Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel
    ENTCS special issue (to appear), Elsevier
    abstract; ENTCS at Elsevier;
     

    • 2005

  • Object Oriented Verification Kernels for Secure Java Applications
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Proceedings of the 3rd International Conference on Software Engineering and Formal Methods - SEFM 2005, September 2005, IEEE Press.
    abstract; 2005-sefm-verification-kernels (0 KB);
     
  • Verification of Java Card Programs
    Kurt Stenzel
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005
    abstract; download pdf version (1110 KB);
     
  • The User Interface of the KIV Verification System - A System Description
    Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel
    Proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005)
    download pdf version (810 KB);
     

    • 2004

  • A Construction Kit for Modeling the Security of M-Commerce Applications
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    Manuel Núñez et al. (Eds.), Applying Formal Methods: Testing, Performance and M/E-Commerce. FORTE 2004 Workshops ITM/EPEW/TheFormEMC Proceedings, LNCS 3236
    download pdf version (249 KB);
     
  • A Formally Verified Calculus for Full Java Card
    K. Stenzel
    C. Rattray, S. Maharaj, and C. Shankland (editors), Algebraic Methodology and Software Technology (AMAST) 2004 Proceedings. Stirling Scotland, July 2004. Springer LNCS 3116
    abstract; download pdf version (239 KB); download postscript version (221 KB);
     
  • Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application
    D. Haneberg, W. Reif, K. Stenzel
    K. Pousttchi, K. Turowski (Hrsg.), Mobile Economy - Transaktionen, Prozesse, Anwendungen und Dienste, Proceedings zum 4. Workshop Mobile Commerce, Lecture Notes in Informatics Vol. P-42
    download pdf version (58 KB);
     

    • 2003

  • Design for Trust: Security im M-Commerce
    D. Haneberg, A. Kreibich, W. Reif, K. Stenzel
    K. Dittrich, W. König, A. Oberweis, K. Rannenberg, W. Wahlster (Hrsg.), Informatik 2003 - Proceedings der 33. Jahrestagung der Gesellschaft für Informatik Band 1, Lecture Notes in Informatics Vol. P-34
    download second pdf version (163 KB); download pdf version (336 KB);
     
  • Design for Trust: Security im M-Commerce
    D. Haneberg, A. Kreibich, W. Reif, K. Stenzel
    K.P. Jantke, W. S. Wittig, J. Herrmann (Hrsg.), Von e-Learning bis e-Payment 2003 - Tagungsband LIT '03, Akademische Verlagsgesellschaft Aka Berlin

     

    • 2002

  • A Method for Secure Smartcard Applications
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    H. Kirchner, C. Ringeissen, editors, Algebraic Methodology and Software Technology, LNCS 2422, Springer
    download postscript version (1217 KB); Springer LNCS 2422;
     

    • 2001

  • Verification of JavaCard Programs
    Kurt Stenzel
    Technical report 2001-5, Institut für Informatik, Universität Augsburg
    abstract; download pdf version (796 KB); download postscript version (338 KB);
     

    • 2000

  • Formal System Development with KIV
    M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums
    T. Maibaum, editor, Fundamental Approaches to Software Engineering, Springer LNCS 1783
    download pdf version (86 KB); download postscript version (35 KB);
     

    • 1999

  • VSE: Controlling the Complexity in Formal Software Developments
    D. Hutter, H. Mantel, G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, G. Schellhorn, and K. Stenzel
    Current Trends in Applied Formal Methods, Springer LNCS 1641

     
  • KIV 3.0 for Provably Correct Systems
    M. Balser, W. Reif, G. Schellhorn, and K. Stenzel
    Current Trends in Applied Formal Methods, Springer LNCS 1641
    download postscript version (102 KB);
     

    • 1998

  • Structured specifications and interactive proofs with KIV
    W. Reif, G. Schellhorn, K. Stenzel, and M. Balser
    W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications, Kluwer Academic Publishers
    download postscript version (158 KB);
     

    • 1997

  • Proving System Correctness with KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    M. Bidoit and M. Dauchet, editors, TAPSOFT'97: Theory and Practice of Software Development. Proceedings, Springer LNCS 1214

     
  • Proving System Correctness with KIV 3.0
    W. Reif, G. Schellhorn, and K. Stenzel
    14th International Conference on Automated Deduction. Proceedings, Springer LNCS 1249

     

    • 1996

  • LEX: a case study in development and validation of formal specifications
    A. Heckler, R. Hettler, H. Hußmann, J. Loeckx, W. Reif, G. Schellhorn, and K. Stenzel
    Technical Report A/06/96

     
  • Reuse of Proofs in Software Verification
    W. Reif and K. Stenzel
    SADHANA: Academy Proceedings in Engineering Sciences, 21(2)

     
  • Pilotanwendungen mit KIV
    K. Stenzel
    Technischer Bericht FI96/06

     
  • Kiv 3.0: Concepts and applications
    W. Reif, G. Schellhorn, and K. Stenzel
    Technical report
    download postscript version (288 KB);
     

    • 1995

  • Interactive Correctness Proofs for Software Modules Using KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    COMPASS'95 - Tenth Annual Conference on Computer Assurance, Gaithersburg (MD), IEEE press
    abstract; download postscript version (80 KB);
     
  • Three Selected Case Studies in Verification
    T. Fuchß, W. Reif, G. Schellhorn, and K. Stenzel
    M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Springer LNCS 1009
    download postscript version (66 KB);
     
  • Tactics in KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    Journal on Information Processing and Cybernetics, 30

     
  • Reuse of Proofs in Software Verification
    W. Reif and K. Stenzel
    J. Köhler, editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs

     

    • 1994

  • Tactics in KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    J. Kunze and H. Stoyan, editors, Workshop-Proceedings 18. Deutsche Jahrestagung für Künstliche Intelligenz, KI 94, Gesellschaft für Informatik e. V.

     

    • 1993

  • A Verified Access Control Model
    K. Stenzel
    Technical Report 26/93
    download postscript version (265 KB);
     
  • Reuse of Proofs in Software Verification
    W. Reif and K. Stenzel
    R. Shyamasundar, editor, Foundation of Software Technology and Theoretical Computer Science. Proceedings, Bombay, India, pages 284-293, Springer LNCS 761
    download postscript version (82 KB);
     

  • Formal Verification of QVT Transformations for Code Generation
    Kurt Stenzel, Nina Moebius, Wolfgang Reif
    Proceedings of MODELS 2011 - 14th International Conference on Model Driven Engineering Languages and Systems, Springer LNCS 6981
    abstract; Springer link;