2016年欧洲标准普尔:德国萨尔布吕肯
-
IEEE欧洲安全与隐私研讨会,2016年欧洲标准普尔,德国萨尔布吕肯,2016年3月21日至24日。 电气与电子工程师协会 2016 ,国际标准图书编号 978-1-5090-1751-5 埃亚尔·罗宁 , 阿迪·沙米尔 :
物联网设备上的扩展功能攻击:智能灯案例。 3-12 丹尼尔·斯科佩 , 穆萨德·巴利乌 , 本杰明·C·皮尔斯 , 安德烈·萨贝尔菲尔德 :
显式保密:污点跟踪策略。 15-30 塞琳娜·G·瓦尔 , 迈克尔·恩内斯库 , 萨姆·贝利斯 , 威廉·埃洛 , 艾伦·J·胡 :
精确测量定量信息流:10K行代码及其以外。 31-46 斯特凡诺·卡尔扎瓦拉 , 伊利亚·格里什琴科 , 马泰奥·马菲 :
HornDroid:通过SMT解决方案对Android应用程序进行实用且可靠的静态分析。 47-62 布里奇·哈恩 , Rishab Nithyanand公司 , 菲利普·吉尔 , 罗布·约翰逊 :
无国界游戏:作为隐蔽频道调查视频游戏。 63-77 雨果·克劳茨克 , 霍特克·维 :
OPTLS协议和TLS 1.3。 81-96 绍克·莫 , 豪尔赫·托罗·波佐 , 罗兰多·特鲁希略·拉苏阿 :
一类基于预计算的距离绑定协议。 97-111 本杰明·穆德 , 德巴扬·古普塔 , 亨利·卡特 , 凯文·巴特勒 , 帕特里克·特雷纳 :
护卫舰:一个经过验证的、可扩展的、高效的安全计算编译器和解释器。 112-127 王培(音译) , 王帅(Shuai Wang) , 蒋明 , 姜宇飞 , 吴定浩 :
跨语言模糊处理。 128-144 多米尼克·德弗里斯 , 拉尔斯·比克达尔 , 弗兰克·皮森斯 :
用逻辑关系和效果参数推理对象能力。 147-162 马可·瓜尼埃里 , 斯尔詹·马里诺维奇 , 大卫·A·巴思 :
强大且安全的数据库访问控制。 163-178 信阳葛 , Nirupama Talele公司 , 马蒂亚斯·帕耶 , 特伦特·杰格 :
内核软件的细粒度控制流完整性。 179-194 加里尼·祖卡内里 , 乔治·西奥多拉科普洛斯 , 休皮革 , 马赫什·K·玛丽娜 :
从匿名移动数据推断用户路径。 199-213 罗伯特·安内西 , 马丁·施密德克 :
NavigaTor:寻找更快的匿名途径。 214-226 拉尔夫·库斯特斯 , 托马斯·特鲁德隆 :
重加密RPC混合网的安全性分析。 227-242 曼努埃尔·巴博萨 , 伯纳多·波特拉 , 纪尧姆·斯卡里 , 博格丹·瓦林斯基 :
基于硬件的认证计算基础及其在SGX中的应用。 245-260 阿育库玛C。 , 拉维·普拉卡什·吉里 , 伯纳德·梅内泽斯 :
缓存访问攻击中AES密钥检索的高效算法。 261-275 斯坦尼斯劳·贾勒基 , 阿格洛斯·凯亚斯 , 雨果·克劳茨克 , 徐嘉玉 :
高效且可组合的密码保护秘密共享(或:如何在线保护您的比特币钱包)。 276-291 亚历克斯·比尤科夫 , 丹尼尔·迪努 , 德米特里·霍夫拉托维奇 :
Argon2:用于密码散列和其他应用程序的新一代内存卡功能。 292-302 卡提克·纳亚克 , 斯利詹·库马尔 , 安德鲁·米勒 , 伊莱恩·施 :
顽固挖掘:泛化自私挖掘并结合Eclipse攻击。 305-320 克里斯蒂安·梅因卡 , 弗拉迪斯拉夫·姆拉德诺夫 , 约尔格·施温克 :
不要相信我:使用恶意IdP分析和攻击单一登录。 321-336 张宁(Ning Zhang) , 何荪 , 孙坤 , 文静楼 , 侯义伟(Yiwei Thomas Hou) :
CacheKit:使用缓存不相干避免内存内省。 337-352 安德烈亚斯·古特曼 , 凯伦·雷诺 , 约瑟夫·马奎尔 , 彼得·梅耶 , 梅兰妮·沃卡默 , 松浦康达 , Jörn Müller-Quade公司 :
ZeTA-Zero-Trust认证:依靠天生的人类能力,而不是技术。 357-371 尼古拉斯·帕普诺特 , 帕特里克·D·麦克丹尼尔 , 萨默什·贾 , 马特·弗雷德里克森 , Z.Berkay Celik先生 , 阿南特拉姆·斯瓦米 :
对手环境下深度学习的局限性。 372-387 苏珊妮·西瓦坤 , 伊索纳斯·波拉基斯 , 安杰洛斯·科洛米提斯(Angelos D.Keromytis) :
我是机器人:(深度)学习打破语义图像验证码。 388-403 帕维尔·萨拉乔夫斯基 , 劳伦特·丘特 , 阿德里安·佩里格 :
PKI安全网(PKISN):解决TLS生态系统的Too-Big-Be-Revoked问题。 407-422 西尔万·弗雷 , 耶希亚·埃尔哈提卜 , 阿韦斯·拉希德 , 卡罗琳娜·福利斯 , 约翰·维德勒 , 尼古拉斯·J·P·雷斯 , 克里斯托弗·爱德华兹 :
它会弯曲但会断裂吗? 欧洲BGP基础设施的拓扑分析。 423-438 文森特·泰勒 , 里卡多·斯波劳尔 , 毛罗·孔蒂 , 伊万·马丁诺维奇 :
AppScanner:从加密网络流量中自动指纹智能手机应用程序。 439-454 蒂尔曼·弗洛什 , 克里斯蒂安·梅因卡 , 克里斯托夫·巴德 , 弗洛里安·伯格斯玛 , 约尔格·施温克 , 霍尔兹 :
TextSecure有多安全? 457-472 史蒂夫·克莱默 , 彼得·B·Rønne :
对杜还是不对杜:杜威的安全分析。 473-486