Search the dblp DataBase

Publications of Author

1. Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
   A Method for Secure Smartcard Applications. [Citation Graph (0, 0)][DBLP]
   AMAST, 2002, pp:319-333 [Conf]
   
2. Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
   Developing Provable Secure M-Commerce Applications. [Citation Graph (0, 0)][DBLP]
   ETRICS, 2006, pp:115-129 [Conf]
   
3. Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
   The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:16-31 [Conf]
   
4. Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
   A Construction Kit for Modeling the Security of M-commerce Applications. [Citation Graph (0, 0)][DBLP]
   FORTE Workshops, 2004, pp:72-85 [Conf]
   
5. Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
   Design for Trust: Security im M-Commerce. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (1), 2003, pp:91-94 [Conf]
   
6. Dominik Haneberg, Kurt Stenzel, Wolfgang Reif
   Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. [Citation Graph (0, 0)][DBLP]
   Workshop Mobile Commerce, 2004, pp:103-113 [Conf]
   
7. Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
   Special Issue on Tools for System Design and Verification. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:86-87 [Journal]
   
8. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
   Verifying Security Protocols: An ASM Approach. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2005, pp:247-262 [Conf]
   
9. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
   Verifying Smart Card Applications: An ASM Approach. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:313-332 [Conf]
   
10. 
    A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. [Citation Graph (, )][DBLP]
    
    
11. 
    Abstract Specification of the UBIFS File System for Flash Memory. [Citation Graph (, )][DBLP]
    
    
12. 
    A Modeling Framework for the Development of Provably Secure E-Commerce Applications. [Citation Graph (, )][DBLP]