Crypto Seminar
Topics
Dominique Unruh
University of Tartu
Proverif and length
Proverif:
A tool for automatic
verification of protocol
security
Encryption leaks length:
Proverif “forgets”:
Encryption leaks length
 Attacks overlooked
Dominique Unruh - Everlasting Security
2
Automated design of crypto
Designing crypto:
Combine elementary
schemes “the right way”
Computer generation?
Automatically try and find
optimal scheme
Dominique Unruh - Everlasting Security
3
Quantum Zero Knowledge
Zero knowledge:
“Proving a fact without revealing anything”
Task: Summarize existing results. Extend them!
Dominique Unruh - Everlasting Security
4