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