Catalin Hritcu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
10
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs. | Jrmy Thibault, Joseph Lenormand, Catalin Hritcu |
| 2024 | CCS | SECOMP: Formally Secure Compilation of Compartmentalized C Programs. | Jrmy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Ana Linn Georges, Catalin Hritcu, Andrew Tolmach |
| 2024 | CPP | The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. | Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Tho Winterhalter, Catalin Hritcu, Bas Spitters |
| 2020 | ESOP | Trace-Relating Compiler Correctness and Secure Compilation. | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, ric Tanter, Jrmy Thibault |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2018 | CCS | When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. | Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Tho Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | POPL | Dijkstra monads for free. | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martnez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
| 2017 | POPL | Beginner's luck: a language for property-based generators. | Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2015 | ASPLOS | Architectural Support for Software-Defined Metadata Processing. | Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, Andr DeHon |
| 2015 | ECOOP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Catalin Hritcu |
| 2015 | ITP | Foundational Property-Based Testing. | Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dns, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |
| 2014 | POPL | A verified information-flow architecture. | Arthur Azevedo de Amorim, Nathan Collins, Andr DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
| 2013 | SP | All Your IFCException Are Belong to Us. | Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett |
| 2011 | CPP | Automatically Verifying Typing Constraints for a Data Processing Language. | Michael Backes, Catalin Hritcu, Thorsten Tarrach |
| 2010 | ICFP | Semantic subtyping with an SMT solver. | Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
| 2008 | CCS | Type-checking zero-knowledge. | Michael Backes, Catalin Hritcu, Matteo Maffei |
| 2005 | SYNASC | A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication. | Catalin Hritcu, Sabin C. Buraga |