Sciweavers

16 search results - page 4 / 4
» Cryptographic Agility and Its Relation to Circular Encryptio...
Sort
View
CSFW
2010
IEEE
13 years 8 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...