ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Filipe Marques

Registered user since Wed 4 May 2022

Name:Filipe Marques
Country:Portugal
Affiliation:INESC-ID / Instituto Superior Tecnico, University of Lisbon
Research interests:Security, Formal Methods, Software Verification

Contributions

ECOOP 2022 Concolic Execution for WebAssembly
Show activities from other conferences

Using general profile