Spi2F#

Thesis

• Thorsten Tarrach,  Spi2F# - A Prototype Code Generator for Security Protocols, Bachelor's Thesis, Information Security and Cryptography Group, Saarland University, September 2008.
  •  Slides from Bachelor's Seminar talk.

Prototype Implementation

• You can browse the source code by Thorsten Tarrach.  Apache 2.0 License.

Further References

• Michael Backes, Martin Grochulla, Cătălin Hriţcu, and Matteo Maffei.  Achieving Security Despite Compromise Using Zero-Knowledge. In 22th IEEE Symposium on Computer Security Foundations (CSF 2009), pages 308-323, IEEE Computer Society Press, July 2009.
  •  Full version that contains all the technical details ; February 2009.

• Michael Backes, Cătălin Hriţcu, and Matteo Maffei.  Type-checking Zero-knowledge. In 15th ACM Conference on Computer and Communications Security (CCS 2008), pages 357-370, ACM Press, October 2008.
  •  Full version that additionally contains all the technical details of the type system, a brief discussion about security despite compromise, and all the proofs; November 2008.