Simon Le Bail-Collet

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Theorem Proving

Expert Knowledge

Data Mining Techniques

Top Venues

Publications

Wouter Lueks, Bogdan Kulynych, Jules Fasquelle, Simon Le Bail-Collet, Carmela Troncoso
zksk: A Library for Composable Zero-Knowledge Proofs. CoRR (2019)
Wouter Lueks, Bogdan Kulynych, Jules Fasquelle, Simon Le Bail-Collet, Carmela Troncoso
zksk: A Library for Composable Zero-Knowledge Proofs. WPES@CCS (2019)