Owen Arden

Assistant Professor

Computer Science Department
Jack Baskin School of Engineering
UC Santa Cruz
Email:  Turn on JavaScript to view the email address
Office: E2-349A Engineering 2 Building
Office hours: by appointment

Photo: Owen Arden

Research Interests

Developing secure applications is unreasonably hard. Real-world security breaches rarely result from direct attacks on security mechanisms. Instead, attackers take advantage of applications that use these mechanisms incorrectly or violate their assumptions.

Application developers should be domain experts, not security experts. I study language-based approaches to building decentralized and distributed applications that are secure by construction. Using high-level abstractions to synthesize low-level security protocols, programmers can build secure applications without being security experts.

simplify

Selected Publications

Complete list of publications.

Projects

  • Flame
    A library and compiler plugin for GHC enforcing information security in Haskell using flow-limited authorization.