A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino. A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. In Pierpaolo Degano, Joshua D. Guttman, editors, 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. Volume 7215 of Lecture Notes in Computer Science, pages 369-389, Springer, 2012. [doi]

This author has not been identified. Look up 'Torben Amtoft' in GoogleThis author has not been identified. Look up 'Josiah Dodds' in GoogleThis author has not been identified. Look up 'Zhi Zhang' in GoogleIdentified as Andrew W. Appel This author has not been identified. Look up 'Lennart Beringer' in GoogleThis author has not been identified. It may be one of the following persons:

John Hatcliff

Look up 'John Hatcliff' in GoogleThis author has not been identified. Look up 'Xinming Ou' in GoogleThis author has not been identified. Look up 'Andrew Cousino' in Google

runs on WebDSL