The following pages link to Jannik Dreier (Q896920):
Displaying 9 items.
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- A faster cryptographer's Conspiracy Santa (Q2196567) (← links)
- Vote-Independence: A Powerful Privacy Notion for Voting Protocols (Q2889829) (← links)
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (Q3304811) (← links)
- (Q3305731) (← links)
- On Unique Decomposition of Processes in the Applied π-Calculus (Q4910411) (← links)
- Brandt’s Fully Private Auction Protocol Revisited (Q4924674) (← links)
- (Q5282806) (← links)
- Formal Verification of e-Auction Protocols (Q5326763) (← links)
