Registered user since Sat 22 Jan 2022
Name:Scott Moore
Country:United States
Affiliation:Galois, Inc.
Personal website: https://thinkmoore.net
GitHub: https://github.com/thinkmoore
Research interests:Security, Program Analysis
Contributions
POPL 2022-profile
View general profile
View general profile