[Overview] [Day 1] [Day 2] [Day 3]

December 13, 2021

All times are CET. To convert to your time zone, click [here].

11:00 – 11:15 Conference Opening

11:15 – 11:55 Attestation and Verification

Chair: Mauro Conti

Best Paper:
Subversion-Resistant Quasi-Adaptive NIZK and Applications to Modular zk-SNARKs
Behzad Abdolmaleki and Daniel Slamanig

Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model
Karim Baghery and Mahdi Sedaghat

11:55 – 12:15 Break

12:15 – 13:15 Keynote 1

Chair: Mauro Conti

On the Security of (UWB) Distance Measurement
Srđan Čapkun

13:15 – 14:00 Break

14:00 – 14:45 Attestation and Verification

Chair: Riccardo Lazzaretti

Attestation Waves: Platform Trust via Remote Power Analysis
Ignacio M. Delgado-Lozano, Macarena C. Martínez-Rodríguez, Alexandros Bakas, Billy Brumley and Antonis Michalas

How (not) to Achieve both Coercion Resistance and Cast as Intended Verifiability in Remote eVoting (short paper)
Tamara Finogina, Javier Herranz and Enrique Larraia

THC: Practical and Cost-Effective Verification of Delegated Computation
Pablo Rauzy and Ali Nehme

14:45 – 15:00 Break

15:00 – 15:45 Cryptography and Encryption

Chair: Angelo Spognadi

Cross-Domain Attribute-Based Access Control Encryption
Mahdi Sedaghat and Bart Preneel

Anonymous Transactions with Revocation and Auditing in Hyperledger Fabric
Dmytro Bogatov, Angelo De Caro, Kaoutar Elkhiyaoui and Björn Tackmann

The Matrix Reloaded: Multiplication Strategies in FrodoKEM
Joppe W. Bos, Maximilian Ofner, Joost Renes, Tobias Schneider and Christine van Vredendaal

15:45 – 16:00 Break

16:00 – 17:00 Keynote 2

Chair: Raphael C.-W. Phan

Mitigating TOCTOU in Hybrid Remote Attestation (RATA: Remote Attestation with TOCTOU Avoidance)
Gene Tsudik

[Overview] [Day 1] [Day 2] [Day 3]