Get started
Author

Gustavo Delerue

Observed name: Delerue, Gustavo
ORCID: 0009-0005-6458-1419
Observed ORCID: 0009-0005-6458-1419
OpenAlex ID: A5120513646
Artifact for "Mechanized Proofs of ORAM Correctness, Security, and Failure Bounds"
2026 · Barbosa, Manuel, Barthe, Gilles, et al. · Zenodo (CERN European Organization for Nuclear Research)
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
2025 · José Bacelar Almeida, Manuel Barbosa, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS)
PDF
Works count: 3
Citation count:
H-index:
I10-index:
Year
Topic
Type