Verifying the EROS confinement mechanism
- Jonathan S. Shapiro
- Sam Weber
- 2000
- Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.