Programme

Proceedings available at:

Invited Speakers

Karthik Bhargavan, INRIA
Verified Cryptography for Verified Protocols
Thyla van der Merwe, Mozilla
On the Evolution of Standards Development
Andreas Hülsing, TU Eindhoven
(To be) Standardized Hash-Based Signature Schemes
Tanja Lange, TU Eindhoven
The Standardization Ecosystem: A Fertile Ground
for Bad Ideas and Backdoors
Bertram Poettering, Royal Holloway
Recent Results on the Cryptanalysis of OCB2

Monday, November 26

9:30am
Opening: Cas Cremers & Anja Lehmann
9:45am
Invited Talk: Tanja Lange
10:45am
Break
Session 1
11:00am
hacspec: towards verifiable crypto standards
Franziskus Kiefer, Karthikeyan Bhargavan and Pierre-Yves Strub
11:30am
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)
Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen and Carsten Schürmann
12:00pm
Lunch
02:00pm
Invited Talk: Andreas Hülsing
03:00pm
Break
Session 2
03:30pm
Experimental Evaluation of Attacks on TESLA-secured Time Synchronization Protocols
Kristof Teichel and Gregor Hildermeier
04:00pm
Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols
Harry Halpin, Kseniia Ermoshina and Francesca Musiani
04:30pm
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning
Marcello Balduccini and Claire Vishik
05:00pm
End of Day

07:00pm
Conference Dinner at Restaurant Sitte
[Karlstraβe 15, 64283 Darmstadt]

Tuesday, November 27

9:00am
Invited Talk: Bertram Poettering
9:45am
Invited Talk: Karthikeyan Bhargavan
10:45am
Break
Session 3
11:15am
Defeating the Downgrade Attack on Identity Privacy in 5G
Mohsin Khan, Philip Ginzboorg, Kimmo Järvinen and Valtteri Niemi
11:45am
Identity Confidentiality in 5G Mobile Telephony Systems
Haibat Khan, Benjamin Dowling and Keith M. Martin
12:15pm
Lunch
02:00pm
Invited Talk: Thyla van der Merwe
03:00pm
Break
Session 4
03:30pm
Great Expectations: A Critique of Current Statistical Testing & Certification of Random Number Generators
Darren Hurley-Smith and Julio Hernandez-Castro
04:00pm
Building a Beacon Format Standard: An Exercise in Limiting the
Power of a TTP
John Kelsey
04:30pm
Conference Ends

%d bloggers like this:
search previous next tag category expand menu location phone mail time cart zoom edit close