• Home
  
• Speakers
• Program
• Registration
• Venue and accommodation
• Transportation
• Whom to contact

• ECRYPT CSA Workshop on Symmetric Crypto designed for side channel and fault resistance,
  October 12-13.

Schedule for ECRYPT-NET School on Correct and Secure Implementation

Sunday, 8 Oct

20:00 –

Welcome reception

Monday, 09 Oct

09:00 – 10:30	Manuel Barbosa
	Proving Cryptographic Implementations Secure
	Part I(a): Interplay between cryptography and program verification (video 1, video 2)
10:30 – 11:00	coffee break
11:00 – 12:30	Hanno Böck
	Cryptographic implementation flaws in TLS and in underlying bignum libraries (Part I) (video 1, video 2, video 3)
12:30 – 14:00	lunch break
14:00 – 15:30	Francois Dupressoir
	Proving Cryptographic Implementations Secure
	Part I(b): Modelling Power-Analysis and Countermeasures (video 1, video 2)
15:30 – 16:00	coffee break
16:00 – 17:30	Daniel J. Bernstein
	Cryptographic software engineering, part 1 (video 1, video 2)

Tuesday, 10 Oct

09:30 – 11:00	Francois Dupressoir
	Proving Cryptographic Implementations Secure
	Part II(a): Proving and Verifying the Probing Security of Masked Algorithms (video 1, video 2)
11:00 – 11:30	coffee break
11:30 – 13:00	Manuel Barbosa
	Proving Cryptographic Implementations Secure
	Part II:(b) Proof techniques and program verification tools (video 1, video 2)
13:00 – 14:00	lunch break
14:00 – 15:30	Lukasz Chmielewski
	Part I: Practical SCA training with a demo (video 1, video 2)
15:30 – 16:00	coffee break
16:00 – 17:30	Hanno Böck
	Cryptographic implementation flaws in TLS and in underlying bignum libraries (Part II) (video 1, video 2)

Wednesday, 11 Oct

09:30 – 11:00	Lukasz Chmielewski
	Part II: SCA on ECC, in particular, single trace attacks (video 1, video 2)
11:00 – 11:30	coffee break
11:30 – 13:00	Daniel J. Bernstein
	Cryptographic software engineering, part 2 (video 1, video 2)
13:00 – 14:00	lunch break
14:00 – 15:30	Presentations ESRs 15-12
	Gustavo Banegas Preimage search using Grover algorithm video)
	Lorenz Panny You could have invented Supersingular Isogeny Diffie-Hellman
	Simon Friedberger "TLS attacker"
	Dusan Bozilov "Lightweight ciphers resiting combined side-channel and fault attacks"
15:30 – 16:00	coffee break
16:00 – 17:30	Presentations ESR 11-8
	Junwei Wang Reveal Secrets in Adoring Poitras -- A generic attack on white-box cryptography (video)
	Marco Martinoli Leakage Resilience from Lattices (video)
	Eduardo Soria-Vazquez Multi-Party Computation: Second year (slides in pptx)
	Marie-Sarah Lacharite

Thursday, 12 Oct

09:30 – 11:00	Presentations ESR 7-4
	Ralph Ankele
	Erik Boss Faith, Trust and Pixie Dust (video)
	Michele Minelli Increased efficiency and functionality through lattice-based cryptography (video)
	Matthias Minihold "Making FHE practical --- Construction and Cryptanalysis of lattice-based schemes"
11:00 – 11:30	coffee break
11:30 – 13:00	Presentations ESR 3-1
	Razvan Rosie Key-Robustness for Cryptographic Primitives (video)
	Danilo Sijacic
	Chaoyun Li Cube Attacks on Stream Ciphers Based on Division Property (video)
13:00 – 14:00	lunch break
14:00 – 15:30	Complementary Skills Training
	Gert Storms
	"Unconscious bias in research"
15:30 – 16:00	coffee break
16:00 – 16:30	Complementary Skills Training
	Gert Storms
	"Unconscious bias in research"
16:30 – 17:30	Fellow Council (ESRs)
19:00 –	Conference dinner (joint with workshop)