Follow
David Swasey
David Swasey
BlueRock Security
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning
R Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...
ACM SIGPLAN Notices 50 (1), 637-650, 2015
4252015
Modeling and enhancing android’s permission system
E Fragkaki, L Bauer, L Jia, D Swasey
Computer Security–ESORICS 2012: 17th European Symposium on Research in …, 2012
1442012
Robust and compositional verification of object capability patterns
D Swasey, D Garg, D Dreyer
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
672017
A separate compilation extension to Standard ML
D Swasey, T Murphy, K Crary, R Harper
Proceedings of the 2006 workshop on ML, 32-42, 2006
282006
Robust hyperproperty preservation for secure compilation
D Garg, C Hritcu, M Patrignani, M Stronati, D Swasey
arXiv preprint arXiv:1710.07309, 2017
92017
xDomain: cross-border proofs of access
L Bauer, L Jia, MK Reiter, D Swasey
Proceedings of the 14th ACM symposium on Access control models and …, 2009
72009
Semantics of Type Systems–Lecture Notes.(2018)
D Dreyer, R Jung, JO Kaiser, HH Dang, D Swasey
URL https://courses. ps. uni-saarland. de/sem_ws1718/3/Resources, 2018
62018
Robust and compositional verification of object capability patterns. PACMPL 1, OOPSLA (2017), 89: 1–89: 26
D Swasey, D Garg, D Dreyer
52017
A separate compilation extension to Standard ML (revised and expanded)
D Swasey, TM VII, K Crary, R Harper
Technical Report CMU-CS-06-104R, Carnegie Mellon University, 2006
42006
Semantics of Type Systems Lecture Notes
D Dreyer, S Spies, L Gäher, R Jung, JO Kaiser, HH Dang, D Swasey, ...
July, 2022
32022
A separate compilation extension to Standard ML (working draft)
D Swasey, TM VII, K Crary, R Harper
Technical Report CMU-CS-06-104, School of Computer Science, Carnegie Mellon …, 2006
12006
Robust and Compositional Verification of Object Capability Pa erns (Long Version)
D SWASEY, D GARG, D DREYER
2017
Separate Compilation for Standard ML
D Swasey, VII Tom Murphy, K Crary, R Harper
2005
A Case for Lightweight Interfaces in Coq
D Swasey, PG Giarrusso, G Malecha
xDomain: Cross-border Proofs of Access (CMU-CyLab-09-005)
L Bauer, L Jia, MK Reiter, D Swasey
Carnegie Mellon University, 0
Modeling and Enhancing Android’s Permission System (CMU-CyLab-11-020)
E Fragkaki, L Bauer, L Jia, D Swasey
Carnegie Mellon University, 0
The system can't perform the operation now. Try again later.
Articles 1–16