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 - John Arthur - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2013-06-24 18:05:00 Open Document File Size: 63,35 KB Share Result on Facebook

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 1Add to Reading List