Publications

Cryptographically sound theorem proving

• • Christoph Sprenger
  • David Basin
  • et al.
• 2006
• CSF 2006