seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
配套元件 6篇文献引用(1993–2017) 软件作者： W.R.贝维尔 相关软件： veriSoft；Isabelle/HOL；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ReVirt公司 在0个文档中引用 软件作者： Dunlap，G.W.，King，S.T.，Cinar，S.，Basrai，M.A.，Chen，P.M。 相关软件： CloudSec；RSYSLOG；SecVisor… 主要字段： 计算机科学（68-XX）
地穴 1份文件引用(2006) 软件作者： Erez Zadok、Ion Badulescu、Alex Shender 相关软件： SiRiUS公司；冥王星；Iolus… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
大都市 2份文件引用（2002年至2018年） 软件作者： 格雷戈·戈斯勒（Gregor Gossler）；阿尔贝托Sangiovanni-Vincentelli 相关软件： 托勒密；普罗米修斯 主要字段： 计算机科学（68-XX）
CloudSec（云安全） 在0个文档中引用 软件作者： 易卜拉欣，A.，哈姆林·哈里斯，J.，格兰迪，J 相关软件： ReVirt公司；RSYSLOG；SecVisor… 主要字段： 计算机科学（68-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；垂直X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
HyperCrypt公司 1份文件引用(2020) 软件作者： Götzfried，J.、Dörr，N.、Palutke，R.、Müller，T。 相关软件： TransCrypt；武装；Salsa20… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
RTXI公司 在0个文档中引用 软件作者： Lin R.J.、Bettencourt J.、White J.A.、Christini D.J.、Butera R.J。 相关软件： 魔法；MagicPy；Magpy… 主要字段： –
Virtuoso下一步 1份文件引用(2022) 软件作者： Altreonic NV公司；克里杜，吉勒米纳；何塞·普伦萨；伯恩哈德·H·C·斯普特。；埃里克·弗赫斯特 相关软件： 普罗米拉；里奥；自旋蛋白 主要字段： 计算机科学（68-XX）