Login / Signup
Etienne Pons
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Single Pass
Lightweight
Limited Memory
Formal Verification
Top Venues
IACR Cryptol. ePrint Arch.
IEEE Trans. Software Eng.
</>
Publications
</>
Quentin L. Meunier
,
Etienne Pons
,
Karine Heydemann
LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions.
IEEE Trans. Software Eng.
49 (6) (2023)
Quentin L. Meunier
,
Etienne Pons
,
Karine Heydemann
LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions.
IACR Cryptol. ePrint Arch.
2021 (2021)