| A verified information-flow architecture A Azevedo de Amorim, N Collins, A DeHon, D Demange, C Hriţcu, ... Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 124 | 2014 |
| Programming language foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Software Foundations series 2, 2018 | 95* | 2018 |
| Micro-policies: Formally verified, tag-based security monitors AA De Amorim, M Dénès, N Giannarakis, C Hritcu, BC Pierce, ... 2015 IEEE Symposium on Security and Privacy, 813-830, 2015 | 90 | 2015 |
| Testing noninterference, quickly C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ... ACM SIGPLAN Notices 48 (9), 455-468, 2013 | 80* | 2013 |
| A semantic account of metric preservation A Azevedo de Amorim, M Gaboardi, J Hsu, S Katsumata, I Cherigui ACM SIGPLAN Notices 52 (1), 545-556, 2017 | 70 | 2017 |
| Beyond good and evil: Formalizing the security guarantees of compartmentalizing compilation Y Juglaret, C Hritcu, AA De Amorim, B Eng, BC Pierce 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 45-60, 2016 | 53 | 2016 |
| The meaning of memory safety A Azevedo de Amorim, C Hriţcu, BC Pierce Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018 | 48 | 2018 |
| When good components go bad: Formally secure compilation despite dynamic compromise C Abate, A Azevedo de Amorim, R Blanco, AN Evans, G Fachini, C Hritcu, ... Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 47 | 2018 |
| Probabilistic relational reasoning via metrics AA de Amorim, M Gaboardi, J Hsu, S Katsumata 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-19, 2019 | 42* | 2019 |
| Really natural linear indexed type checking AA De Amorim, M Gaboardi, EJ Gallego Arias, J Hsu Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014 | 36 | 2014 |
| Software Foundations Volume 1: Logical Foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... University of Pennsylvania, 2018 | 33* | 2018 |
| On incorrectness logic and Kleene algebra with top and tests C Zhang, AA de Amorim, M Gaboardi Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 22 | 2022 |
| Reconciling noninterference and gradual typing AA de Amorim, M Fredrikson, L Jia Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 17 | 2020 |
| Software Foundations. Version 5.0 BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... | 17 | 2017 |
| Towards a fully abstract compiler using micro-policies: Secure compilation for mutually distrustful components Y Juglaret, C Hritcu, AA de Amorim, BC Pierce, A Spector-Zabusky, ... arXiv preprint arXiv:1510.00697, 2015 | 15 | 2015 |
| Binding operators for nominal sets AA de Amorim Electronic Notes in Theoretical Computer Science 325, 3-27, 2016 | 9 | 2016 |
| A methodology for micro-policies AA De Amorim University of Pennsylvania, 2017 | 8 | 2017 |
| Automating Compositional Analysis of Authentication Protocols. Z Zhang, AA de Amorim, L Jia, CS Pasareanu FMCAD, 113-118, 2020 | 5 | 2020 |
| Towards a fully abstract compiler using micro-policies: Secure compilation for mutually distrustful components. CoRR abs/1510.00697 (2015) Y Juglaret, C Hritcu, AA de Amorim, BC Pierce, A Spector-Zabusky, ... arxiv. org/abs/1510.00697, 2015 | 5 | 2015 |
| Kleene Algebra with Commutativity Conditions Is Undecidable A Azevedo de Amorim, C Zhang, M Gaboardi 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 36: 1-36: 25, 2025 | 3* | 2025 |
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
