Zero-knowledge Type-checker
Papers
- Michael Backes, Martin Grochulla, Cătălin Hriţcu, and Matteo Maffei. Achieving Security Despite Compromise Using Zero-Knowledge. To appear in 22th IEEE Symposium on Computer Security Foundations (CSF 2009), 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.
Download Type-checker
Implementation by Stefan Lorenz, Kim Pecina, Cătălin Hriţcu, and Thorsten Tarrach. Apache License, Version 2.0.
- zk-typechecker-0.2.0; Release Notes; 12th of February 2009.
- zk-typechecker-0.1.0-ccs; Release Notes; 2nd of December 2008.
- SVN snapshot; 12th of February 2009.
Bug Tracker
To create a new ticket use the New Ticket button.
Wiki
As all Wiki pages, this page is editable (really), this means that you can modify the contents of this page simply by using your web-browser. Simply click on the "Edit this page" link at the bottom of the page. WikiFormatting will give you a detailed description of available Wiki formatting commands..
