Catalin Hritcu

发表

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2017, POST.
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2016, POPL.
Roberto Blanco, Benjamin C. Pierce, Catalin Hritcu, 2018, CCS.
Santiago Zanella Béguelin, K. Bhargavan, Antoine Delignat-Lavaud, 2016, POPL.
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2015 .
B. Pierce, G. Morrisett, Catalin Hritcu, 2012 .
Marco Patrignani, Deepak Garg, Carmine Abate, 2017 .
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016 .
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2014 .
Stephan Merz, Sébastien Tixeuil, Leslie Lamport, 2013 .
Catalin Hritcu, G. Bierman, D. Langworthy, 2010, ICFP '10.
Catalin Hritcu, D. Garg, Roberto Blanco, 2021, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Catalin Hritcu, Mathias Payer, D. Garg, 2017 .
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2015 .
Exequiel Rivas, Catalin Hritcu, Kenji Maillard, 2019, Proc. ACM Program. Lang..
Robert Atkey, Exequiel Rivas, Catalin Hritcu, 2019, Proc. ACM Program. Lang..
Nikhil Swamy, Chris Hawblitzel, Rustan Leino, 2017, SNAPL.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, Proc. ACM Program. Lang..
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2019, ESOP.
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, Proc. ACM Program. Lang..
Philipp G. Haselwarter, Catalin Hritcu, Théo Winterhalter, 2024, IACR Cryptol. ePrint Arch..
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2015, ITP.
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Ana Nora Evans, 2017, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Nikhil Swamy, Chris Hawblitzel, Catalin Hritcu, 2018, 1803.06547.
Michael Backes, Catalin Hritcu, Alex Busenius, 2012, NASA Formal Methods.
Michael Backes, Catalin Hritcu, Thorsten Tarrach, 2011, CPP.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2011, TOSCA.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2008, CCS.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Jan Schwinghammer, Catalin Hritcu, Catalin Hritcu, 2009, Log. Methods Comput. Sci..
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Jonathan M. Smith, Benjamin C. Pierce, Thomas F. Knight, 2015, ASPLOS.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..
Nikhil Swamy, Cédric Fournet, Kenji Maillard, 2018 .
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, ArXiv.
Benjamin C. Pierce, J. Gregory Morrisett, Catalin Hritcu, 2013, 2013 IEEE Symposium on Security and Privacy.
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2016, POPL.
Bas Spitters, Théo Winterhalter, Exequiel Rivas, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).