Discolab Reading Group
Overview
The Discolab Reading Group is a weekly informal seminar for
discussing research papers, emerging problems, and interesting issues
in Computer systems and security.
Participation
This time we are going to select a research group(or a very specific
topic) and read 2 or 3 papers of that group each week. The only
requirement for joining the group and attending is that you will have
to read the papers for each week, and present papers on some of the
weeks as we rotate presenters.
Location
&
Time: Core B, 3:00pm on Thursday
Schedule
| June
10 |
Paper 1: Speculative
Execution In A Distributed File System, SOSP 05.
Presenter: Liu
Paper 2: Rethink
the Sync, OSDI 06
Presenter: Shakeel
Paper 3: Parallelizing
Security Checks on Commodity Hardware, ASPLOS 08
Presenter: Nishat
|
| June 17 |
Paper 1:
Safe
Kernel Extensions Without Run-Time Checking, OSDI 96.
Presenter: Rezwana
Paper 2: Proof-Carrying
Code, POPL 97
Presenter: Shakeel
|
| June
24 |
Paper 1: The
Design and Implementation of a Certifying Compiler, PLDI 98
Presenter: Liu
Paper 2:
CCured: Type-Safe Retrofitting of Legacy Code, POPL 02
Presenter: Amruta
|
| July 8 |
Paper 1:
Dingo: Taming Device Drivers, Eurosys 2009.
Presenter: Rezwana
Paper 2: Automatic Device Driver Synthesis with Termite, SOSP 2009
Presenter: Shakeel
|
| July 15 |
Paper 1: Shield: Vulnerability Driven
Network Filters for Preventing Known Vulnerability Exploits, Sigcomm 2004
Presenter: Amruta
Paper 2: NetShield: Massive Semantics-based Vulnerability
Signature Matching for High-speed Networks, Sigcomm 2010
Presenter: Liu
|
| July 22 |
Paper 1:
Native Client: A Sandbox for Portable, Untrusted x86 Native Code, Oakland 2009.
Presenter: Shakeel
Paper 2: Leveraging Legacy Code to Deploy Desktop Applications on the Web, OSDI 2008
Presenter: Amruta
|
| July 30 |
Paper 1: VEX: Vetting Browser Extensions For Security Vulnerabilities, Usenix Security 2010
Presenter: Nishat
Paper 2: Securing Script-Based Extensibility in Web Browsers, Usenix Security 2010
Presenter: Rezwana
|
| August 5 |
Paper 1:
Evaluating SFI for a CISC Architecture, Usenix Security 2006.
Presenter: Amruta
Paper 2: Adapting Software Fault Isolation to Contemporary CPU Architecture, Usenix Security 2010
Presenter: Shakeel
|
|