Artykuły udostępnione publicznie: - Arthur Azevedo de AmorimWięcej informacji
Dostępne w jakimś miejscu: 12
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
Upoważnienia: US National Science Foundation
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
Upoważnienia: US National Science Foundation
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
Upoważnienia: US National Science Foundation, US Department of Defense, European Commission
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
Upoważnienia: US National Science Foundation, US Department of Defense, European Commission
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
Upoważnienia: US National Science Foundation
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
Upoważnienia: US National Science Foundation
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
Upoważnienia: US National Science Foundation
Binding operators for nominal sets
AA de Amorim
Electronic Notes in Theoretical Computer Science 325, 3-27, 2016
Upoważnienia: US National Science Foundation
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
J Thibault, R Blanco, D Lee, S Argo, A Azevedo de Amorim, AL Georges, ...
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
Upoważnienia: European Commission
Bunched fuzz: Sensitivity for vector metrics
J Wunder, AA Amorim, P Baillot, M Gaboardi
European Symposium on Programming, 451-478, 2023
Upoważnienia: US National Science Foundation, Agence Nationale de la Recherche
Netter: Probabilistic, stateful network models
H Zhang, C Zhang, A Azevedo de Amorim, Y Agarwal, M Fredrikson, L Jia
Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021
Upoważnienia: US National Science Foundation, US Department of Defense
Pipelines and Beyond: Graph Types for ADTs with Futures
F Rinaldi, june wunder, A Azevedo de Amorim, SK Muller
Proceedings of the ACM on Programming Languages 8 (POPL), 482-511, 2024
Upoważnienia: US National Science Foundation
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy