Registered user since Mon 5 Jul 2021

Name:Eric Rothstein-Morris
Country:Singapore
Affiliation:Singapore University of Technology and Design

Contributions

VMCAI 2020 Author of Systematic Classification of Attackers via Bounded Model Checking within the VMCAI 2020-track