Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
INRIA, Paris, .
E-mail: trimite un mesaj.
Pagina web a instituţiei: https://www.inria.fr/en/centre/paris
Pagina web personala: http://prosecco.gforge.inria.fr/personal/hritcu/
Nascut(a) in: 1982
Interese: Metode formale in securitate, Analiza si verificarea programelor, Semantica limbajelor de programare, Metode formale
Detalii:
Cercetator
Details:
Researcher
Publicații selectate:
* Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Cãtãlin Hriţcu, Vilhelm Sjöberg, and Brent Yorgey, Software Foundations, Electronic textbook, 2012.
* Gavin M. Bierman, Andrew D. Gordon, Cãtãlin Hriţcu, David Langworthy, Semantic Subtyping with an SMT Solver, Cambridge University Press, Journal of Functional Programming, 1, 2012.
* Michael Backes, Alex Busenius, Catalin Hritcu, On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols, Springer, 4th NASA Formal Methods Symposium (NFM 2012), 2012.
* Michael Backes, Catalin Hritcu, Thorsten Tarrach, Automatically Verifying Typing Constraints for a Data Processing Language, Springer, First International Conference on Certified Programs and Proofs (CPP 2011), 2011.
* Michael Backes, Cãtãlin Hriţcu, Matteo Maffei, Union and Intersection Types for Secure Protocol Implementations, Springer, Theory of Security and Applications (TOSCA'11), Invited paper, 2011.
* Gavin M. Bierman, Andrew D. Gordon, Cătălin Hriţcu, David Langworthy, Semantic Subtyping with an SMT Solver, ACM Press, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), 2010.
* Catalin Hritcu, Jan Schwinghammer, A Step-indexed Semantics of Imperative Objects, Logical Methods in Computer Science (LMCS), 5, 2009.
* Michael Backes, Martin Grochulla, Catalin Hritcu, and Matteo Maffei, Achieving Security Despite Compromise Using Zero-knowledge, IEEE Computer Society Press, 22th IEEE Symposium on Computer Security Foundations (CSF 2009), 2009.
* Michael Backes, Catalin Hritcu, and Matteo Maffei, Type-checking Zero-knowledge, ACM Press, 15th ACM Conference on Computer and Communications Security (CCS 2008), 2008.
* Michael Backes, Catalin Hritcu, and Matteo Maffei, Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus, IEEE Computer Society Press, 21th IEEE Symposium on Computer Security Foundations (CSF 2008), 2008.