Publications

Verifying the EROS confinement mechanism

• • Jonathan S. Shapiro
  • Sam Weber
• 2000
• Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy