Publications

Cryptographic security of reactive systems: (Extended abstract)

• • Birgit Pfitzmann
  • Matthias Schunter
  • et al.
• 2000
• Electronic Notes in Theoretical Computer Science