Time: Tuesday 1:00pm-2:00pm, Room: ISIS
large conference room.
Web: http://vanets.vuse.vanderbilt.edu/~xue/security_readinggroup.html
Description:
The reading group aims at
understanding the recent research results in the field of computer and network
security and stimulating an exchange of new ideas. The papers will be selected from top conferences and
journals in the field of security, operating system, embedded system,
distributed system, hardware, network, including but not
limited to: CCS, SSP, Security, SOSP/OSDI, HotOS, SigComm, MobiCom, SenSys,
ISCA, MICRO, etc. Each participant needs to read the paper before the meeting.
In each meeting, one student will make a presentation (30-40 minute) and lead
the discussion of one paper.
 |
Feng Qin, Joe Tucek, Jagadeesan Sundaresan and Yuanyuan
Zhou,
Rx:
Treating bugs as allergies---a safe method to survive software failure,
in Proc. of SOSP'05. |
|
|
Andrew Whitaker, Marianne Shaw, and Steven D. Gribble,
Scale and Performance in the Denali Isolation Kernel, in Proc. of OSDI '02.
|
|
|
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim
Harris, Alex Ho, Rolf Neugebauery, Ian Pratt, Andrew Wareld, Xen and the Art
of Virtualization, in Proc. of SOSP '03.
|
|
|
Xuxian Jiang, Dongyan Xu,
"Collapsar:
A VM-Based Architecture for Network Attack Detention Center", in Proc.
of the 13th USENIX Security Symposium (Security
'04). |
|
|
Xuxian Jiang, Dongyan Xu, Helen J. Wang,
Eugene H. Spafford,
"Virtual
Playgrounds for Worm Behavior Investigation", in Proc. of
the 8th
International Symposium on Recent Advances in Intrusion Detection (RAID'05). |
|
|
Flexible OS Support and Applications for Trusted Computing by Garfinkel,
Rosenblum, and Boneh, 9th Hot Topics in Operating Systems (HOTOS-IX), 2003
|
|
|
Terra: A
Virtual Machine-Based Platform for Trusted Computing by Garfinkel et al,
SOSP 2003. |
|
|
API-Level Attacks on Embedded Systems by Bond and Anderson, IEEE
Computer, Oct 2001. |
|
|
Understanding Data Lifetime via Whole System Simulation by Jim Chow, Ben
Pfaff, Tal Garfinkel, Kevin Christopher, and Mendel Rosenblum. 2004 Usenix
Security Symposium. |
|
|
Building the IBM 4758 Secure Coprocessor
by Dyer et al, IEEE Computer, Oct 2001. |
|
|
A Processor Architecture Defense Against
Buffer Overflow Attacks by McGregor et al, Proceedings of the IEEE
International Conference on Information Technology: Research and Education (ITRE
2003), August 2003. |
|
|
Hardware and Binary Modification Support
for Code Pointer Protection From Buffer Overflow by Tuck, Calder, and
Verghese. MICRO 2004. |
|
|
Design and implementation of the AEGIS
single-chip secure processor using physical random functions Suh, G.E.;
O'Donnell, C.W.; Ishan Sachdev; Srinivas Devadas; Computer Architecture,
2005. ISCA '05. Proceedings. 32nd International Symposium on, 4-8 June 2005
Page(s):25 - 36. |
|
|
Multiple Independent Levels of Security (MILS) Architecture for Embedded
Systems, Mr. Jahn A. Luke (AFRL/IFTA), Mr. W. Mark Vanfleet (NSA), Dr.
Ben Calloni (Lockheed Martin). (PPT available in the internal groove system) |
|
|
A
Language-Based Approach to Security, Fred B. Schneider, Greg Morrisett,
and Robert Harper. |
|
|
Embedded System Security,
Philip Koopman, Embedded Computing, July 2004. |
|
|
K.W. Lye and J.M. Wing, “Game
Strategies in Network Security,” International Journal of Information
Security, February 2005. |
|
|
Kocher, P.; Lee, R.; McGraw, G.;
Raghunathan, A.; Ravi, S., Security as a new dimension in embedded system
design, IEEE Design Automation Conference, 2004. |
)