David Swasey

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Topics

Reasoning Systems

Extended Abstract

Biometric Recognition

Model Based Object Recognition

Top Venues

Proc. ACM Program. Lang.

Publications

Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). CoRR (2017)
David Swasey, Deepak Garg, Derek Dreyer
Robust and compositional verification of object capability patterns. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. POPL (2015)
Elli Fragkaki, Lujo Bauer, Limin Jia, David Swasey
Modeling and Enhancing Android's Permission System. ESORICS (2012)
Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey
xDomain: cross-border proofs of access. SACMAT (2009)
David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
A separate compilation extension to standard ML. ML (2006)