Collaborative verification of information flow for a high-assurance app store

Download: PDF, slides(pdf), SPARTA toolset.

“Collaborative verification of information flow for a high-assurance app store” by Michael D. Ernst, René Just, Suzanne Millstein, Werner M. Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, and Edward X. Wu. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), (Scottsdale, AZ, USA), November 4-6 2014, pp. 1092-1104.

BibTeX entry:

@inproceedings{ErnstJMDPRKBBHVW2014b,
   author = {Michael D. Ernst and Ren{\'e} Just and Suzanne Millstein and
	Werner M. Dietl and Stuart Pernsteiner and Franziska Roesner and
	Karl Koscher and Paulo Barros and Ravi Bhoraskar and Seungyeop Han
	and Paul Vines and Edward X. Wu},
   title = {Collaborative verification of information flow for a
	high-assurance app store},
   booktitle = {Proceedings of the ACM Symposium on Operating Systems
	Principles (SOSP)},
   pages = {1092--1104},
   address = {Scottsdale, AZ, USA},
   month = {November~4--6},
   year = {2014}
}

Back to all publications

---

(This page was created with bibtex2web.)