伊万·加佐
人员信息
附属: 法国帕莱索埃科尔理工学院
优化列表
2020年–今天
2021 [注2] 萨米赫·哈法伊 , 让·勒奈特 , 亚瑟·维拉德 , 伊万·加佐 , 马静轩 , Pascal Urien公司 :
基于机器学习的PUF注册协议的安全性分析:综述。 传感器 21 ( 24 ) : 8415 ( 2021 ) 【c6】 萨米赫·哈法伊 , 让·勒奈特 , 亚瑟·维拉德 , 伊万·加佐 , 马静轩 , Jean-Luc危险 , Pascal Urien公司 :
Water-PUF:一种基于机器学习水印的抗内部威胁PUF注册协议。 国家协调局 2021 : 1-10
2010 – 2019
2017 【c5】 大卫·贝尔德 , 圣埃芬妮·德劳恩 , 伊万·加佐 , 史蒂夫·克莱默 :
XOR安全协议私有类型属性的符号验证。 脑脊液 2017 : 234-248 【c4】 伊万·加佐 , 汤姆·乔西亚 , 多米尼克·达根 :
云环境中位置和数据安全的类型。 脑脊液 2017 : 376-391 【c3】 伊万·加佐 , 史蒂夫·克莱默 :
使用Else分支自动分析安全协议的等效属性。 ESORICS(2) 2017 : 1-20 [i1] 伊万·加佐 , 汤姆·乔西亚 , 多米尼克·达根 :
云环境中的位置和数据安全类型。 CoRR公司 abs/1706.01742 ( 2017 ) 2016 [j1] 伊万·加佐 , 戴尔·米勒 , 帕拉米德斯猫 :
在有限精度语义下保持差异隐私。 西奥。 计算。 科学。 655 : 92-108 ( 2016 ) 2013 【b1】 伊万·加佐 :
规划决策完成:Contróler les erreurs et les fuites d’information。 (有限精度安全编程:控制错误和信息泄漏)。 法国帕莱索埃科尔理工学院, 2013 【c2】 伊万·加佐 , 戴尔·米勒 , 帕拉米德斯猫 :
在有限精度语义下保持差异隐私。 QAPL公司 2013 : 1-18 2012 【c1】 伊万·加佐 , 戴尔·米勒 , 帕拉米德斯猫 :
浮点程序稳健性分析的非局部方法。 QAPL公司 2012 : 63-76