Registered user since Fri 23 Oct 2015
Name:Owen Arden
Country:United States
Affiliation:UC Santa Cruz
Personal website: https://users.soe.ucsc.edu/~owen/
Research interests:language-based security, information flow control, authorization logic, distributed systems
Contributions
POPL 2022-profile
View general profile
View general profile