Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Justine Sauvage
Observed name:
Sauvage, Justine
Institution:
PROSECCO: Programming securely with cryptography
Observed institutions:
Centre National de la Recherche Scientifique,
Institut national de recherche en sciences et technologies du numérique,
Institut de Recherche en Informatique et Systèmes Aléatoires,
Centre Inria de Paris,
PROSECCO: Programming securely with cryptography,
Université de Rennes
show all 6
ORCID:
0009-0006-2574-2256
Observed ORCID:
0009-0006-2574-2256
OpenAlex ID:
A5115053581
Termination of Ethereum’s Smart Contracts
2020
·
Thomas Genet
, Thomas Jensen
, et al.
·
International Joint Conference on e-Business and Telecommunications (ICETE)
·
19
High-resolution platinum group elements and C-isotope analyses across the KT boundary in the Denver Basin
2010
·
Justine Sauvage
, Steven Goderis
, et al.
·
VUBIR (Vrije Universiteit Brussel)
·
3
Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol -- Artifacts
2025
·
Sauvage, Justine
, Koutsos, Adrien
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
·
1
Foundations for Cryptographic Reductions in CCSA Logics
2024
·
David Baelde
, Adrien Koutsos
, et al.
·
ACM SIGSAC Conference on Computer and Communications Security (CCS)
·
1
Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol
2026
·
Baelde, David
, Koutsos, Adrien
, et al.
·
HAL
PDF
Artifact for "Foundations for Cryptographic Reductions in CCSA Logics"
2024
·
Baelde, David
, Koutsos, Adrien
, et al.
·
HAL
Cryptographic Reductions By Bi-Deduction
2024
·
Baelde, David
, Koutsos, Adrien
, et al.
·
HAL
PDF
Show more works
View as search
Works count:
7
Citation count:
24
H-index:
2
I10-index:
1
Year
Topic
Type
