Programme

Invited Speakers

Karthik Bhargavan, INRIA
Verified Cryptography for Verified Protocols
Andreea Gulasci, CEN
European Security Challenges — What Role For
Standards?
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

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

Tuesday, November 27

9:45am
Invited Talk: Karthikeyan Bhargavan
10:45am
Break
Session 3
11:00am
Defeating the Downgrade Attack on Identity Privacy in 5G
Mohsin Khan, Philip Ginzboorg, Kimmo Järvinen and Valtteri Niemi
11:30am
Identity Confidentiality in 5G Mobile Telephony Systems
Haibat Khan, Benjamin Dowling and Keith M. Martin
12:00pm
Lunch
02:00pm
Invited Talk: Andreea Gulacsi
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

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