Safety-critical cyber-physical systems; Code-reuse attacks; Control-flow integrity; ARM CoreSight;
机译:实时嵌入式系统的控制流完整性
机译:BCI-CFI:基于分支相关完整性的上下文敏感控制流动完整性方法
机译:更安全的C:为高完整性和安全性至关重要的系统开发软件。莱斯·哈顿。欧洲McGraw-Hill图书公司出版,英国Maidenhead,1995年。ISBN0 07 707640 0,229页。价钱:22.95英镑,软皮
机译:在安全关键系统中透明控制流程完整性
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:KCoFI:商用操作系统内核的完整控制流完整性