2018年欧洲标准普尔:英国伦敦
-
2018年IEEE欧洲安全与隐私研讨会,2018年欧洲标准普尔,英国伦敦,2018年4月24-26日。 美国电气工程师协会 2018 ,国际标准图书编号 978-1-5386-4228-3
基于语言的安全和访问控制
劳伦特·西蒙 , 大卫·奇斯纳尔 , 罗斯·J·安德森 :
你得到的是你的C:控制主流C编译器中的副作用。 1-15 托比·C·穆雷 , 罗伯特·西森 , 凯·恩格尔哈特 :
覆盖:信息流控制的组合验证逻辑。 16-30 卡洛斯·科特里尼 , 蒂洛·维霍恩 , 大卫·A·巴思 :
从稀疏日志中挖掘ABAC规则。 31-46
安全和隐私分析
阿努帕马·阿加瓦尔 , 比马尔·维斯瓦纳特 , 梁张 , 萨拉瓦娜·库马尔 , 阿尤什·沙阿 , 蓬努兰甘·库马拉古鲁 :
我用我的小眼睛监视:分析和检测监视浏览器扩展。 47-61 帕斯卡·贝朗 , 马西亚斯·亨伯特 , 杨章 , 伊琳娜·莱曼 , 罗兰·埃尔斯 , 迈克尔·巴克斯 :
剖析生物医学数据中的隐私风险。 62-76 帕特里克·斯派克 , 马塞尔·斯坦梅茨 , 罗伯特·库内曼 , 米利沃伊·西蒙诺夫斯基 , 吉安卡洛·佩莱格里诺 , 约格·霍夫曼 , 迈克尔·巴克斯 :
关于保护电子邮件基础设施的成本和效率的正式推理。 77-91
网络和通信安全
恰拉·博迪 , 皮耶保罗·德加诺 , Letterio Galletta公司 , 里卡多·福卡迪 , 毛罗·坦佩斯塔 , 洛伦佐·维罗内塞 :
与语言无关的防火墙策略合成。 92-106 马丁·斯特罗梅尔 , 马修·史密斯 , 文森特贷款人 , 伊万·马丁诺维奇 :
真正的头等舱? 从空中交通通信推断机密公司合并和政府关系。 107-121 蒂穆·里蒂拉赫蒂(Teemu Rytilahti) , 丹尼斯·塔坦 , 贾诺什·科珀 , 霍尔兹 :
时间大师:NTP生态系统概述。 122-136 陈晨 , 丹尼尔·恩里科·阿索尼 , 阿德里安·佩里格 , 大卫·巴雷拉 , 乔治·达尼齐斯 , 卡梅拉·特隆科索 :
TARANET:网络层抗流量分析匿名。 137-152
系统安全
卡安·奥纳利奥卢 , 威廉·K·罗伯逊 , Kirda发动机 :
橡皮擦:你的数据不会回来。 153-166 迈卡·莫顿 , 简·沃纳 , 金氏泛神经炎 , 凯文·斯诺 , 马诺斯·安东纳基斯 , Michalis Polychronakis公司 , 费比安·蒙罗斯 :
异步Web服务器中的安全风险:当性能优化放大了面向数据的攻击的影响时。 167-182 阿米特·瓦苏德万 , 萨加尔·查基 :
拥有你的PI并吃掉它:低成本通用计算平台上的实用安全性。 183-198 克里斯蒂安·瓦斯 , 米卡·朱蒂 , N.阿育王 , 伊万·马丁诺维奇 :
排队:基于行驶轨迹的车辆编队的持续共现验证。 199-213
软件安全
马里奥·沃纳 , 托马斯·恩特卢格(Thomas Unterluggauer) , 大卫·沙芬拉特 , 斯特凡·曼加德 :
物联网设备的基于海绵的控制流保护。 214-226 埃内斯·哥克塔斯 , 本杰明·科伦达 , 菲利普·科佩 , 埃里克·博斯曼 , 乔治·波托卡利迪斯 , 霍尔兹 , 赫伯特·博斯 , 克里斯蒂亚诺·朱弗里达 :
位置无关代码重用:信息披露缺失下ASLR的有效性。 227-242 乔恩·斯蒂芬斯 , 巴巴克·亚德加里 , 克里斯蒂安·科尔伯格 , 索米亚·德布雷 , 卡洛斯·谢德格尔 :
通过隐蔽通道进行概率模糊处理。 243-257
应用密码学1
魏白 , Ciara Lynton公司 , 帕帕曼图夏拉兰波斯 , 米歇尔·马祖雷克 :
了解加密通信中搜索的用户权衡。 258-272 大卫·德勒 , 塞巴斯蒂安·拉马赫 , 丹尼尔·斯拉马尼 :
短双重和N次身份验证-防止ECDSA和更多签名。 273-287 查尔斯·怀特 , 玛雅语Varia :
Crypto Crumple Zones:实现无大规模监控的有限访问。 288-306
会话端通道和故障攻击
卢卡斯·邦 , 尼科拉斯·罗斯纳 , 特夫菲克·布尔坦 :
基于噪声观测的自适应旁道攻击的在线合成。 307-322 渡边拓哉 , Eitaro Shioji先生 , 秋山三崎 , Keito Sasaoka先生 , 八木毅 , 森喜达也(Tatsuya Mori) :
用户屏蔽是否有害? 识别社交账户的攻击者可控制的辅助渠道。 323-337 达米安·波德布尼亚克 , 尤拉杰·索莫洛夫斯基 , 塞巴斯蒂安·辛泽尔 , 曼弗雷德·罗切特 , 保罗·罗斯勒 :
使用错误攻击攻击确定性签名方案。 338-352
应用密码学2
朱佩·W·博斯 , 莱奥·杜卡斯 , 艾克·基尔茨 , 勒波因坦 , 瓦迪姆·柳巴舍夫斯基 , 约翰·沙克 , 彼得·施瓦布 , 格雷戈·塞勒 , 达米安·斯特勒 :
晶体-Kyber:一种基于CCA安全模块-晶格的KEM。 353-367 本杰明·哈莎 , 杰里米亚·布鲁西 :
实时哈希。 368-383 卢克·瓦伦塔 , 尼克·苏利文 , 安东尼奥·桑索 , 纳迪娅·亨宁格 :
寻找曲线波动:野外测量椭圆曲线的实现。 384-398
知识的系统化
尼古拉斯·帕普诺特 , 帕特里克·D·麦克丹尼尔 , 阿鲁纳什-辛哈 , 迈克尔·威尔曼 :
SoK:机器学习中的安全和隐私。 399-414
协议安全性
保罗·罗斯勒 , 克里斯蒂安·梅因卡 , 约格·施文克 :
多即是少:Signal、WhatsApp和Threema中群聊的端到端安全。 415-429 Véronique Cortier公司 , 大卫·加林多 , 马修·图鲁阿尼 :
Neuchatel电子投票协议的形式化分析。 430-442 Marjan Skrobot公司 , 让·兰克雷农 :
基于游戏的密码认证密钥交换的可组合性研究。 443-457
安全与学习
朱紫云 , 都铎·杜米特拉斯 :
ChainSmith:通过挖掘威胁情报报告自动学习恶意活动的语义。 458-472 柯旭 , 李英九 , 罗伯特·H·邓 , 陈凯(Kai Chen) :
DeepRefiner:应用深度神经网络的多层安卓恶意软件检测系统。 473-487 欧文·奎林 , 丹尼尔·阿普 , 康拉德·里克 :
被遗忘的兄弟:统一对机器学习和数字水印的攻击。 488-502