EROS

Media publications

• EROS: A Principle-Driven Operating System from the Ground Up - Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software] (Published 2002.02.00)
• The EROS Alternative - Shapiro interview in 'Open-Source Security' issue. Of open source OSs, most people think only Linux and OpenBSD. But another open-source OS's architecture may be more secure than either of them. [Information Security Magazine] (Published 2000.02.00)

	EROS-OS.org URL: http://www.eros-os.org/ ODP description: Extremely Reliable OS; home site. Small, secure, real-time microkernel with orthogonal persistence: pull the plug and restart with no losses. Related to, and working with, ERights.org on E programming language. [Open source, GPL] Page title: The EROS Operating System
	EROS: A Fast Capability System URL: http://citeseer.ist.psu.edu/shapiro99eros.html ODP description: This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex] Page title: EROS: a fast capability system - Shapiro, Smith, Farber (ResearchIndex) Page description: EROS is a capability based operating system for commodity processors which uses a single level storage model. The single level store s persistence is transparent to applications. The performance consequences of support for transparent persistence and capability based architectures are generally beli
	CapROS URL: http://www.capros.org/ ODP description: Capability-based Reliable Operating System; home site; non-academic evolution and continuation of EROS system, begun in 2005; EROS was pure research, CapROS is intended to be stable commercial quality system. Page title: The CapROS Operating System
	Extremely Reliable Operating System URL: http://en.wikipedia.org/wiki/Extremely_Reliable_Operating_System ODP description: Growing article, with links to many related topics. Wikipedia. Page title: Extremely Reliable Operating System - Wikipedia, the free encyclopedia
	Coyotos URL: http://en.wikipedia.org/wiki/Coyotos ODP description: Growing article, with links to many related topics. Wikipedia. Page title: Coyotos - Wikipedia, the free encyclopedia
	CapROS URL: http://en.wikipedia.org/wiki/CapROS ODP description: Growing article, with links to many related topics. Wikipedia. Page title: CapROS - Wikipedia, the free encyclopedia
	Coyotos Secure Operating System URL: http://www.coyotos.org/ ODP description: Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS will migrate directly to Coyotos.
	Verifying Operating System Security URL: http://citeseer.ist.psu.edu/shapiro97verifying.html ODP description: A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex] Page title: Verifying Operating System Security - Shapiro, Weber (ResearchIndex) Page description: A confined program is one which is unable to leak information to an unauthorized party or modify unauthorized resources. Confinement is an essential feature of any secure component based system. This paper presents a proof of correctness of the EROS operating system architecture with respect to conf