Registered user since Wed 16 Feb 2022
Name:Roberto Blanco
Country:Germany
Affiliation:MPI-SP
Contributions
| PriSC 2023 | SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile