Personal information

No personal information available

Activities

Collapse all

Employment (1)

Amazon Web Services: Arlington, VA, US

2022 to present | Applied Scientist
Employment
Source: Self-asserted source
Craig Disselkoen

Education and qualifications (1)

University of California, San Diego: San Diego, CA, US

2016-09 to 2022-04 | PhD (Computer Science and Engineering)
Education
Source: Self-asserted source
Craig Disselkoen

Works (3)

How We Built Cedar: A Verification-Guided Approach

2024-07-10 | Conference paper
DOI: 10.1145/3663529.3663854
Contributors: Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks; Kesha Hietala; John Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta et al.
Source: check_circle
Crossref

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

Proceedings of the ACM on Programming Languages
2024-04-29 | Journal article
DOI: 10.1145/3649835
Contributors: Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks; Kesha Hietala; Eleftherios Ioannidis; John Kastner; Anwar Mamat et al.
Source: check_circle
Crossref

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Proceedings of the ACM on Programming Languages
2023-01-09 | Journal article
DOI: 10.1145/3571208
Contributors: Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena et al.
Source: check_circle
Crossref
How many people are using ORCID?