Jannik Dreier

Available identifiers

zbMath Open dreier.jannikMaRDI QIDQ896920

List of research outcomes

Publication	Date of Publication	Type
Physical zero-knowledge proof for Makaro	2023-08-02	Paper
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols	2022-12-22	Paper
A faster cryptographer's Conspiracy Santa	2020-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3305731	2020-08-11	Paper
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols	2020-08-03	Paper
Optimal Threshold Padlock Systems	2020-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q5282806	2017-07-17	Paper
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus	2015-12-15	Paper
Formal Verification of e-Auction Protocols	2013-08-06	Paper
Brandt’s Fully Private Auction Protocol Revisited	2013-06-07	Paper
On Unique Decomposition of Processes in the Applied π-Calculus	2013-03-18	Paper
Vote-Independence: A Powerful Privacy Notion for Voting Protocols	2012-06-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jannik Dreier