PROMETHEUS Annual meeting

From 24/11/2020 to 25/11/2020

Initially planned in Barcelona in May 2020 changed to virtual one after COVID-19 sanitary situation

Tuesday, 24th November 2020

8:45 - 8:55 Virtual welcome

8:55 - 9:00 Introduction and agenda of the meeting (Octavie Paris, Benoit Libert, ENSL ; Sébastien Canard, ORA)

9:00 - 9:30 WP6 slot on next steps for use cases (Noemi Folch, SCYTL)

9:30 - 10:30 e-vote use case (managed by SCYTL)

Lattice based e-voting based on blind signatures (Adeline Roux-Langlois, UR1)

Status of the e-vote cryptographic protocol (Nuria Costa, SCYTL)

Status of the implementation of the working system (Jordi Cucurull, SCYTL)

10:30 - 11:00 coffee break

11:00 - 12:00 e-cash use case (managed by ORA)

Lattice-Based E-Cash, Revisited (Amit Deo, ENSL)

e-cash prototype current status (Olivier Sanders, ORA)

12:00 - 13:00 Anonymous credentials use case (managed by THA)

Anonymous credential prototype current status (Thomas Ricosset, THA)

Constant-size Lattice-Based Group Signature with Forward Security in the Standard Model (Adela Georgescu, UR1)

Practical Product Proofs for Lattice Commitments (Thomas Attema, CWI & TNO)

13:00 - 14:00 lunch break 

14:00 - 15:00 Cyber threat intelligence use case (managed by TNO)

CTI prototype current status (Thijs Veugen, TNO)

Shamir secret-sharing based approach (Thijs Veugen, TNO)

Homomorphic encryption based approach and challenges (Jins de Jong, TNO)

15:00 - 15:30 coffee break

15:30 - 16:30 Implementation

Implementation spreadsheet (Georg Land, RUB)

Use cases, building blocks and implementation (Sébastien Canard, ORA)


Wednesday, 25th November 2020

9:00 - 10:30 WP3 slot – Technical presentation on foundation of lattice-based cryptography

Cryptanalysis of ideal lattices (Koen de Boer, CWI)

Security proofs in the QROM (Jelle Don, CWI)

Side-channel, attacks and defenses (Pierre-Alain Fouque, UR1)

Concrete securty estimates and parameter selection (Fernando Virdia, RHUL)

10:30 - 11:00 coffee break

11:00 - 12h30 WP4 slot – Technical on lattice-based cryptographic primitives

Lattice-Based Blind Signatures, Revisited (Eduard Hauck, RUB)

Limits on the efficiency of (Ring) LWE based Non Interactive Key exchange (Alon Rosen, IDC)

Succinct proofs of knowledge of SIS preimages (Weiqiang Wen, UR1)

Linkable ABS based on lattices (Ramiro Martínez, UPC)

12:30 - 13:30 lunch break 

13:30 - 14:30 Administrative WPs (1/2/7) slot + Review meeting feedback (Octavie Paris, Benoit Libert, ENSL; Sébastien Canard, ORA)

14:30 - 15:00 coffee break

15:00 - 15:45 AB private meeting

15:45 - 16:30 AB feedbacks

Meeting with the kind participation of the EEC members