Kurt Stenzel

Publication Activity (10 Years)

Years Active: 1993-2017
Publications (10 Years): 6

Top Venues

NTMS

ER Workshops

SEW

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

University of Augsburg, Germany (PHD)

Education History

University of Augsburg, Germany

PHD

Publications

Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif
Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. SpaCCS Workshops (2017)
Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
Secure Integration of Third Party Components in a Model-Driven Approach. Trans. Large Scale Data Knowl. Centered Syst. 30 (2016)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
Declassification of Information with Complex Filter Functions. ICISSP (2016)
Kurt Stenzel, Nina Moebius, Wolfgang Reif
Formal verification of QVT transformations for code generation. Softw. Syst. Model. 14 (2) (2015)
Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. ER Workshops (2015)
Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
Modeling information flow properties with UML. NTMS (2015)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
A Model-Driven Approach to Noninterference. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5 (3) (2014)
Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
Formalizing Information Flow Control in a Model-Driven Approach. ICT-EurAsia (2014)
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Modeling test cases for security protocols with SecureMDD. Comput. Networks 58 (2014)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Security requirements formalized with OCL in a model-driven approach. MoDRE (2013)
Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
Model-Driven Development of Information Flow-Secure Systems with IFlow. SocialCom (2013)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM (2013)
Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. DPM/SETOP (2012)
Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
Model-Driven Development of Secure Service Applications. SEW (2012)
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Model-Driven Testing of Security Protocols with SecureMDD. NTMS (2012)
Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
Incremental development of large, secure smart card applications. MDsec@MoDELS (2012)
Kurt Stenzel, Nina Moebius, Wolfgang Reif
Formal Verification of QVT Transformations for Code Generation. MoDELS (2011)
Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Softw. Informatics 5 (1-2) (2011)
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS (2010)
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Pitfalls in Formal Reasoning about Security Protocols. ARES (2010)
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Generating formal specifications for security-critical applications - A model-driven approach. SESS@ICSE (2009)
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES (2009)
Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference (2009)
Kurt Stenzel, Holger Grandy, Wolfgang Reif
Verification of Java Programs with Generics. AMAST (2008)
Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM (2008)
Holger Grandy, Kurt Stenzel, Wolfgang Reif
A Refinement Method for Java Programs. FMOODS (2007)
Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
ASN1-light: A Verified Message Encoding for Security Protocols. SEFM (2007)
Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
Developing Provable Secure M-Commerce Applications. ETRICS (2006)
Holger Grandy, Kurt Stenzel, Wolfgang Reif
Object Oriented Verification Kernels for Secure Java Applications. SEFM (2005)
Kurt Stenzel
A Formally Verified Calculus for Full Java Card. AMAST (2004)
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops (2004)
Dominik Haneberg, Kurt Stenzel, Wolfgang Reif
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce (2004)
Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
Design for Trust: Security im M-Commerce. GI Jahrestagung (1) (2003)
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
A Method for Secure Smartcard Applications. AMAST (2002)
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
Formal System Development with KIV. FASE (2000)
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
KIV 3.0 for Provably Correct Systems. FM-Trends (1998)
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
VSE: Controlling the Complexity in Formal Software Developments. FM-Trends (1998)
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Proving System Correctness with KIV. TAPSOFT (1997)
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Proving System Correctness with KIV 3.0. CADE (1997)
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Formal Specification and Verification Using KIV. FTRTFT (1994)
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Tactics in KIV. J. Inf. Process. Cybern. 30 (5/6) (1994)
Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers
The KIV System: A Tool for Formal Program Development. STACS (1993)
Wolfgang Reif, Kurt Stenzel
Reuse of Proofs in Software Verification. FSTTCS (1993)

Kurt Stenzel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kurt Stenzel