Mihai's Research Paper Summaries

• George C. Necula "Translation Validation for an Optimizing Compiler"
  Date of summary: Tue Nov 27 17:13:03 CST 2001
  
  
• Jerome H. Saltzer "Protection and the Control of Information Sharing in Multics"
  Date of summary: Mon Mar 4 11:35:30 CST 2002
  
  
• Howard Kunreuther, Geoffrey Heal "Interdependent Security: The Case of Identical Agents"
  Date of summary: Mon Apr 1 12:16:33 CST 2002
  
  
• Xiushan Feng, Alan J. Hu "Automatic Verification for Scheduled VLIW Code"
  Date of summary: Wed May 7 08:59:14 CDT 2003
  
  
• David W. Currie, Alan J. Hu, Sreeranga Rajan, Masahiro Fujita "Automatic Verification of DSP Software"
  Date of summary: Wed May 7 08:59:14 CDT 2003
  
  
• Hanno Langweg "With Gaming Technology towards Secure User Interfaces"
  Date of summary: Wed May 7 08:59:14 CDT 2003
  
  
• David Ferraiolo, Richard Kuhn "Role-Based Access Control"
  Date of summary: Wed Sep 10 16:48:24 2003