Tolmach, Andrew
- SECOMP: Formally Secure Compilation of Compartmentalized C Programs
2024/01/29 by Jérémy Thibault, Roberto Blanco, Thibault, Jérémy +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
- 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)