Testing Noninterference, Quickly ∗ (short talk) C˘at˘alin Hrit¸cu1 John Hughes2 Benjamin C. Pierce1 Antal Spector-Zabusky1 Dimitrios Vytiniotis3 Arthur Azevedo de Amorim1 Leonidas Lampropoulos1 1

First Page		Document Content
Date: 2013-06-24 18:05:00		Testing Noninterference, Quickly ∗ (short talk) C˘at˘alin Hrit¸cu1 John Hughes2 Benjamin C. Pierce1 Antal Spector-Zabusky1 Dimitrios Vytiniotis3 Arthur Azevedo de Amorim1 Leonidas Lampropoulos1 1 Add to Reading List Source URL: csf2013.seas.harvard.edu Download Document from Source Website File Size: 63,35 KB Share Document on Facebook