Cătălin Hriţcu

Statistics

Publications

Citations

1.4K

H-Index

Active since

2008

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Pennsylvania

State Key Laboratory of Cryptology

Microsoft Research (United Kingdom)

Microsoft (United States)

Cătălin Hriţcu is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2008–2023

Publications

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text

Computing, Computer Science, Formal Methods +16

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

Michael Backes, Cătălin Hriţcu, Matteo Maffei · 2008 · 148 citations

Computing, Computer Science, Computer Systems +17

Verified low-level programming embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi et al. · Proceedings of the ACM on Programming Languages · 2017 · 102 citations · Full text

Computing, Computer Engineering, Computer Science +15

Architectural Support for Software-Defined Metadata Processing

Udit Dhawan, Cătălin Hriţcu, Raphael Rubin et al. · 2015 · 77 citations · Full text

Engineering, Computer Engineering, Computer Science +15

All Your IFCException Are Belong to Us

Cătălin Hriţcu, Michael Greenberg, Ben Karel et al. · 2013 · 61 citations · Full text

Computing, Computer Science, Computer Systems +17

1–5 of 29