[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
[presentation]
Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model
Karim Baghery and Mahdi Sedaghat
[presentation]
11:55 – 12:15 Break
12:15 – 13:15 Keynote 1
Chair: Mauro Conti
On the Security of (UWB) Distance Measurement
Srđan Čapkun
[presentation]
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
[presentation]
How (not) to Achieve both Coercion Resistance and Cast as Intended Verifiability in Remote eVoting (short paper)
Tamara Finogina, Javier Herranz and Enrique Larraia
[presentation]
THC: Practical and Cost-Effective Verification of Delegated Computation
Pablo Rauzy and Ali Nehme
[presentation]
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
[presentation]
Anonymous Transactions with Revocation and Auditing in Hyperledger Fabric
Dmytro Bogatov, Angelo De Caro, Kaoutar Elkhiyaoui and Björn Tackmann
[presentation]
The Matrix Reloaded: Multiplication Strategies in FrodoKEM
Joppe W. Bos, Maximilian Ofner, Joost Renes, Tobias Schneider and Christine van Vredendaal
[presentation]
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
[presentation]