CFAIL 2023 | CFAIL (original) (raw)

"Bogus Quantum Algorithms"

by Samuel Jaques (pdf)​

​

"Locally Verifiable Signatures and Cryptographic Accumulators: different names, same thing?"

by Anaïs Barthoulot, Olivier Blazy, and Sebastien Canard (pdf)

​

​ "Garbling 3-input AND gates"

by Tomer Ashur, Carmit Hazay, and Rahul Satish (pdf)

​​

​

​

"Higher dimensional isogenies are hard to work with"

Invited talk by Luciano Maino

"Bogus Quantum Algorithms"

by Samuel Jaques

"Locally Verifiable Signatures and Cryptographic Accumulators: different names, same things?"

talk by Anaïs Barthoulot

"Garbling 3-input AND gates"

talk by Rahul Satish

The CFAIL 2023 Program Committee

​

Allison Bishop, Proof Trading and City College, CUNY (General Chair)

Katharina Boudgoust, Aarhus University

Sofía Celi, Brave Software

Siemen Dhooghe, KU Leuven

Orr Dunkelman, University of Haifa

Agnese Gini, University of Luxembourg

Siyao Guo, NYU Shanghai

Akiko Inoue, NEC

Nadim Kobeissi, Nym Technologies SA

Chloe Martindale, University of Bristol

Nicky Mouha, NIST

Tamalika Mukherjee, Purdue University

Miyako Ohkubo, NICT

Emmanuela Orsini, Bocconi University

Jeongeun Park, KU Leuven (Program Chair)

Hilder Vitor Lima Pereira, KU Leuven

Rachel Player, Royal Holloway London

Antigoni Polychroniadou, J.P. Morgan

Carla Rafols, Universitat Pompeu Fabra

Benjamin Smith, Inria

Anupama Unnikrishnan, ETH Zürich

Alexandre Wallet, Inria Rennes

Arantxa Zapico, Ethereum Foundation.

Mark Zhandry, NTT Research