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 | 425 | 2015 |
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 | 144 | 2012 |
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 | 67 | 2017 |
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 | 28 | 2006 |
Robust hyperproperty preservation for secure compilation D Garg, C Hritcu, M Patrignani, M Stronati, D Swasey arXiv preprint arXiv:1710.07309, 2017 | 9 | 2017 |
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 | 7 | 2009 |
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 | 6 | 2018 |
Robust and compositional verification of object capability patterns. PACMPL 1, OOPSLA (2017), 89: 1–89: 26 D Swasey, D Garg, D Dreyer | 5 | 2017 |
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 | 4 | 2006 |
Semantics of Type Systems Lecture Notes D Dreyer, S Spies, L Gäher, R Jung, JO Kaiser, HH Dang, D Swasey, ... July, 2022 | 3 | 2022 |
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 | 1 | 2006 |
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 | | |