Obserwuj
Arthur Azevedo de Amorim
Tytuł
Cytowane przez
Cytowane przez
Rok
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
125*2014
Programming language foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Proc.{ACM} Program. Lang. 32, 106, 2020
106*2020
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
882015
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 2013
79*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
722017
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
532016
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
492018
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
472018
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
362014
Software Foundations Volume 1: Logical Foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
University of Pennsylvania, 2018
32*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
232022
Software Foundations. Electronic textbook. Version 4.0
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
192016
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
172020
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
152015
Binding operators for nominal sets
AA de Amorim
Electronic Notes in Theoretical Computer Science 325, 3-27, 2016
92016
A methodology for micro-policies
AA De Amorim
University of Pennsylvania, 2017
82017
Automating compositional analysis of authentication protocols
Z Zhang, AA De Amorim, L Jia, CS Pasareanu
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 113-118, 2020
52020
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
52015
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20