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