Cătălin Hrițcu
Cătălin Hrițcu
Tenured Researcher at MPI for Security and Privacy
Verified email at csp.mpg.de - Homepage
Title
Cited by
Cited by
Year
Dependent types and multi-monadic effects in F*
N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ...
43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2016
2302016
Automated verification of remote electronic voting protocols in the applied pi-calculus
M Backes, C Hritcu, M Maffei
21st IEEE Computer Security Foundations Symposium (CSF'08), 195-209, 2008
2282008
Software foundations
BC Pierce, A Azevedo de Amorim, C Casinghino, M Gaboardi, ...
Course notes, online at http://www.cis.upenn.edu/~bcpierce/sf, 2016
171*2016
Type-checking zero-knowledge
M Backes, C Hritcu, M Maffei
15th ACM Conference on Computer and Communications Security (CCS 2008), 357-370, 2008
862008
Verified Low-Level Programming Embedded in F*
J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ...
22nd ACM SIGPLAN International Conference on Functional Programming (ICFP), 2017
85*2017
A verified information-flow architecture
A Azevedo de Amorim, N Collins, A DeHon, D Demange, C Hritcu, ...
POPL 2014, 165-178, 2014
852014
Architectural support for software-defined metadata processing
U Dhawan, C Hritcu, R Rubin, N Vasilakis, S Chiricescu, JM Smith, ...
Proceedings of the Twentieth International Conference on Architectural …, 2015
792015
Semantic subtyping with an SMT solver
GM Bierman, AD Gordon, C Hriţcu, D Langworthy
15th ACM SIGPLAN International Conference on Functional Programming (ICFP …, 2010
782010
All Your IFCException Are Belong To Us
C Hritcu, M Greenberg, B Karel, BC Pierce, G Morrisett
34th IEEE Symposium on Security and Privacy (Oakland 2013), 2013
762013
Foundational Property-Based Testing
Z Paraskevopoulou, C Hritcu, M Dénès, L Lampropoulos, BC Pierce
6th International Conference on Interactive Theorem Proving (ITP), 325-343, 2015
602015
Testing noninterference, quickly
C Hriţcu, L Lampropoulos, A Spector-Zabusky, AA De Amorim, M Dénès, ...
Journal of Functional Programming 26, 2016
592016
Micro-Policies: Formally Verified, Tag-Based Security Monitors
A Azevedo de Amorim, M Dénes, N Giannarakis, C Hritcu, BC Pierce, ...
36th IEEE Symposium on Security and Privacy, 2015
452015
Union and intersection types for secure protocol implementations
M Backes, C Hritcu, M Maffei
Theory of Security and Applications (TOSCA’11), 2011
44*2011
Everest: Towards a verified, drop-in replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
422017
Dijkstra Monads for Free
D Ahman, C Hritcu, K Maillard, G Martinez, G Plotkin, J Protzenko, ...
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL …, 2017
392017
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
Y Juglaret, C Hritcu, AA de Amorim, B Eng, BC Pierce
29th IEEE Symposium on Computer Security Foundations (CSF), 45--60, 2016
372016
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault
32nd IEEE Computer Security Foundations Symposium (CSF), 256--271, 2019
34*2019
Achieving security despite compromise using zero-knowledge
M Backes, MP Grochulla, C Hritcu, M Maffei
22nd IEEE Computer Security Foundations Symposium (CSF'09), 308-323, 2009
342009
Beginner's Luck: A Language for Property-Based Generators
L Lampropoulos, D Gallois-Wong, C Hritcu, J Hughes, BC Pierce, L Xia
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017
272017
Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations
M Backes, C Hriţcu, M Maffei
Journal of Computer Security 22 (2), 301-353, 2014
262014
The system can't perform the operation now. Try again later.
Articles 1–20