conf.researchr.org / Omar Cardona
Not registered as user yet
Name:Omar Cardona
Affiliation:Microsoft
Contributions
| PLDI 2022 | Author of Hardening Attack Surfaces with Formally Proven Binary Format Parsers within the PLDI-track |
Not registered as user yet
Contributions
| PLDI 2022 | Author of Hardening Attack Surfaces with Formally Proven Binary Format Parsers within the PLDI-track |