Type-Checking Zero Knowledge

Courtesy Lambda the Ultimate - Programming Languages Weblog  Tue, 11/18/2008 - 00:18

Type-Checking Zero Knowledge

This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs.

We show how certain properties offered by zero-knowledge proofs can be characterized in terms of authorization policies and statically enforced by a type system.

The analysis is modular and compositional, and provides security proofs for an unbounded number of protocol executions.

We develop a new type-checker that conducts the analysis in a fully automated manner. We...

Tags:

 

More related items

Semi-implicit batched remote code execution as staging
Oleg Kiselyov has just posted another amazing work: Semi-implicit batched remote code execution as staging. Batching several remote-procedure or remote-object operations into one request...

Omega - Language of the Future
When I discovered Tim Sheard's Languages of the Future, I realized that PLs do indeed have a future (beyond asymptotically approaching CLOS and/or adding whimsical new rules to your type...

Microsoft Reports Bug in Web Security Protocols
Microsoft on Tuesday warned of a "vulnerability" associated with two protocols commonly used to establish secure client-server communications.


 

Post new comment

The content of this field is kept private and will not be shown publicly.
computer-internet.marc8.com