2020年欧洲标准普尔:意大利热那亚
IEEE欧洲安全与隐私研讨会,2020年欧洲标准普尔,意大利热那亚,2020年9月7日至11日。 电气与电子工程师协会 2020 ,十亿 978-1-7281-5087-1
第1部分: 软件安全
王培(音译) , 张金泉 , 王帅(Shuai Wang) , 吴定浩 :
遗留二进制代码随机化局限性的定量评估。 1-16 沙奇·米什拉 , Michalis Polychronakis公司 :
Saffire:针对代码重用攻击的上下文敏感函数专门化。 17-33 劳伦特·西蒙 , 阿卡什·维玛 :
通过受控编译改进模糊处理。 34-52 本杰明·鲍曼 , H.Howie Huang先生 :
VGRAPH:使用代码属性三元组的健壮易受攻击的代码克隆检测系统。 53-69
第2部分: 安全和隐私中的人为因素
胡学慧 , 吉列尔莫·苏亚雷斯(Guillermo Suarez de Tangil) , Nishanth Sastry公司 :
真实浏览器历史中第三方跟踪器的多国研究。 70-86 迭戈·塞普雷博尼 , 卢卡·维甘 :
X战警:一种基于变异的安全仪式形式分析方法。 87-104 亚当·D·G·詹金斯 , Pieris Kalligeros公司 , 卡米·瓦尼娅 , 玛丽亚·沃尔特斯 :
“还有人看到这个错误吗?”:社区、系统管理员和修补程序信息。 105-119 德比亚尼·萨哈 , 陈净心 , 布鲁克·斯泰西 , 基兰·贾夫卡 , 苏珊·帕特卡 , 米歇尔·马祖雷克 :
用户对直接消费者基因检测的态度。 120-138
第三部分: 人工智能安全
尼尔·曼戈卡 , 嘉蒙铺 , 帕兰塔帕·巴塔查里亚 , 钱丹·雷迪 , 比马尔·维斯瓦纳特 :
杰基尔:使用深层生成模型攻击医学图像诊断。 139-157 亚历山大·沃内克 , 丹尼尔·阿普 , 克里斯蒂安·雷森格尔 , 康拉德·里克 :
评估安全深度学习的解释方法。 158-174 Te Juin Lester Tan先生 , 雷扎·肖克里 :
深度学习中的绕过后门检测算法。 175-183 朱利奥·洛维斯托 , 西蒙·埃伯茨 , 伊万·马丁诺维奇 :
生物识别后门:针对无监督模板更新的毒药攻击。 184-197 菲利普·斯佩尔 , 清玉高 , 陈鹏(音) , 肖磊 , 康斯坦丁·勃廷格 :
DLA:对手示例检测的密集层分析。 198-215
第4部分: 区块链和加密协议安全
拉尔夫·库斯特斯 , 朱利安·利特克 , 约翰内斯·米勒 , 丹尼尔·劳什 , 安德烈亚斯·沃格特 :
Ordinos:一个可验证的账单隐藏电子投票系统。 216-235 迈克·格拉夫 , 拉尔夫·库斯特斯 , 丹尼尔·劳什 :
许可区块链中的责任:超级账本结构的形式分析。 236-255 拉尔斯·布伦杰斯 , 阿格洛斯·凯亚斯 , 埃利亚斯·库索皮亚斯 , 艾卡捷琳·帕纳吉奥塔·斯托卡 :
股份池奖励分享计划。 256-275 李新余 , 景旭 , 张振峰 , 小兰 , 王玉晨 :
OAuth 2.0在三方环境中的模块化安全分析。 276-293
第5部分: 系统安全
阿尔贝托·索尼诺 , 谢哈尔·巴诺 , 穆斯塔法·阿勒巴萨姆 , 乔治·达尼齐斯 :
重放碎片分布式账本中针对跨硬盘共识的攻击和防御。 294-308 雅各布·科舍尔 , 克里斯蒂亚诺·朱弗里达 , 赫伯特·博斯 , 卡维·拉扎维 :
TagBleed:使用标记TLB在隔离内核地址空间上中断KASLR。 309-321 伊奥安尼斯·阿加达科斯 , 尼古拉·阿加达科斯 , 杰森·波拉基斯 , 穆罕默德·阿默尔 :
变色龙的遗忘:用于协议认知射频设备指纹识别的复杂值深层神经网络。 322-338 吉拉尔多 , 萨汉·哈迪扎德·卡法什 , 贾斯汀·鲁思 , 阿尔瓦罗·A·Cárdenas :
DARIA:设计致动器以抵御针对网络物理系统的任意攻击。 339-353
第6部分: 隐私1
里沙布·波达尔 , 斯蒂芬妮·王 , 陆建安 , 罗卢卡·阿达·波帕 :
对加密数据库的实际基于卷的攻击。 354-369 米哈拉离子 , 本·克鲁特 , 艾哈迈特·埃尔汉·内尔吉兹 , 萨瓦·帕特尔 , Shobhit Saxena公司 , 卡恩·塞思 , 玛丽亚娜·雷科娃 , 大卫·沙纳汉 , 莫蒂·容格(Moti Yung) :
关于部署安全计算:专用交叉口-Sum-with-Cardinality。 370-389 贝利·卡斯玛 , 巴西特·库拉姆 , 尼尔斯·卢卡斯 , 亚历山大·诺顿 , 马苏梅·沙菲内贾德 , 尚志伟 , 亚瑟·巴塞里 , 玛丽亚姆·塞佩赫里 , 西蒙·奥亚 , 弗洛里安·克什鲍姆 :
不同的私人两方设置操作。 390-404 简·卡梅尼什 , Manu Drijvers公司 , 安贾·莱曼 , 格雷戈里·内文 , 帕特里克·托瓦 :
V2V通信的匿名身份验证区域加密。 405-424
第7部分: 自主车辆和物联网的安全
Stephan Wesemeyer公司 , Ioana Boureanu公司 , 扎克·史密斯 , 海伦·特雷哈恩 :
LoRaWAN密钥建立的广泛安全验证:不安全和补丁。 425-444 大卫·柯红 , 约翰·克鲁斯特曼 , 金玉奇 , 曹玉龙 , 齐·阿尔弗雷德·陈 , 斯科特·马勒克 , Z.莫利·毛 :
AVGuardian:检测和缓解自动车辆系统的发布订阅过度权限。 445-459 克里斯托弗·希克斯 , 弗拉维奥·D·加西亚 :
V2X中不可链接ECDSA假名的车辆DAA方案。 460-473 罗伯托·佩迪斯基 , 托马斯·帕帕斯特吉奥 , 奥马尔·阿拉维 , 马诺斯·安东纳基斯 :
IoTFinder:通过被动DNS流量分析对物联网设备进行高效的大规模识别。 474-489
第8部分: 隐私2
埃哈布·埃尔萨拉穆尼 , 帕拉米德西卡图西亚 :
广义迭代贝叶斯更新及其在隐私保护机制中的应用。 490-507 Inken Hagestedt公司 , 马西亚斯·亨伯特 , 帕斯卡·贝朗 , 伊琳娜·莱曼 , 罗兰·埃尔斯 , 迈克尔·巴克斯 , 杨章 :
DNA甲基化数据库的成员推断。 509-520 云辉龙 , 王磊 , 地月卜 , 文森特·宾施凯德勒 , 王晓峰 , 海旭汤 , 卡尔·A·冈特 , 陈凯(Kai Chen) :
机器学习模型成员关系推理的实用方法。 521-534 诺亚·M·约翰逊 , 约瑟夫·P·尼尔 , 约瑟夫·海勒斯坦 , 黎明之歌 :
合唱团:构建可扩展差异隐私机制的编程框架。 535-551
第9部分: Web安全和隐私
孙一欣 , Kangkook Jee公司 , 苏珊妮·西瓦坤 , 李志春 , 克里斯蒂安·卢梅扎努 , 劳里·科茨-佩恩 , 吴振宇 , 李荣焕 , 郑焕金(Chung Hwan Kim) , 绿洲 , Pratek Mittal公司 :
用程序DNS行为检测恶意软件注入。 552-568 拉德赫什·克里希南·科诺 , 比约恩·费舍尔 , 万·J·福克金 , 埃利亚斯·阿萨纳索普洛斯 , 卡维·拉扎维 , 赫伯特·博斯 :
安全支付:加强任意交易的双重身份验证。 569-586 卡斯滕·鲍姆 , 托尔·卡斯珀·弗雷德里克森 , 朱莉娅·黑塞 , 安贾·莱曼 , 阿维沙·亚奈 :
PESTO:主动保护分布式单点登录,或如何信任黑客服务器。 587-606 Sourena Maroofi公司 , 马西耶·科尔钦斯基 , 克里斯蒂安·海塞尔曼 , 贝诺安培 , 安德烈·杜达 :
COMAR:泄露域名与恶意注册域名的分类。 607-623 劳伦特·丘特 , 阿卜杜勒·拉赫曼 , 拉尔夫·萨西 , 克里斯托夫·斯普伦格 , 大卫·A·巴思 , 阿德里安·佩里格 :
SoK:授权与撤销,网络信任链中缺失的环节。 624-638
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)