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 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