de Amorim, Arthur Azevedo
- SECOMP: Formally Secure Compilation of Compartmentalized C Programs
2024/01/29 by Jérémy Thibault, Thibault, Jérémy, Roberto Blanco +14 · 2 voices
Computer Science · #Advanced Data Storage Technologies #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.CR #cs.PL
- The Meaning of Memory Safety
2017/05/20 by de Amorim, Arthur Azevedo, Hritcu, Catalin, Pierce, Benjamin C. · 2 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- A Verified Information-Flow Architecture
2015/09/22 by de Amorim, Arthur Azevedo, Collins, Nathan, DeHon, André +6 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Probabilistic Relational Reasoning via Metrics
2018/07/13 by Arthur Azevedo de Amorim, de Amorim, Arthur Azevedo, Marco Gaboardi +5 · 1 citation
Computer Science · Social Sciences · #Cryptography and Data Security #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL)
- Kleene algebra with commutativity conditions is undecidable
2024/11/24 by de Amorim, Arthur Azevedo, Zhang, Cheng, Gaboardi, Marco · 1 citation
#Computation and Language (cs.CL) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)