reading-group

reading-group@rtime.felk.cvut.cz

90 discussions

Schedule
by Michal Sojka 31 Jan '14

31 Jan '14

Hi all! Based on our today's discussion, the schedule of the reading group will be the following. The next reading group will take place on Friday, Feb 7 at 10:00. Honza Dvorak will send us which paper we should read ASAP. Staring from February 17, the reading groups will move to Mondays from 13:15 to 14:15. We will try to stick to regular bi-weekly schedule. Best regards, -Michal

1 0

Paper for reading group on December 6th
by Yasmina Seddik 22 Nov '13

22 Nov '13

Dear colleagues, please find attached the paper I will present at the reading group session on December 6th. I propose to focus on the online result, hence we can skip section 3. Best, Yasmina

1 0

Next reading group
by Michal Sojka 01 Nov '13

01 Nov '13

Hi all, the next reading group will take place on November 15. Martin Hořeňovský will present the following paper. SymDrive: Testing Drivers without Devices Matthew J. Renzelmann, Asim Kadav and Michael M. Swift, Computer Sciences Department, University of Wisconsin–Madison https://www.usenix.org/system/files/conference/osdi12/osdi12-final-4.pdf See also https://rtime.felk.cvut.cz/reading-group/. Best regards, -Michal

1 0

Next Reading-group: 1st of November
by Rostislav Lisovy 01 Nov '13

01 Nov '13

Dear colleagues; The next reading group will be held on Friday 1st of November at 10 am. The presented paper will be: seL4: Formal verification of an OS kernel Gerwin Klein et al., NICTA, Sydney, Australia http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf Regards; Rosta

2 1

When?
by Michal Sojka 04 Oct '13

04 Oct '13

Hi list! We need to decide when will be the regular time for reading groups. Please indicate your availability at http://doodle.com/canht2gg9wmqv7ug by Wednesday Oct 9. Ignore the actual dates, consider only days in the week. Thank you, -Michal

1 0

the paper for reading group
by ahmadaas＠fel.cvut.cz 30 Sep '13

30 Sep '13

Hello .. the paper for reading group will be TDBS: a time division beacon scheduling mechanism for ZigBee cluster-tree wireless sensor networks http://link.springer.com/article/10.1007%2Fs11241-008-9063-4 Best regards Aasem;

2 1

Next paper
by Michal Sojka 03 Jul '13

03 Jul '13

Hi, the next paper will be presented either by me or by Radek Matějka on July 8 (12:45). The paper is: O. Hartkopp, C. Reuber, R. Schilling: MaCAN - Message Authenticated CAN, ESCAR 2012. and can be obtained from: https://rtime.felk.cvut.cz/~sojka/tmp/MaCAN-ESCAR2012-final.pdf The goal of the session is to find whether the proposed protocol suffers from some weaknesses that can be exploited by attackers. Best regards, -Michal

1 0

Paper-reading-group - extracted pages.
by Libor Bukata 19 Jun '13

19 Jun '13

Hi, the pages of the book were extracted. You can find them in the attachment. Best regards, Libor

1 0

The topic of the next presentation.
by Libor Bukata 18 Jun '13

18 Jun '13

Hello, the next presentation will be about Langrangian relaxation and its application to combinatorial problems. The most relevant source of information is the book "Network flows" by Ahuja. To be more particular, pages 615-619, 622-632 (from the page 598 according to the book pagination). Best regards, Libor

1 0

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

← Newer
1
2
3
4
5
6
7
8
9
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

reading-group