Login / Signup
Claude Crépeau
ORCID
Publication Activity (10 Years)
Years Active: 1985-2023
Publications (10 Years): 20
Top Topics
Knowledge Extraction
Theorem Prover
Rgb Color
Formal Proofs
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
IEEE Trans. Inf. Theory
Electron. Colloquium Comput. Complex.
</>
Publications
</>