EROS (microkernel) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "EROS (microkernel)" in English language version.

Last modified: 21:09:29, 2 April 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

54web.archive.org

1^st place

1^st place

low place

low place

2^nd place

2^nd place

7,359^th place

4,657^th place

559^th place

389^th place

2,125^th place

1,347^th place

low place

low place

560^th place

313^th place

4^th place

4^th place

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

cs.cmu.edu

Lee, Peter. "Proof-Carrying Code". Archived from the original on September 22, 2006.

coyotos.org (Global: low place; English: low place)

Shapiro, Jonathan (April 2, 2006). "Differences Between Coyotos and EROS: A Quick Summary". Archived from the original on 2012-07-21.
Shapiro, Jonathan S. (April 7, 2009). "Status of Coyotos". coyotos-dev (Mailing list). Archived from the original on July 24, 2014. Retrieved 16 March 2022. Active work on Coyotos stopped several months ago, and is unlikely to resume.

doi.org (Global: 2^nd place; English: 2^nd place)

Shapiro, Jonathan S.; Weber, Samuel (October 29, 1999). Verifying the EROS Confinement Mechanism (PDF). 2000 IEEE Symposium on Security and Privacy. Berkeley, CA, USA. doi:10.1109/SECPRI.2000.848454.
Shapiro, Jonathan S. (2003). Vulnerabilities in Synchronous IPC Designs (PDF). 2003 Symposium on Security and Privacy. Berkeley, CA, USA. doi:10.1109/SECPRI.2003.1199341.

eros-os.org (Global: low place; English: low place)

Chen, Hao; Shapiro, Jonathan S. "Using Build-Integrated Static Checking to Preserve Correctness Invariants" (PDF). Archived from the original (PDF) on March 3, 2016.

jhu.edu (Global: 560^th place; English: 313^th place)

srl.cs.jhu.edu

Shapiro, Jonathan S. (2003). Vulnerabilities in Synchronous IPC Designs (PDF). 2003 Symposium on Security and Privacy. Berkeley, CA, USA. doi:10.1109/SECPRI.2003.1199341.

usenix.org (Global: 7,359^th place; English: 4,657^th place)

Shapiro, Jonathan S.; Vanderburgh, John; Northup, Eric; Chizmadia, David (2004). Design of the EROS Trusted Window System (PDF). 13th USENIX Security Symposium. San Diego, CA, USA.
Sinha, Anshumal; Sarat, Sandeep; Shapiro, Jonathan S. (2004). Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem (PDF). 2004 USENIX Annual Technical Conference. Boston, MA, USA.

web.archive.org (Global: 1^st place; English: 1^st place)

Lee, Peter. "Proof-Carrying Code". Archived from the original on September 22, 2006.
Shapiro, Jonathan (April 2, 2006). "Differences Between Coyotos and EROS: A Quick Summary". Archived from the original on 2012-07-21.
Shapiro, Jonathan S. (April 7, 2009). "Status of Coyotos". coyotos-dev (Mailing list). Archived from the original on July 24, 2014. Retrieved 16 March 2022. Active work on Coyotos stopped several months ago, and is unlikely to resume.
Chen, Hao; Shapiro, Jonathan S. "Using Build-Integrated Static Checking to Preserve Correctness Invariants" (PDF). Archived from the original (PDF) on March 3, 2016.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Chakraborty, Pinaki (2010). "Research purpose operating systems – a wide survey". GESJ: Computer Science and Telecommunications. 3 (26). ISSN 1512-1232.

yale.edu (Global: 559^th place; English: 389^th place)

flint.cs.yale.edu

Shapiro, Jonathan S.; Weber, Samuel (October 29, 1999). Verifying the EROS Confinement Mechanism (PDF). 2000 IEEE Symposium on Security and Privacy. Berkeley, CA, USA. doi:10.1109/SECPRI.2000.848454.