12.ARES 2017:意大利雷吉奥·卡拉布里亚
第12届可用性、可靠性和安全性国际会议记录,意大利雷焦卡拉布里亚,2017年8月29日至9月1日。 ACM公司 2017 ,国际标准图书编号 978-1-4503-5257-4
ARES全文: 全文I-最佳论文
大卫·伯恩哈德 , 奥克萨纳·库利克 , 梅兰妮·沃卡默 :
Helios投票计划参与隐私、无收据和投票隐私的安全证明。 1:1-1:10 阿纳托利·卡利施 , 约翰内斯·戈茨弗里德 , 蒂洛·米勒 :
VMAttack:消除基于虚拟化的打包二进制文件的混淆。 2:1-2:10 Jordi Soria肿瘤 , 约塞普·多明戈·费勒 :
准确且可靠的私有合成数据集的非参数模型。 3:1-3:10
ARES全文: 完整II-应用程序
恩里科·斯齐亚沃尼 , 安德烈亚·塞卡雷利 , 安德烈亚·邦达瓦利 :
远程服务非重复的连续生物特征验证。 4:1-4:10 伊亚科沃斯·古鲁良 , 康斯坦蒂诺斯·马尔坎托纳基斯 , 拉贾·纳伊姆·阿克兰 , 基思·梅耶斯 :
近距离关键应用的人工环境。 5:1-5:10 汤姆·阿尔扬尼科夫 , 西蒙·迪默特 , Sudhakar Ganti公司 , 克洛伊·兰普曼 , 爱德华·C·威比 :
使用马尔可夫链建模传感器网络可靠性。 6:1-6:10
ARES全文: 完整III-信托
卡尔顿牧羊犬 , 拉贾·纳伊姆·阿克兰 , 康斯坦蒂诺斯·马尔坎托纳基斯 :
为具有可信执行环境的遥感设备建立相互可信的信道。 7:1-7:10 雷达·亚奇 , 诺拉纸杯 , 油炸杯 :
在云计算中启用信任评估:基于相似性的方法。 8:1-8:9 彼得·梅耶 , 亚历山德拉·昆兹 , 梅兰妮·沃卡默 :
信息安全背景下的可靠行为因素。 9:1-9:10
ARES全文: 第四部分-密码学
迈克尔·罗斯伯格 , 马库斯·泰尔 :
使用短PIN安全注册证书。 10:1-10:9 Xavier Bultel公司 , 拉杜·库卡努 , 马蒂厄·吉拉德 , 帕斯卡·拉福卡德 :
使用MapReduce进行安全矩阵乘法运算。 11:1-11:10
ARES全文: ARES Full V-安全模型和数据责任
安德烈亚·图迪斯 , 阿尔弗雷多·加罗 , 特蕾莎·加洛 , 多梅尼科·萨卡 , 西蒙娜·西蒂尼诺 , 萨布丽娜·格拉齐亚诺 , 最大Mühlhäuser :
通过仿真和贝叶斯网络进行系统风险建模和评估。 12:1-12:10 安德烈亚·图迪斯 , 罗尔夫·埃格特 , 最大Mühlhäuser :
通过仿真进行智能电网评估的攻击场景建模。 13:1-13:10 里卡多·奈斯 , 加里·斯特里 , 伊戈尔·奈·福维诺 :
基于区块链的数据责任和原产地跟踪方法。 14:1-14:10
ARES全文: ARES Full VI隐私I
Spyros Boukoros公司 , 斯特凡·卡岑贝塞尔 :
测量高维微数据收集中的隐私。 15:1-15:8 塞巴斯蒂安·芬克 , 亚历山大·维斯迈尔 , 约格·道伯特 :
用于测量强制隐私的受限PET成分。 16:1-16:10 康斯坦蒂诺斯·安杰洛普洛斯 , 瓦西里基·迪亚曼托普鲁 , 哈拉兰博斯·穆拉蒂迪斯 , 米歇尔·帕夫利迪斯 , 马蒂亚·萨尔尼罗河 , 保罗·乔治尼 , 何塞·弗兰。 鲁伊斯 :
电子政务中隐私保护的整体方法。 17:1-17:10
ARES全文: ARES Full VII隐私II
托马斯·古琴 , 摩根理发师 , 帕特里克·拉查姆 , Gildas Avoine公司 , 克里斯托弗·罗森伯格 :
记忆雕刻可以最终揭开你嵌入的个人数据。 18:1-18:9 赛义德·易卜拉欣·阿尔卡塔尼 , 李淑君 :
PPAndroid-Benchmarker:安卓设备隐私保护系统基准测试。 19:1-19:10
ARES全文: Ares Full VIII-网络安全和入侵检测
阿约沙·朱德迈耶 , 约翰娜·乌尔里奇 , 乔治·默兹多夫尼克 , Artemios G.Voyiatzis公司 , 埃德加·魏普 :
用于保护IPv6 IoT的轻量级地址跳跃。 20:1-20:10 诺伯特·布莱恩 , 文森特·吉特 , 克里斯蒂安·多尔 :
通过互联网反向散射量化拒绝服务攻击的范围。 21:1-21:10 马丁·胡萨克 , 雅罗斯拉夫·卡斯帕 , 埃利亚斯·布哈布 , 帕维尔·塞莱达 :
网络安全警报分析中的序列模式和规则挖掘。 22:1-22:10 昆汀·勒·斯凯勒(Quentin Le Sceller) , ElMouatez Billah Karbab公司 , 穆拉德·德巴比 , 法尔库德·伊克巴尔 :
声纳:通过推特流自动检测网络安全事件。 23:1-23:11
ARES短文: ARES Short I-密码学
尼尔斯·勒肯 :
具有访问控制的可搜索加密。 24:1-24:6 阿尔弗雷多·德·桑提斯 , 曼纽拉·弗洛雷斯 , 芭芭拉·马苏奇 :
单边消息实体身份验证方案。 25:1-25:6 弗朗西斯科·布卡弗里 , 吉安卢卡·拉克 , 塞雷娜·尼古拉佐 , 安东尼诺·诺塞拉 :
为物联网应用克服区块链的限制。 26:1-26:6
ARES短文: ARES Short II-物联网与安全工程
泽珊·阿里·汗 , 约翰娜·乌尔里奇 , Artemios G.Voyiatzis公司 , 彼得·赫尔曼 :
物联网的基于信任的弹性路由机制。 27:1-27:6 穆罕默德·阿杰马尔·阿扎德 , Samiran袋子 , 冯浩 :
M2M-REP:物联网中机器的声誉。 28:1-28:7 Sravani Teja Bulusu公司 , 罗曼·拉博德 , 艾哈迈德·萨默·瓦赞 , 弗朗索瓦·巴雷 , 阿卜杜勒马利克·本泽克里 :
我应该选择哪种安全需求工程方法 走向基于需求工程的评估方法。 29:1-29:6 马可·拉索里 , Pericle Perazzo公司 , 吉安卢卡·迪尼 :
一种低成本的基于无人机的安全位置验证方法。 30:1-30:6
ARES短文: ARES Short III-安全监测与分析
马库斯·沃森伯格 , 弗洛里安·斯科皮克 , 马克斯·兰道尔 , 菲利普·格里特鲍尔 , 罗曼·费德勒 , 沃尔夫冈·卡斯特纳 :
用于测井数据半监督异常检测的增量聚类。 31:1-31:6 卢卡·阿洛迪 , 法比奥·马萨奇 :
影响和复杂性方面的攻击潜力。 32:1-32:6 塞巴斯蒂安·诺伊纳 , Artemios G.Voyiatzis公司 , 马丁·施密德克 , 埃德加·魏普 :
时间戳故障:检测NTFS上被操纵的文件系统时间戳。 33:1-33:6 Shankar Karuppayah公司 , 利昂·博克 , 蒂姆·格鲁布 , 塞尔瓦库马尔·马尼卡姆 , 最大Mühlhäuser , 马蒂亚斯·费舍尔 :
SensorBuster:关于识别P2P僵尸网络中的传感器节点。 34:1-34:6
ARES短文: ARES Short IV-应用
尤斯拉·贾维德 , 穆罕默德·谢哈布 , 埃马纽埃尔·贝洛·奥古努 :
调查用户对苹果Touch ID技术的理解和风险感知。 35:1-35:6 Soha Alboghdady公司 , 史蒂芬温特 , 阿迈德·塔哈 , 张恒(Heng Zhang) , Neeraj Suri公司 :
来吧:监控云服务对签约物业的合规性。 36:1-36:6 马塞尔·布施 , Mykolai Protsenko公司 , 蒂洛·米勒 :
Android应用程序的基于云的编译和强化平台。 37:1-37:6 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 :
使用Visual Analytics实现比特币流。 38:1-38:6
2017年票价: FARES I——关键基础设施和网络物理
克里斯托夫·费泽尔 , 乔瓦尼·马泽奥 , 约翰·奥利弗 , 路易吉·罗曼诺 , 马尔蒂恩·维尔堡 :
在SERECA中集成反应式云应用程序。 39:1-39:8 菲利普·克莱梅尔 , 奥利弗·艾格纳 , 保罗·塔瓦里奥 :
基于异常的网络物理系统攻击检测和分类。 40:1-40:6
2017年票价: FARES II-身份管理和访问控制
高田铁司 :
身份验证关闭器:通过可用性控制对抗密码重用攻击的替代对策。 41:1-41:9 阿卜杜拉赫曼·阿勒鲁班 , 内森·克拉克 , 李福东 , 史蒂文·弗内尔 :
使用生物识别技术进行内幕人员误用归因。 42:1-42:7 奥尔加·基塞尔曼 , 阿诺·瓦克 , 格雷戈·席勒 :
k-rAC:一种用于分布式哈希表的细粒度k-Resilient访问控制方案。 43:1-43:10 奥利维尔·布拉齐 , Emmanuel Conchon公司 , 保罗·格尔穆蒂 , 阿曼丁·詹姆伯特 :
高效的基于ID的指定验证人签名。 44:1-44:8
2017年票价: FARES III-代码安全和隐私
凯文·基什内尔 , 斯特凡·罗森塔勒 :
bin2llvm:使用LLVM中间表示法分析二进制程序。 45:1-45:7 米歇尔·威洛克斯 , 简·沃萨特 , 文森特·纳塞斯 :
GooglePlay中Cordova应用程序的安全分析。 46:1-46:7 尼古拉斯·阿金约坤 , 凡妮莎·蒂格 :
支持NFC的非接触式支付系统的安全和隐私影响。 47:1-47:10 尼古拉斯·P·卡维拉斯 , 马吕斯·森夫特勒本 , 斯特凡·卡岑贝塞尔 :
以隐私保护的方式写微博。 48:1-48:6
2017年票价: FARES IV——安全模型和方法
罗伯特·P·李 , 康斯坦蒂诺斯·马尔坎托纳基斯 , 拉贾·纳伊姆·阿克兰 :
使用硬件-软件绑定配置软件。 49:1-49:9 恩里科水果 , 费德里卡·弗雷斯基 , 大卫·安德烈奥莱蒂 , 安吉洛·康索利 :
受害者通信堆栈(VCS):选择人类攻击向量的灵活模型。 50:1-50:6 Sigurd Eskeland公司 :
完全门限广播加密。 51:1-51:5 Partha P.Pal公司 , 纳撒尼尔·索尔 , 内特·拉格曼 , 谢恩·克拉克 , 马可·卡瓦略 , 阿德里安·格拉纳多斯 , 安东尼·阿尔维斯 :
自适应资源管理支持欺骗(ARMED)。 52:1-52:8
2017年WSDF: WSDF一
2017年WSDF: WSDF二
奥伦·哈瓦尼 , 克里斯蒂安·温特 , 卢卡斯·格拉纳 :
关于作者验证压缩模型的实用性。 54:1-54:10 坦维尔·A·齐亚 , 刘鹏 , 韩伟力 :
物联网(IoT)中特定应用的数字取证调查模型。 55:1-55:7 克里斯托弗·梅弗特 , 德文·克拉克 , 易卜拉欣·M·巴吉利 , 弗兰克·布雷廷格 :
物联网取证状态采集(FSAIoT):通过物联网设备状态采集进行物联网取保的一般框架和实用方法。 56:1-56:11
IWSMA 2017: IWSMA一
阿贝尔·贾拉 , 穆罕默德·谢哈布 :
恶魔正在配置中:重访混合移动应用程序配置模型。 57:1-57:10 艾曼·优素福 , 艾哈迈德·肖沙 :
Android阿拉伯语应用程序中隐私泄露的定量动态Taint分析。 58:1-58:9 Khanh-Huu-The大坝 , 泰西尔·图利 :
学习Android恶意软件。 59:1-59:9
2017年IWCC: 国际捕鲸委员会I
梅丽琳·莫纳罗 , 里卡多·斯波劳尔 , 李倩倩 , 毛罗·孔蒂 , 卢西亚诺·甘贝里尼 , 朱塞佩·萨托里 :
键入真相!: 通过按键动态检测欺诈用户。 60:1-60:6 纳塔利亚·维拉吉奇 , 薛英石 , 哈姆泽·鲁马尼 , Pooria Madani公司 :
HTML5中的资源提示:安全噩梦的新潘多拉盒子。 61:1-61:9
2017年IWCC: 国际捕鲸委员会II
奥尔汉·埃尔米斯 , 塞里夫·巴提亚尔 , 埃明·阿纳里姆 , M.Ufuk Jo aglayan先生 :
动态组密钥协商协议可扩展性的比较研究。 62:1-62:6 马苏梅·塞佩赫里 , 阿尔贝托·特隆贝塔 :
基于属性的代理重加密方案实现安全高效的数据共享。 63:1-63:6
SAW 2017: SAW一
多罗蒂亚·帕普 , Levente Buttyán公司 , 马振东 :
软件安全保证中基于触发器行为的半自动检测。 64:1-64:6 瓦克拉夫·斯塔普卡 , 马丁·霍拉克 , 马丁·胡萨克 :
在安全警报共享平台中保护个人数据。 65:1-65:8 萨姆·普洛克特 , 尤金·瓦瑟曼 , 约翰·哈特克利夫 :
安全与保障:在新的危险分析中深度整合安全。 66:1-66:10 丹尼尔·泽尔 , 克里斯托夫·克劳 , 休伯特·斯特劳 , 卡斯滕·施密特 :
关于使用TLS保护车内网络。 67:1-67:10
2017年上交所: SSE I-DevSecOps和云计算
布莱恩·普弗雷茨施纳 , 洛特菲·本·奥斯曼 :
识别Node.js上基于依赖关系的攻击。 68:1-68:6 马丁·吉杰·贾顿 , 丹妮拉·克鲁兹 , 耶稣卢娜 :
DevOps for Better Software Security in the Cloud邀请论文。 69:1-69:6 Hasan Yasar公司 :
为高度管控的环境实施安全DevOps评估。 70:1-70:3
2017年上交所: SSE II-敏捷安全软件开发
帕尔·斯特凡·穆尔维 , 博格丹·格罗扎 :
通过软件层的故障注入对控制器局域网的DoS攻击。 71:1-71:10 费利克斯·舒克特 , 巴塞尔卡特 , 汉诺·朗维格 :
SQL注入漏洞的源代码模式。 72:1-72:7 帕特里克·迈尔 , 马振东 , 罗德里克·布隆 :
面向敏捷Web应用程序开发的安全SCRUM过程。 73:1-73:8 卡勒·林德尔 , 萨米人咽喉炎 , 勒帕宁维尔 :
打破神话:敏捷安全工程方法回顾。 74:1-74:10
2017年WMA: WMA I-恶意软件检测
约瑟夫·迪维塔 , 罗杰·A·霍尔曼 :
一种使用非参数贝叶斯方法检测僵尸网络恶意软件的方法。 75:1-75:9 法比奥·马蒂内利 , 弗朗西斯科·梅尔卡尔多 , 维多利亚·纳尔多内 , 安东内拉·桑通 :
恶意软件和形式化方法:检测恶意行为的严格方法。 76:1-76:6 托马斯·科马雷克 , 彼得·索莫尔 :
用于HTTPS数据恶意软件检测的端点指纹。 77:1-77:7
2017年WMA: WMA II-防御技术
安德鲁·斯劳特 , 马克·扬波尔斯基 , 曼亚利波·马修斯 , 韦恩·金 , 盖布·格斯 , 伊瓦尔·阿勒维西 :
如何确保金属添加剂制造中的不良质量:从安全角度看原位红外热成像。 78:1-78:10 贾斯珀·阿宾克 , 克里斯蒂安·多尔 :
基于流行度的域生成算法检测。 79:1-79:8 莫阿塔兹·阿卜杜勒·卡莱克 , 艾哈迈德·肖沙 :
JSDES:一个针对恶意JavaScript的自动消除漏洞系统。 80:1-80:13
CUING 2017年: CUING一
费利克斯·伊格莱西亚斯 , 坦尼娅·兹比 :
网络隐蔽定时信道是统计异常吗? 81:1-81:9 阿维纳什·斯里尼瓦桑 , 亨特·东 , 安吉洛斯·斯塔夫鲁 :
FROST:反取证数字死锁ROP信息隐藏RobuST以检测和容错数据丢失。 82:1-82:8 萨宾·S·施密特 , Wojciech Mazurczyk公司 , 约格·凯勒 , 卢卡·卡维利翁 :
具有静音抑制功能的IP电话应用的新数据驻留方法。 83:1-83:6
CUING 2017年: CUING二期
毛罗·孔蒂 , 帕拉维·卡利亚尔 , 查甘·拉尔 :
REMI:物联网的可靠安全组播路由协议。 84:1-84:8 埃利克·霍多 , 泽维尔·J·A·贝勒肯斯 , Ephraim Iorkyase公司 , 安德鲁·汉密尔顿 , 克里斯托斯·塔赫塔齐斯 , 罗伯特·C·阿特金森 :
非Tor流量检测的机器学习方法。 85:1-85:6 安泽·米赫利 , 布拉斯·马克尔 , 伊戈尔·伯尼克 , 萨宾娜·兹加加 :
调查暗网:斯洛文尼亚法律体系的局限性。 86:1-86:7
2017年SECPID: SECPID一
阿恩·比尔豪斯 , 亨里希·科尔斯(Henrich C.Pöhls) , 凯·萨梅林 :
立场文件:可消毒和可还原签名的过去、现在和未来。 87:1-87:9 安德烈亚斯·哈普 , 弗洛里安·沃纳 , 托马斯·洛伦瑟 :
Archistar机密共享备份代理。 88:1-88:8 尼科拉斯·诺塔里奥 , 茜草Eleonora Ciceri , 阿尔贝托·克雷斯波 , 爱德华多·冈萨雷斯-雷亚尔 , 伊利奥·加泰罗洛 , 索罗·维奇尼 :
使用BPM工具协调隐私增强技术和服务:WITDOM数据保护协调器。 89:1-89:7
2017年SECPID: SECPID二
亚历山大·科斯托普洛斯 , Evangelos Sfakianakis公司 , Ioannis P.Chochliouros公司 , 约翰·索伦·佩特森 , 斯蒂芬·克伦 , Welderufael Tesfay公司 , 安德烈亚·米利亚瓦卡 , 费利克斯·霍兰德纳 :
采用安全云身份服务。 90:1-90:7 保罗·格雷斯 , 迈克·瑟里奇 :
建立以用户为中心的隐私保护模型。 91:1-91:8 哈里·哈尔平 :
NEXTLEAP:分散身份与安全消息的隐私。 92:1-92:10
2017年SECPID: SECPID III公司
埃尔库登里奥斯 , 艾德Iturbe , 玛丽亚·卡门·帕拉西奥斯 :
自我修复的多云应用程序建模。 93:1-93:9 塞巴斯蒂安·托马斯·肖克 , 安东尼娅·施维滕贝格 , 斯皮洛斯·亚历克萨基斯 , 乔治·摩尔多瓦 :
整体数据隐私和安全框架PaaWord的应用:专注于工业试点中的集成。 94:1-94:10
S-CI 2017: S-CI I——网络安全和关键基础设施
卢卡斯·贾格尔 , 理查德·佩特里 , 安德烈亚斯·富克斯 :
滚动DICE:COTS物联网硬件的轻量级远程认证。 95:1-95:8 阿尔乔萨·帕西奇 , 何塞·拉蒙·马丁内斯·萨利奥 , 苏珊娜·冈萨雷斯-扎尔佐萨 , 罗德里戈·迪亚兹 :
ZONESEC:广域监控系统内置网络安全。 96:1-96:5 克里斯蒂安·弗里斯塔德 , 卡琳·伯恩斯梅德 , 每公顷 :
保护未来的海上通信。 97:1-97:10
S-CI 2017: S-CI II-关键基础设施系统网络安全工具
穆斯塔法·阿尤布 , 瓦尔·阿迪 , 瓦西里斯·普雷维拉基斯 :
在ITS系统中使用密码进行故障恢复。 98:1-98:7 Kubilay Demir公司 , Neeraj Suri公司 :
面向DDoS攻击抵御广域监控系统。 99:1-99:7 埃尔西·霍多 , 斯蒂芬·格雷贝纽克 , 亨利·鲁特萨拉宁 , 保罗·塔瓦里奥 :
模拟IEC-60870-5-104 Trafiic的异常检测。 100:1-100:7
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)