Jannik Dreier

From MaRDI portal
Person:896920

Available identifiers

zbMath Open dreier.jannikMaRDI QIDQ896920

List of research outcomes





PublicationDate of PublicationType
Physical zero-knowledge proof for Makaro2023-08-02Paper
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols2022-12-22Paper
A faster cryptographer's Conspiracy Santa2020-09-03Paper
https://portal.mardi4nfdi.de/entity/Q33057312020-08-11Paper
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols2020-08-03Paper
Optimal Threshold Padlock Systems2020-04-24Paper
https://portal.mardi4nfdi.de/entity/Q52828062017-07-17Paper
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus2015-12-15Paper
Formal Verification of e-Auction Protocols2013-08-06Paper
Brandt’s Fully Private Auction Protocol Revisited2013-06-07Paper
On Unique Decomposition of Processes in the Applied π-Calculus2013-03-18Paper
Vote-Independence: A Powerful Privacy Notion for Voting Protocols2012-06-08Paper

Research outcomes over time

This page was built for person: Jannik Dreier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:896920&oldid=7838409"
Powered by MediaWiki