Hi!
I propose the following papers for the next reading group on June 3rd. Please vote which paper you would like to see presented until Tuesday, May 28th.
[ ] seL4: Formal verification of an OS kernel G. Klein et al. Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009; Best Paper Award! http://ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf
[ ] Comprehensive Experimental Analyses of Automotive Attack Surfaces. S. Checkoway et al. USENIX Security, August 10–12, 2011. http://www.autosec.org/pubs/cars-usenixsec2011.pdf
[ ] Gone in 360 Seconds: Hijacking with Hitag2 R. Verdult and F. D. Garcia, J. Balasch, ESAT/COSIC and IBBT, 2012. https://www.usenix.org/system/files/conference/usenixsecurity12/sec12-final9...
-Michal
Hi,
since I got only two votes I break the tie by selecting the following paper:
[ ] Comprehensive Experimental Analyses of Automotive Attack Surfaces. S. Checkoway et al. USENIX Security, August 10–12, 2011. http://www.autosec.org/pubs/cars-usenixsec2011.pdf
Best regards, -Michal
reading-group@rtime.felk.cvut.cz