Date: 13th December 2024
Cost: Zero! Registration is required for estimating numbers of attendees.
Programme
| Title (Abstracts / Slides) | Speaker | |
|---|---|---|
| 9:20 | Opening | Organisers |
| 9:30 | MAYO, practical post-quantum signatures and a bit more | Sofía Celi, Brave Software |
| 10:10 | Formal Verification of Post-Quantum Cryptography in Formosa-Crypto | Manuel Barbosa, FCUP |
| 10:50 | Break | |
| 11:10 | Private outsourcing of zkSNARK proof construction | Mariana Gama, KU Leuven |
| 11:50 | Pseudo-Entanglement is Necessary for EFI Pairs | Manuel Goulão, OIST |
| 12:30 | Lunch | |
| 13:45 | Short talks | |
| 14:40 | Cryptography Endeavors at NIST: Standardization and Beyond | Luís Brandão, NIST/Strativia |
| 15:20 | Break | |
| 15:40 | “Noisy” versus “Bounded” Leakage | João Ribeiro, IST |
| 16:20 | Black-Box Non-Interactive Zero Knowledge from Vector Trapdoor Hash | Pedro Branco, Bocconi University |
| 17:00 | Closing | Organisers |
Proposals for short talks: Registration of short talks is now closed.
Contact email: If you have any questions, please email us at organisers@cryptoday.pt.
Organisers:
- Alex Davidson, FCT NOVA
- Carlos Cid, Simula UiB
