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
PLDI 2024-profile
View general profile
View general profile