Jannik Dreier

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Physical zero-knowledge proof for Makaro Lecture Notes in Computer Science	2023-08-02	Paper
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols 1511.68042	2022-12-22	Paper
A faster cryptographer's Conspiracy Santa Theoretical Computer Science	2020-09-03	Paper
A cryptographer's Conspiracy Santa	2020-08-11	Paper
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols Lecture Notes in Computer Science	2020-08-03	Paper
Optimal Threshold Padlock Systems	2020-04-24	Paper
Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen (available as arXiv preprint)	2017-07-17	Paper
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus Theoretical Computer Science	2015-12-15	Paper
Formal verification of e-auction protocols Lecture Notes in Computer Science	2013-08-06	Paper
Brandt's fully private auction protocol revisited Progress in Cryptology – AFRICACRYPT 2013	2013-06-07	Paper
On unique decomposition of processes in the applied \(\pi\)-calculus Lecture Notes in Computer Science	2013-03-18	Paper
Vote-independence: a powerful privacy notion for voting protocols Foundations and Practice of Security	2012-06-08	Paper

Research outcomes over time

This page was built for person: Jannik Dreier