Franklin, Jason; Chaki, Sagar; Datta, Anupam; McCune, Jonathan M.; Vasudevan, Amit Parametric verification of address space separation. (English) Zbl 1353.68177 Degano, Pierpaolo (ed.) et al., Principles of security and trust. First international conference, POST 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28640-7/pbk). Lecture Notes in Computer Science 7215, 51-68 (2012). MSC: 68Q60 68N25 PDF BibTeX XML Cite \textit{J. Franklin} et al., Lect. Notes Comput. Sci. 7215, 51--68 (2012; Zbl 1353.68177) Full Text: DOI
Bauer, Lujo; Garriss, Scott; McCune, Jonathan M.; Reiter, Michael K.; Rouse, Jason; Rutenbar, Peter Device-enabled authorization in the grey system. (English) Zbl 1159.68431 Zhou, Jianying (ed.) et al., Information security. 8th international conference, ISC 2005, Singapore, September 20–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29001-X/pbk). Lecture Notes in Computer Science 3650, 431-445 (2005). MSC: 68P25 PDF BibTeX XML Cite \textit{L. Bauer} et al., Lect. Notes Comput. Sci. 3650, 431--445 (2005; Zbl 1159.68431) Full Text: DOI