May 2013 - reading-group - list.iid.ciirc.cvut.cz

Voting for June 3rd
by Michal Sojka 29 May '13

29 May '13

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-final… -Michal

1 1

Invitation to connect on LinkedIn
by Asem Ahmad 19 May '13

19 May '13

LinkedIn ------------ I'd like to add you to my professional network on LinkedIn. - Asem Asem Ahmad researcher at cvut Czech Republic Confirm that you know Asem Ahmad: https://www.linkedin.com/e/-vys0ek-hgw0e2c8-e/isd/13394841917/g2AbqzYd/?hs=… -- You are receiving Invitation to Connect emails. Click to unsubscribe: http://www.linkedin.com/e/-vys0ek-hgw0e2c8-e/kojw1NaL-puAdZE08o4FWg6h1y3Fd0… (c) 2012 LinkedIn Corporation. 2029 Stierlin Ct, Mountain View, CA 94043, USA.

1 0

ahmadaas@fel.cvut.cz
by asem ahmad 16 May '13

16 May '13

1 0

The next paper
by Zdeněk Bäumelt 13 May '13

13 May '13

Hi everyone, The paper presented on 20th of May will be: Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. Local Search for Shift Design <http://www.sciencedirect.com/science?_ob=MiamiImageURL&_cid=271700&_user=64 0811&_pii=S0377221703000985&_check=y&_origin=article&_zone=toolbar&_coverDat e=2004-Feb-16&view=c&originContentFamily=serial&wchp=dGLzVlt-zSkzk&md5=cd0d1 89b427896fb44b47206af4edb09&p> . European Journal of Operational Research, 153(1), 51-64, 2004. Cheers, Zdenek Baumelt

1 0