Statistics
Publications
6
Citations
152
H-Index
6
Active since
2018
Carmine Abate is an author at Max Planck Institute for Security and Privacy specializing in computer science, computing, and formal methods.
Publications per year
2018–2023
6
6
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco et al. · 2018 · 32 citations · Full text
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas et al. · 2021 · 22 citations · Full text
1–5 of 6