Items where Author is "Dreier, Jannik"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Article

Basin, David and Cremers, Cas and Dreier, Jannik and Sasse, Ralf
(2017) Symbolically Analyzing Security Protocols Using Tamarin.
SIGLOG News, 4 (4). pp. 19-30.

Conference or Workshop Item

Backes, Michael and Dreier, Jannik and Kremer, Steve and K√ľnnemann, Robert
(2017) A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange.
In: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P '17).
Conference: EuroS&P - IEEE European Symposium on Security and Privacy

This list was generated on Sat Mar 28 00:04:00 2020 CET.