Old Web
English
Sign In
Acemap
>
authorDetail
>
Catalin Hritcu
Catalin Hritcu
Max Planck Society
Computer science
Programming language
Theoretical computer science
Undefined behavior
Adversarial system
3
Papers
19
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
2021
| IEEE Computer Security Foundations Workshop
Carmine Abate
Philipp G. Haselwarter
Exequiel Rivas
Antoine Van Muylder
Théo Winterhalter
Catalin Hritcu
Kenji Maillard
Bas Spitters
Show All
Source
Cite
Save
Citations (0)
Trace-Relating Compiler Correctness and Secure Compilation
2020
ESOP | European Symposium on Programming
Carmine Abate
Roberto Blanco
Ştefan Ciobâcă
Deepak Garg
Catalin Hritcu
Marco Patrignani
Éric Tanter
Jérémy Thibault
Show All
Source
Cite
Save
Citations (15)
Trace-Relating Compiler Correctness and Secure Compilation
2019
arXiv: Programming Languages
Carmine Abate
Roberto Blanco
Ştefan Ciobâcă
Deepak Garg
Catalin Hritcu
Marco Patrignani
Éric Tanter
Jérémy Thibault
Show All
Source
Cite
Save
Citations (4)
1