圣地亚哥·扎内拉·贝盖林
人员信息
优化列表
2020年-今天
2024 [i17] 乔瓦尼·切鲁宾 , 鲍里斯·科普夫 , 安德鲁·帕沃德 , Shruti头饰 , 卢卡斯·伍奇茨 , 圣地亚哥·扎内拉·贝盖林 :
DP-SGD与记录级推断的闭合形式界限。 CoRR公司 abs/2402.14397 ( 2024 ) 2023 [公元39年] 圣地亚哥·扎内拉·贝盖林 , 卢卡斯·伍奇茨 , Shruti头饰 , 艾哈迈德·萨勒姆 , 维克托·吕勒 , 安德鲁·帕沃德 , 穆罕默德·纳赛里 , 鲍里斯·科普夫 , 丹尼尔·琼斯 :
差异隐私的贝叶斯估计。 ICML公司 2023 : 40624-40636 [公元38年] 艾哈迈德·萨勒姆 , 乔瓦尼·切鲁宾 , 大卫·埃文斯 , 鲍里斯·科普夫 , 安德鲁·帕沃德 , 安舒马·苏里 , Shruti头饰 , 圣地亚哥·扎内拉·贝盖林 :
SoK:让隐私游戏开始吧! 机器学习中数据推断隐私的统一处理。 特殊用途 2023 : 327-345 [公元37年] 尼尔斯·卢卡斯 , 艾哈迈德·萨勒姆 , 罗伯特·西姆 , Shruti头饰 , 卢卡斯·伍奇茨 , 圣地亚哥·扎内拉·贝盖林 :
分析语言模型中个人可识别信息的泄漏。 特殊用途 2023 : 346-363 [i16] 尼尔斯·卢卡斯 , 艾哈迈德·萨勒姆 , 罗伯特·西姆 , Shruti头饰 , 卢卡斯·伍奇茨 , 圣地亚哥·扎内拉·贝盖林 :
分析语言模型中个人可识别信息的泄漏。 CoRR公司 abs/2302.00539 ( 2023 ) 【i15】 马龙·托巴本 , Aliaksandra Shysheya公司 , 约翰·布朗斯基尔 , 安德鲁·帕沃德 , Shruti头饰 , 圣地亚哥·扎内拉·贝盖林 , 理查德·特纳 , 安蒂·霍克拉 :
不同私有少快照图像分类的有效性。 CoRR公司 abs/2302.01190 ( 2023 ) [第14条] 卢卡斯·伍奇茨 , 鲍里斯·科普夫 , 安德鲁·帕沃德 , 萨拉文·拉杰莫汉 , 艾哈迈德·萨勒姆 , Shruti头饰 , 圣地亚哥·扎内拉·贝盖林 , 蒙林霞 , 维克托·吕勒 :
从信息流控制的角度重新思考机器学习管道中的隐私。 CoRR公司 abs/2311.15792 ( 2023 ) 2022 [i13] 圣地亚哥·扎内拉·贝盖林 , 卢卡斯·伍奇茨 , Shruti头饰 , 艾哈迈德·萨勒姆 , 维克托·吕勒 , 安德鲁·帕沃德 , 穆罕默德·纳赛里 , 鲍里斯·科普夫 , 丹尼尔·琼斯 :
差分隐私的贝叶斯估计。 CoRR公司 abs/2206.05199 ( 2022 ) [i12] 艾哈迈德·萨勒姆 , 乔瓦尼·切鲁宾 , 大卫·埃文斯 , 鲍里斯·科普夫 , 安德鲁·帕沃德 , 安舒马·苏里 , Shruti头饰 , 圣地亚哥·扎内拉·贝盖林 :
SoK:让隐私游戏开始吧! 机器学习中数据推断隐私的统一处理。 CoRR公司 abs/2212.10986 ( 2022 ) 2021 [公元36年] 圣地亚哥·扎内拉·贝盖林 , Shruti头饰 , 安德鲁·帕沃德 , 鲍里斯·科普夫 :
自然语言模型的灰盒提取。 ICML公司 2021 : 12278-12286 2020 [公元35年] 圣地亚哥·扎内拉·贝盖林 , 卢卡斯·伍奇茨 , Shruti头饰 , 维克托·吕勒 , 安德鲁·帕沃德 , 奥尔加·奥赫里蒙科 , 鲍里斯·科普夫 , 马克·布罗克施密特 :
分析自然语言模型更新的信息泄漏。 CCS系统 2020 : 363-375 [公元34年] 玛丽娜·波卢贝洛娃 , 卡提基扬·巴尔干 , 乔纳森·普罗琴科 , 本杰明·贝尔杜奇 , 艾默尔·弗洛姆赫兹 , 纳塔莉亚·库拉托娃 , 圣地亚哥·扎内拉·贝盖林 :
HACLxN:验证通用SIMD加密(适用于您喜爱的所有平台)。 CCS系统 2020 : 899-918 [公元33年] 乔纳森·普罗琴科 , 布莱恩·帕诺 , 艾默尔·弗洛姆赫兹 , 克里斯·霍布利泽尔 , 玛丽娜·波卢贝洛娃 , 卡提基扬·巴尔干 , 本杰明·贝尔杜奇 , 乔恩·崔 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 纳塔莉亚·库拉托娃 , 塔希娜·拉马南安德罗 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 克里斯托夫·温特斯泰格 , 圣地亚哥·扎内拉·贝盖林 :
EverCrypt:一个快速、经过验证的跨平台加密提供程序。 特殊用途 2020 : 983-1002 [i11] 玛丽娜·波卢贝洛娃 , 卡提基扬·巴尔干 , 乔纳森·普罗琴科 , 本杰明·贝尔杜奇 , 艾默尔·弗洛姆赫兹 , 纳塔莉亚·库拉托娃 , 圣地亚哥·扎内拉·贝盖林 :
HACL×N:已验证的通用SIMD加密(适用于所有您喜爱的平台)。 IACR加密。 电子打印架构。 2020 : 572 ( 2020 )
2010 – 2019
2019 【j4】 大卫·阿德里安 , 卡提基扬·巴尔干 , 扎基尔·杜鲁梅里克 , 皮尔里克·高德利 , 马修·格林 , J.亚历克斯·哈尔德曼 , 纳迪娅·亨宁格 , 德鲁·斯普林格尔 , 伊曼纽尔·托美 , 卢克·瓦伦塔 , 本杰明·范德斯洛特 , 埃里克·乌斯特罗 , 圣地亚哥·扎内拉·贝盖林 , 保罗·齐默尔曼 :
不完美的前向保密:Diffie-Hellman如何在实践中失败。 Commun公司。 ACM公司 62 ( 1 ) : 106-114 ( 2019 ) [i10] Shruti头饰 , 马克·布罗克施密特 , 鲍里斯·科普夫 , 奥尔加·奥赫里蒙科 , 圣地亚哥·扎内拉·贝盖林 :
分析自然语言模型更新中的隐私损失。 CoRR公司 abs/1912.07942 ( 2019 ) [第九章] 乔纳森·普罗琴科 , 布莱恩·帕诺 , 艾默尔·弗洛姆赫兹 , 克里斯·霍布利泽尔 , 玛丽娜·波卢贝洛娃 , 卡提基扬·巴尔干 , 本杰明·贝尔杜奇 , 乔恩·崔 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 塔希娜·拉马南安德罗 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 克里斯托夫·温特斯泰格 , 圣地亚哥·扎内拉·贝盖林 :
EverCrypt:一个快速、经过验证的跨平台加密提供商。 IACR加密。 电子打印架构。 2019 : 757 ( 2019 ) 2018 [公元32年] 尼古拉斯·格林 , 肯基·梅拉德 , Cédric Fornet公司 , Catalin Hritcu公司 , 马泰奥·马菲 , 乔纳森·普罗琴科 , 塔希娜·拉马南安德罗 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 圣地亚哥·扎内拉·贝盖林 :
用于关系验证的一元框架:应用于信息安全、程序等价和优化。 清洁石油产品 2018 : 130-145 2017 [j3] 乔纳森·普罗琴科 , 让·卡里姆·津津多霍 , 阿西姆·拉斯托吉 , 塔希娜·拉马南安德罗 , 王鹏(音译) , 圣地亚哥·扎内拉·贝盖林 , 安托万·德利格纳·拉瓦德 , Catalin Hritcu公司 , 卡提基扬·巴尔干 , Cédric Fornet公司 , 尼基尔·斯瓦米 :
验证了F中嵌入的低级编程。 程序。 ACM计划。 语言。 1 ( ICFP公司 ) : 17:1-17:29 ( 2017 ) [c31] 卡提基扬·巴尔干 , 巴里·邦德 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 克里斯·霍布利泽尔 , Catalin Hritcu公司 , 萨明·伊斯蒂亚克 , 马尔库夫·科尔维斯 , K.鲁斯坦·莱诺 , 杰伊·R·洛奇 , 肯基·梅拉德 , 潘建阳 , 布莱恩·帕诺 , 乔纳森·普罗琴科 , 塔希娜·拉马南安德罗 , 阿沙·雷恩 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 劳蕾·汤普森 , 王鹏(音译) , 圣地亚哥·扎内拉·贝盖林 , 让·卡里姆·津津多霍 :
珠穆朗玛峰:走向HTTPS的验证、直接替代。 SNAPL公司 2017 : 1:1-1:12 [公元30年] 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 马尔库夫·科尔维斯 , 乔纳森·普罗琴科 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 圣地亚哥·扎内拉·贝盖林 , 卡提基扬·巴尔干 , 潘建阳 , 让·卡里姆·津津多霍 :
实施和验证TLS 1.3记录层。 IEEE安全与隐私研讨会 2017 : 463-482 [i8] 乔纳森·普罗琴科 , 让·卡里姆·津津多霍 , 阿西姆·拉斯托吉 , 塔希娜·拉马南安德罗 , 王鹏(音译) , 圣地亚哥·扎内拉·贝盖林 , 安托万·德利格纳·拉瓦德 , Catalin Hritcu公司 , 卡提基扬·巴尔干 , Cédric Fornet公司 , 尼基尔·斯瓦米 :
F中嵌入的验证低级编程 * . CoRR公司 abs/1703.00053 ( 2017 ) [i7] 尼古拉斯·格林 , 肯基·梅拉德 , Cédric Fornet公司 , Catalin Hritcu公司 , 马泰奥·马菲 , 乔纳森·普罗琴科 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 圣地亚哥·扎内拉·贝盖林 :
关系验证的一元框架(功能珍珠)。 CoRR公司 abs/1703.00055 ( 2017 ) 2016 [公元29年] 卡提基扬·巴尔干 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 安妮莎·戈拉穆迪 , 乔治·戈蒂尔 , 纳迪姆·科贝斯 , 纳塔莉亚·库拉托娃 , 阿西姆·拉斯托吉 , 托马斯·西布特·皮诺特 , 尼基尔·斯瓦米 , 圣地亚哥·扎内拉·贝盖林 :
智能合约的正式验证:短文。 中央控制面板 2016 : 91-96 [公元28年] 尼基尔·斯瓦米 , Catalin Hritcu公司 , 香塔尔·凯勒 , 阿西姆·拉斯托吉 , 安托万·德利格纳·拉瓦德 , 西蒙·福雷斯特 , 卡提基扬·巴尔干 , Cédric Fornet公司 , Pierre-Yves支柱 , 马尔库夫·科尔维斯 , 让·卡里姆·津津多霍 , 圣地亚哥·扎内拉·贝盖林 :
F。中的依赖类型和多单体效应。 POPL公司 2016 : 256-270 [公元27年] 卡提基扬·巴尔干 , 克里斯蒂娜·布尔祖斯卡 , Cédric Fornet公司 , 马修·格林 , 马尔库夫·科尔维斯 , 圣地亚哥·扎内拉·贝盖林 :
密钥交换协议中的降级弹性。 IEEE安全与隐私研讨会 2016 : 506-525 [i6] 卡提基扬·巴尔干 , 克里斯蒂娜·布尔祖斯卡 , Cédric Fornet公司 , 马修·格林 , 马尔库夫·科尔维斯 , 圣地亚哥·扎内拉·贝盖林 :
密钥交换协议中的降级弹性。 IACR加密。 电子打印架构。 2016 : 72 ( 2016 ) [i5] 卡提基扬·巴尔干 , 安托万·德利格纳·拉瓦德 , Cédric Fornet公司 , 马尔库夫·科尔维斯 , 潘建阳 , 乔纳森·普罗琴科 , 阿西姆·拉斯托吉 , 尼基尔·斯瓦米 , 圣地亚哥·扎内拉·贝盖林 , 让·卡里姆·津津多霍 :
实施和验证TLS 1.3记录层。 IACR加密。 电子打印架构。 2016 : 1178 ( 2016 ) 2015 [公元26年] 大卫·阿德里安 , 卡提基扬·巴尔干 , 扎基尔·杜鲁梅里克 , 皮尔里克·高德利 , 马修·格林 , J.亚历克斯·哈尔德曼 , 纳迪娅·亨宁格 , 德鲁·斯普林格尔 , 伊曼纽尔·托美 , 卢克·瓦伦塔 , 本杰明·范德斯洛特 , 埃里克·乌斯特罗 , 圣地亚哥·扎内拉·贝盖林 , 保罗·齐默尔曼 :
不完美的前向保密:赫尔曼如何在实践中失败。 CCS系统 2015 : 5-17 2014 [公元25年] 克劳斯·冯·格莱森豪尔 , 安德烈·里巴尔琴科 , 圣地亚哥·扎内拉·贝盖林 :
面向概率程序关系属性的自动证明(受邀演讲)。 CAV的VPT 2014 : 2 [公元24年] 卡提基扬·巴尔干 , Cédric Fornet公司 , 马尔库夫·科尔维斯 , 阿尔弗雷多·皮隆蒂 , Pierre-Yves支柱 , 圣地亚哥·扎内拉·贝盖林 :
证明TLS握手安全(按原样)。 密码(2) 2014 : 235-255 【c23】 吉尔斯·巴特 , Cédric Fornet公司 , 本杰明·格雷戈里 , Pierre-Yves支柱 , 尼基尔·斯瓦米 , 圣地亚哥·扎内拉·贝盖林 :
加密实现的概率关系验证。 POPL公司 2014 : 193-206年 [i4] 卡提基扬·巴尔干 , Cédric Fornet公司 , 马尔库夫·科尔维斯 , 阿尔弗雷多·皮隆蒂 , Pierre-Yves支柱 , 圣地亚哥·扎内拉·贝盖林 :
证明TLS握手安全(按原样)。 IACR加密。 电子打印架构。 2014 : 182 ( 2014 ) 2013 [注2] 吉尔斯·巴特 , 本杰明·格雷戈伊尔 , 西尔万·赫拉德 , 费德里科·奥尔梅多 , 圣地亚哥·扎内拉·贝盖林 :
验证了椭圆曲线的无差别散列。 J.计算。 安全。 21 ( 6 ) : 881-917 ( 2013 ) [j1] 吉尔斯·巴特 , 鲍里斯·科普夫 , 费德里科·奥尔梅多 , 圣地亚哥·扎内拉·贝盖林 :
差异隐私的概率关系推理。 ACM事务处理。 程序。 语言系统。 35 ( 三 ) : 9:1-9:49 ( 2013 ) [公元22年] 乔治·达尼齐斯 , Cédric Fornet公司 , 马尔库夫·科尔维斯 , 圣地亚哥·扎内拉·贝盖林 :
通过秘密共享实现智能电表聚合。 CCS下的SEGS 2013 : 75-80 【c21】 吉尔斯·巴特 , 胡安·曼努埃尔·克雷斯波 , 本杰明·格雷戈里 , 塞萨尔·库茨 , 亚辛·拉赫内克 , Benedikt Schmidt公司 , 圣地亚哥·扎内拉·贝盖林 :
计算模型中基于填充的加密的全自动分析。 CCS系统 2013 : 1247-1260 [公元20年] 吉尔斯·巴特 , 乔治·达尼齐斯 , 本杰明·格雷戈里 , 塞萨尔·库茨 , 圣地亚哥·扎内拉·贝盖林 :
智能计量应用验证计算差异隐私。 CSF公司 2013 : 287-301 2012 [第19条] 何塞·巴塞拉·阿尔梅达 , 曼纽尔·巴博萨 , 恩德雷·班杰特 , 吉尔斯·巴特 , 斯蒂芬·克伦 , 圣地亚哥·扎内拉·贝盖林 :
完全可靠的密码学:有效的零知识协议的可验证编译。 CCS系统 2012 : 488-500 [第18条] 吉尔斯·巴特 , 大卫·波因特切瓦尔 , 圣地亚哥·扎内拉·贝盖林 :
已验证Rabin和RSA的无冗余加密的安全性。 CCS系统 2012 : 724-735 [第17条] 吉尔斯·巴特 , 本杰明·格雷戈里 , 塞萨尔·库茨 , 亚辛·拉赫内克 , 圣地亚哥·扎内拉·贝盖林 :
计算机辅助密码学自动化:证明、攻击和设计。 清洁石油产品 2012 : 7-8 [第16条] 迈克尔·巴克斯 , 吉尔斯·巴特 , 马蒂亚斯·贝格 , 本杰明·格雷戈里 , 塞萨尔·库茨 , 马尔特·斯科鲁帕 , 圣地亚哥·扎内拉·贝盖林 :
已验证Merkle-Damgárd的安全性。 CSF公司 2012 : 354-368 [第15条] 吉勒·巴特 , 胡安·曼努埃尔·克雷斯波 , 本杰明·格雷戈里 , 塞萨尔·库茨 , 圣地亚哥·扎内拉·贝盖林 :
计算机辅助密码校对。 ITP公司 2012 : 11-27 [第14条] 吉尔斯·巴特 , 本杰明·格雷戈里 , 圣地亚哥·扎内拉·贝盖林 :
计算机辅助安全证明的概率关系Hoare逻辑。 MPC公司 2012 : 1-6 [第13条] 吉尔斯·巴特 , 鲍里斯·科普夫 , 费德里科·奥尔梅多 , 圣地亚哥·扎内拉·贝盖林 :
差异隐私的概率关系推理。 POPL公司 2012 : 97-110 [第12条] 吉尔斯·巴特 , 本杰明·格雷戈里 , 西尔万·赫拉德 , 费德里科·奥尔梅多 , 圣地亚哥·扎内拉·贝盖林 :
验证了椭圆曲线的无差别散列。 岗位 2012 : 209-228 [第11条] 吉尔斯·巴特 , 本杰明·格雷戈里 , 圣地亚哥·扎内拉·贝盖林 :
计算机辅助密码证明。 SAS公司 2012 : 1-2 [i3] 何塞·巴塞拉·阿尔梅达 , 曼纽尔·巴博萨 , 恩德雷·班杰特 , 吉尔斯·巴特 , 斯蒂芬·克伦 , 圣地亚哥·扎内拉·贝盖林 :
完全证明密码学:有效零知识协议的可验证编译。 IACR加密。 电子打印架构。 2012 : 258 ( 2012 ) [i2] 吉尔斯·巴特 , 大卫·波因契瓦尔 , 圣地亚哥·扎内拉·贝盖林 :
由Rabin和RSA验证的无冗余加密的安全性。 IACR加密。 电子打印架构。 2012 : 308 ( 2012 ) [i1] 吉尔斯·巴特 , 胡安·曼努埃尔·克雷斯波 , 本杰明·格雷戈里 , 塞萨尔·库茨 , 亚辛·拉赫内赫 , 圣地亚哥·扎内拉·贝盖林 :
基于填充的加密方案的自动分析和合成。 IACR加密。 电子打印架构。 2012 : 695 ( 2012 ) 2011 [第10条] 吉尔斯·巴特 , 本杰明·格雷戈伊尔 , 西尔万·赫拉德 , 圣地亚哥·扎内拉·贝盖林 :
工作密码学家的计算机辅助安全证明。 加密货币 2011 : 71-90 [c9] 吉尔斯·巴特 , 本杰明·格雷戈里 , 亚辛·拉赫内克 , 圣地亚哥·扎内拉·贝盖林 :
超越可证明安全性OAEP的可验证IND-CCA安全性。 CT-RSA公司 2011 : 180-196 【c8】 吉尔斯·巴特 , 费德里科·奥尔梅多 , 圣地亚哥·扎内拉·贝盖林 :
基于Boneh-Franklin身份加密的可验证安全性。 ProvSec服务器 2011 : 68至83 2010 【b1】 圣地亚哥·扎内拉·贝盖林 :
基于游戏的加密证明的正式认证。 (证书格式:preuves cryptographiques basées sur les séquences de jeux)。 法国巴黎矿业公司, 2010 【c7】 吉尔斯·巴特 , 丹尼尔·赫丁 , 圣地亚哥·扎内拉·贝盖林 , 本杰明·格雷戈里 , 西尔万·赫拉德 :
Sigma-协议的机器检查形式化。 CSF公司 2010 : 246-260 【c6】 吉尔斯·巴特 , 本杰明·格雷戈里 , 圣地亚哥·扎内拉·贝盖林 :
密码证明的编程语言技术。 ITP公司 2010 : 115-130
2000 – 2009
2009 【c5】 吉尔斯·巴特 , 本杰明·格雷戈伊尔 , 圣地亚哥·扎内拉·贝盖林 :
基于代码的加密证明的正式认证。 POPL公司 2009 : 90-101 【c4】 圣地亚哥·扎内拉·贝盖林 , 吉尔斯·巴特 , 本杰明·格雷戈里 , 费德里科·奥尔梅多 :
正式证明数字签名方案的安全性。 特殊用途 2009 : 237-250 2008 【c3】 吉尔斯·巴特 , 本杰明·格雷戈里 , 西尔万·赫拉德 , 圣地亚哥·扎内拉·贝盖林 :
ElGamal加密的正式认证。 安全和信任的形式方面 2008 : 1-19 2006 【c2】 圣地亚哥·扎内拉·贝盖林 , 古斯塔沃·贝塔特 , 卡洛斯·卢纳 :
MIDP 2.0安全模型的正式规范。 安全与信任的形式方面 2006 : 220-234 2005 【c1】 圣地亚哥·扎内拉·贝盖林 :
使用B方法对Global Platform卡规范进行形式化和验证。 CASSIS公司 2005 : 155-173