corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bb94-249e-7073-8a4c-57869f9b22ee

10 Years seL4: Still the Best, Still Getting Better

microkerneldude.org · published 6 August 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at microkerneldude.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
34
Words captured
3,453

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://trustworthy.systems
trustworthy.systems
https://sel4.systems
sel4.systems
http://ts.data61.csiro.au/publications/nictaabstracts/Sewell_WGMAK_11.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/nictaabstracts/Murray_MBGBSLGK_13.abstract.pml
ts.data61.csiro.au
http://ts.data61.csiro.au/publications/nictaabstracts/Sewell_MK_13.abstract.pml
ts.data61.csiro.au
http://ts.data61.csiro.au/publications/nictaabstracts/Blackham_SCRH_11.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/nictaabstracts/Sewell_KH_16.abstract.pml
ts.data61.csiro.au
http://sel4.systems/pipermail/announce/2018/000024.html
sel4.systems
https://ts.data61.csiro.au/publications/papers/Syeda:phd.abstract.pml
ts.data61.csiro.au
https://www.apple.com/business/docs/iOS_Security_Guide.pdf
apple.com
https://microkerneldude.wordpress.com/2019/03/07/how-to-and-how-not-to-use-sel4-ipc/
microkerneldude.wordpress.com
https://www.researchgate.net/profile/Jonathan_Shapiro2/publication/4015956_Vulnerabilities_in_synchronous_IPC_designs/links/56c7220d08ae408dfe52cecf.pdf
researchgate.net
https://ts.data61.csiro.au/publications/nictaabstracts/Heiser_Elphinstone_16.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/nictaabstracts/Blackham_SH_12.abstract.pml
ts.data61.csiro.au
http://os.inf.tu-dresden.de/papers_ps/emsoft12-lackorzynski.pdf
os.inf.tu-dresden.de
https://ts.data61.csiro.au/publications/csiroabstracts/Lyons_MAH_18.abstract.pml
ts.data61.csiro.au
https://www2.seas.gwu.edu/~gparmer/publications/rtss17tcaps.pdf
www2.seas.gwu.edu
https://ts.data61.csiro.au/publications/csiroabstracts/Ge_YCH_19.abstract.pml
ts.data61.csiro.au
https://risc-v.org/
risc-v.org
https://ts.data61.csiro.au/publications/csiroabstracts/Heiser_KM_19.abstract.pml
ts.data61.csiro.au
https://en.wikipedia.org/wiki/KeyKOS
en.wikipedia.org
https://en.wikipedia.org/wiki/EROS_(microkernel
en.wikipedia.org
http://ts.data61.csiro.au/publications/nictaabstracts/Klein_EHACDEEKNSTW_09.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/publications/nictaabstracts/Blackham_Heiser_12.abstract.pml
ts.data61.csiro.au
https://sel4.systems/About/Performance/home.pml
sel4.systems
https://ts.data61.csiro.au/projects/TS/SMACCM/
ts.data61.csiro.au
http://ts.data61.csiro.au/publications/csiroabstracts/Klein_AKMHF_18.abstract.pml
ts.data61.csiro.au
https://ts.data61.csiro.au/projects/TS/cddc.pml
ts.data61.csiro.au
https://www.hensoldt-cyber.com
hensoldt-cyber.com
https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-hua.pdf
usenix.org
https://github.com/keystone-enclave
github.com
https://saemobilus.sae.org/cybersecurity/training/web-seminar/introduction-to-the-secure-microkernel-sel4
saemobilus.sae.org
https://www.sel4-us.org/summit/
sel4-us.org
https://sel4.atlassian.net/browse/RFC-3?filter=-4
sel4.atlassian.net