缺少摘要。
- 基于迭代统计故障注入的HDL模型精确鲁棒性评估伊利亚·图佐夫,大卫·德·安德烈斯,胡安·卡洛斯·鲁伊斯.1-8 [美国国防部]
- 支持故障预测的机器学习技术的探索性研究乔·坎波斯,马可·维埃拉,埃内斯托·科斯塔.9-16 [美国国防部]
- 利用新的CPU扩展在欧盟层面安全交换eHealth数据路易吉·科波利诺,萨尔瓦托雷·德安东尼奥,乔瓦尼·马佐奥,路易吉·罗曼诺,路易吉·斯加利奥内.17月24日 [美国国防部]
- RTOS内核的硬件运行时验证:使用故障注入进行评估迪米特里·索莱特,珍妮·卢克·贝切内克,米卡·布赖迪,塞巴斯蒂安·福库,塞巴斯蒂安·皮勒门特.25-32 [美国国防部]
- 实验自动车辆安全气囊部件安全必要性的验证保罗·克鲁比尔,本杰明·卢西尔,沃尔特·舍恩,布林尼·曼内尔.33-40 [美国国防部]
- 利用模型实现的故障注入技术研究安全与保障的相互作用贝罗斯·桑切利(Behrooz Sangchoolie),彼得·福克森,乔尼·文特.41-48 [美国国防部]
- 在创建可证明证据中应用CHESS方法的系统过程安德烈·路易斯·德·奥利维拉,卢卡斯·佩瓦·布莱桑,莱昂纳多·蒙泰奇,芭芭拉·加利纳.49-56 [美国国防部]
- 使用各种静态分析工具查找SQL注入和跨站点脚本漏洞Areej Algaith公司,保罗·豪尔赫·科斯塔·努内斯,丰塞卡·何塞,伊里尔·加西,马可·维埃拉.57-64 [美国国防部]
- 评估编程语言对软错误的内在敏感性弗雷德里科·塞韦拉,阿尔西德斯·丰塞卡,劳尔·巴博萨,亨利克·马德拉.65-72 [美国国防部]
- 基于消息传递的k终端可靠性算法明莱,约瑟夫·韦登多夫.73-80 [美国国防部]
- 一种新SQL数据库的容错性评估Ainhoa Azqueta-Alzüaz,玛尔塔·帕蒂尼奥·马丁内斯,瓦莱里奥·维亚内洛,里卡多·吉梅内斯·佩里斯.81-86 [美国国防部]
- 具有多线程和垂直扩展功能的资源高效状态机复制格哈德·哈比格,弗兰兹·J·哈克,约翰内斯·科斯特勒,汉斯·雷瑟.87-94 [美国国防部]
- 在存在操作员故障的情况下评估容器化REST服务的性能玛丽亚娜·库尼亚,努诺·拉兰基罗.95-100 [美国国防部]
- 一种用于数据分析平台的基于重新识别风险的匿名框架赫伯特·德·奥利维拉·席尔瓦,塔尼亚·巴索,里贾娜·莫莱斯,多纳泰洛·埃利亚,桑德罗·菲奥雷.101-106 [美国国防部]
- 实现安全意识和动态安全管理马里奥·特拉普,丹尼尔·施奈德0001,杰里恩·韦斯.107-111 [美国国防部]
- 微服务系统零污染监测的探索性研究马塞洛·辛克,拉斐尔·德尔拉·科尔特,拉斐尔·伊奥里奥,安东尼奥·佩基亚.112-115 [美国国防部]
- 莫比乌斯建模环境中模型组合的有效策略朱利奥·马塞蒂,Silvano Chiaradonna公司,费利西塔·迪·詹多梅尼科,布雷特·费德森,威廉·桑德斯.116-119 [美国国防部]
- 安全策略的优化部署:在工业控制系统中的应用齐亚德·伊斯梅尔,让·勒奈特,阿里亚·福拉蒂.120-127 [美国国防部]
- 使用基于OSINT知识的IDS检测网络威胁伊沃·瓦卡斯,伊比利亚-梅德罗斯,努诺·内维斯0002.128-135 [美国国防部]
- 基于进程挖掘和时间演进图的智能电网完整性攻击检测西蒙娜·伯纳迪,拉奎尔·特里洛·拉多,何塞·梅尔塞格尔.136-139 [美国国防部]
- 基于日志和度量的关键工业系统上下文异常检测莫斯塔法·法什基,英戈·韦伯,拉斐尔·德尔拉·科尔特,安东尼奥·佩基亚,马塞洛·辛克,让-盖伊·施奈德,约翰·C·格兰迪.140-143年 [美国国防部]
- 智能合约绩效基准评估以太坊矿工激励阿姆贾德·奥尔德韦什,马赫尔·阿尔哈比,埃利斯·索拉曼,阿德·范·穆塞尔.144-149 [美国国防部]
- 随机区块链模型的仿真皮埃尔·伊夫·皮里奥,Jean-Francois杜马.150-157 [美国国防部]
- 以太坊智能合约的运行时验证约书亚·埃卢尔,戈登·佩斯.158-163 [美国国防部]
- 如何评估区块链顶部应用程序的可靠性:新的研究挑战马塞洛·辛克,克里斯蒂安·埃斯波西托.164-165 [美国国防部]
- 自动伸缩异构云服务器的主动Q-Learning方法费德里科·隆巴迪.166-172 [美国国防部]
- 基于特征的工作流组合的形式验证斯蒂芬·阿德尔斯伯格,巴沙尔·伊格瑞德,马库斯·莫瑟,瓦迪姆·萨文科夫,安东·塞泽尔.173-181 [美国国防部]
- 安全关键系统安全性分析的形式化方法Inna Vistbakka酒店,埃琳娜·特鲁比西纳.182-189 [美国国防部]
- 上下文软件、可信度披露和故障操作动态风险评估体系结构帕特里克·费特,拉斯穆斯·阿德勒,丹尼尔·施耐德0001.190-194 [美国国防部]
- 分析社交网络中的共享信息博格丹·阿曼,加布里埃尔·乔巴努.195-202 [美国国防部]