西蒙·格雷纳
人员信息
SPARQL查询
优化列表
2020年–今天
2024 【c7】 Priyadarshini公司 , 西蒙·格雷纳 , 梅克·马西雷尔 , Oum-El-Kheir Aktouf村 :
基于软件体系结构的安全和安全交互的功能间分析。 EDCC公司 2024 : 165-168 2023 【c6】 穆罕默德·阿卜杜勒萨拉姆 , 西蒙·格雷纳 , Oum-El-Kheir Aktouf村 , 安娜贝勒·梅西尔 :
C-TAR:基于基础设施的自动驾驶的组合威胁分析和风险评估方法。 ESORICS研讨会(2) 2023 : 159-175 【c5】 Priyadarshini公司 , 西蒙·格雷纳 , 梅克·马西雷尔 , Oum-El-Kheir Aktouf村 :
基于特征的软件架构(architecture)分析,以识别安全和安保交互。 ICSA公司 2023 : 12-22
2010 – 2019
2019 【c4】 西蒙·格雷纳 , 蒙克 , 阿恩·诺德曼 :
组件故障树的组成。 IMBSA公司 2019 : 125-140 [i2] 西蒙·格雷纳 , 蒙克 , 阿恩·诺德曼 :
CFT正确性的组成性证明。 CoRR公司 abs/1907.09920 ( 2019 ) 2018 【b1】 西蒙·格雷纳 :
基于组件的系统中的无干扰框架。 德国卡尔斯鲁厄理工学院, 2018 2017 【c3】 西蒙·格雷纳 , 马丁·莫尔 , 伯恩哈德·贝克特 :
基于组件的系统中信息流安全的模块化验证。 塞夫姆 2017 : 300-315 2016 【c2】 西蒙·格雷纳 , 丹尼尔·格拉尔 :
在基于组件的系统中,不干扰What-Declassification。 CSF公司 2016 : 253-267 [第1页] 克里斯托夫·谢本 , 西蒙·格雷纳 :
信息流分析。 演绎软件验证 2016 : 453-471 2014 【c1】 弗洛里安·波尔 , 西蒙·格雷纳 , 帕特里克·谢德克 :
证明在半小时发送器存在下在Java中实现的双方计算的正确性和安全性。 罐 2014 : 175-190 [i1] 弗洛里安·波尔 , 西蒙·格雷纳 , 帕特里克·谢德克 :
证明在半同发送方存在下在Java中实现的双方计算的正确性和安全性。 IACR加密。 电子打印架构。 2014 : 618 ( 2014 )