David Swasey

David Swasey

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4437476
Max Planck Institute for Software Systems
person_outline David Swasey's MOST POPULAR ARTICLES
1-) Iris: Monoids and invariants as an orthogonal basis for concurrent reasoningR Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...ACM SIGPLAN Notices 50 (1), 637-650, 20153822015
2-) Modeling and enhancing android’s permission systemE Fragkaki, L Bauer, L Jia, D SwaseyComputer Security–ESORICS 2012: 17th European Symposium on Research in …, 20121452012
3-) Robust and compositional verification of object capability patternsD Swasey, D Garg, D DreyerProceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017632017
4-) A separate compilation extension to Standard MLD Swasey, T Murphy, K Crary, R HarperProceedings of the 2006 workshop on ML, 32-42, 2006282006
5-) Robust hyperproperty preservation for secure compilationD Garg, C Hritcu, M Patrignani, M Stronati, D SwaseyarXiv preprint arXiv:1710.07309, 201792017