Safety; Hardware; Embedded software; Computer architecture; Computer languages; Standards;
机译:实时嵌入式系统的控制流完整性
机译:正式验证的软件对策,用于智能卡C代码的控制流完整性
机译:用于智能卡C代码的控制流完整性的正式验证的软件对策
机译:PCFire:对现实嵌入式软件的可提供预防性控制流程完整性实施
机译:检测和防止商品软件中的控制流劫持攻击。
机译:Pycabnn:高效和可扩展软件为生理学现实的神经网络模型构建解剖学
机译:可靠的基于浏览器的基于Web会话完整性的强制执行
机译:多核嵌入式平台能够正确合成关键任务嵌入式软件的形式化方法