ACM DL Author-ize serviceA monadic framework for relational verification: applied to information security, program equivalence, and optimizations
Niklas Grimm, Kenji Maillard, Cédric Fournet, Cătălin Hriţcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
CPP 2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
ACM DL Author-ize serviceRecalling a witness: foundations and applications of monotonic state
Danel Ahman, Cédric Fournet, Cătălin Hriţcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Proceedings of the ACM on Programming Languages, 2017
ACM DL Author-ize serviceVerified low-level programming embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
Proceedings of the ACM on Programming Languages, 2017
ACM DL Author-ize serviceBeginner's luck: a language for property-based generators
Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
ACM DL Author-ize serviceDijkstra monads for free
Danel Ahman, Cătălin Hriţcu, Kenji Maillard, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
ACM DL Author-ize serviceDependent types and multi-monadic effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin
POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
ACM DL Author-ize serviceMicro-Policies: Formally Verified, Tag-Based Security Monitors
Cǎtǎlin Hriţcu
PLAS'15 Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015
ACM DL Author-ize serviceArchitectural 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, Andre DeHon
ASPLOS '15 Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015
ACM DL Author-ize serviceThe Joint EasyCrypt-F*-CryptoVerif School 2014
Cătălin Hriţcu
ACM SIGLOG News, 2015
ACM DL Author-ize serviceA verified information-flow architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
ACM DL Author-ize serviceTesting noninterference, quickly
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
ICFP '13 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, 2013
ACM DL Author-ize serviceSemantic subtyping with an SMT solver
Gavin M. Bierman, Andrew D. Gordon, Cătălin Hriţcu, David Langworthy
ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010
ACM DL Author-ize serviceType-checking zero-knowledge
Michael Backes, Cǎtǎlin Hritcu, Matteo Maffei
CCS '08 Proceedings of the 15th ACM conference on Computer and communications security, 2008