Items where Author is "Hritcu, Catalin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Abate, Carmine and Blanco, Roberto and Ciobaca, Stefan and Durier, Adrien and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Tanter, Éric and Thibault, Jérémy
(2020) Trace-Relating Compiler Correctness and Secure Compilation.
In: Programming Languages and Systems.
Conference: ESOP European Symposium on Programming

Abate, Carmine and Blanco, Roberto and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Thibault, Jeremy
(2019) Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.
In: csf.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2018) A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018.

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2017) A Monadic Framework for Relational Verification (Functional Pearl).
CoRR, abs/17.

This list was generated on Wed Apr 24 21:30:30 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.