2017年第47届DSN:美国科罗拉多州丹佛
第47届IEEE/IFIP可靠系统和网络国际年会,DSN 2017,丹佛,科罗拉多州,美国,2017年6月26-29日。 IEEE计算机学会 2017 ,十亿 978-1-5386-0542-4
最佳论文奖提名人
李景伟 , 川秦 , 帕特里克·P·C·李 , 张晓松 :
通过频率分析实现加密重复数据消除中的信息泄漏。 1-12 菁瑶范 , 李庆华 , 曹国宏 :
通过智能电表披露隐私:基于无功功率的攻击和防御。 13-24 王国赛 , 张立飞(Lifei Zhang) , 徐伟 :
我们可以从四年的数据中心硬件故障中学到什么? 25-36
算法和协议
保罗·科埃略 , 尼古拉斯·席珀 , 费尔南多·佩多内 :
快速原子组播。 37-48 巴拉吉·阿伦 , 塞巴斯蒂亚诺·佩卢索 , 罗伯托·帕尔米耶里 , 朱利亚诺·洛萨 , 比诺伊·拉文德兰 :
通过快速决策加快共识。 49-60 四思端 , 迈克尔·K·雷特 , 张海滨 :
安全因果原子广播,重温。 61-72
硬件
孟旺(Meng Wang) , 陈慧翔 , 陶莉 :
减少可靠性的“负担”:移动设备中敏捷数据持久化的硬件方法。 73-84 阿明·贾迪迪 , 穆罕默德·阿乔曼德 , 穆罕默德·卡瓦里·塔瓦纳 , 大卫·R·凯利 , 马赫穆特·坎德米尔 , 契塔·R·达斯 :
探索PCM存储器中协作数据压缩和硬容错的潜力。 85-96 贝罗斯·桑切利(Behrooz Sangchoolie) , 卡提克·帕塔比拉曼 , 约翰·卡尔森 :
一位是(不够)的:单位和多位滑动错误影响的实证研究。 97-108
符号执行和合成工具
范尧 , 李永波 , 陈玉荣 , 薛宏发 , 田兰 , 文卡塔拉马尼大师 :
StatSym:通过统计引导的符号执行发现易受攻击的路径。 109-120 伊利亚·图佐夫 , 大卫·德·安德烈斯 , 胡安·卡洛斯·鲁伊斯 :
优化综合参数调整的可靠性感知设计空间探索。 121-132 气血潇 , 于晨 , 吴成钢(Chengang Wu) , 康丽 , 毛俊杰 , 郭世泽 , 史元春 :
pbSE:基于阶段的符号执行。 133-144
可信执行
陈天 , 王亚哲 , 刘鹏(音) , 周启辉 , 张成义 , 甄旭 :
IM-Visor:一个防止IME应用程序使用TrustZone窃取敏感按键的Pre-IME防护程序。 145-156 马库斯·布兰登伯格 , 克里斯蒂安·卡钦 , 马蒂亚斯·洛伦茨 , 鲁迪格·卡皮察 :
使用轻量级集合内存的可信执行环境的回滚和分叉检测。 157-168 布鲁诺·瓦瓦拉 , 努诺·费雷拉·内维斯 , 彼得·斯汀基斯特 :
使用小型TCB保护Tera-scale数据压缩。 169-180
二进制文件
许慧(音) , 周扬帆 , 余康 , 迈克尔·R·吕 :
小型双星的协和执行:挑战和实证研究。 181-188 本杰明·科伦达 , 埃内斯·哥克塔斯 , 蒂姆·布拉兹特科 , 菲利普·科佩 , 罗伯特·高利克 , 拉德赫什·克里希南·科诺 , 克里斯蒂亚诺·朱弗里达 , 赫伯特·博斯 , 霍尔兹 :
二进制可执行文件中抗崩溃基本体的自动发现。 189-200 芮乔 , R.塞卡尔 :
函数接口分析:COTS二进制函数识别的一种原理方法。 201-212
云
贝尔纳多·费雷拉 , 约昂·莱特昂 , 恩里克·若昂·多明戈斯 :
基于云的移动应用程序的多模式可索引加密。 213-224 顾金玉 , 华志超 , 夏玉斌 , 陈海波 , Binyu Zang先生 , 海冰关 , 李金明 :
SGX Enclaves在不受信任的云上的安全实时迁移。 225-236 兴高 , 钟书谷 , 穆罕默德·卡亚尔 , 迪米特里奥斯·彭达拉基斯 , 王海宁 :
集装箱泄漏:集装箱云中信息泄漏的新兴安全威胁。 237-248
异常检测
Seunghyeon Lee(李承宪) , Jinwoo Kim(金宇) , 申承元 , 菲利普·波拉斯 , Vinod Yegneswaran公司 :
雅典娜:软件定义网络中可扩展异常检测的框架。 249-260 程峰 , 李婷婷 , Deeph Chana公司 :
通过包签名和LSTM网络在工业控制系统中进行多级异常检测。 261-272 金源佳 , 王炳辉 , 龚振强 :
在线社交网络中基于随机行走的虚假帐号检测。 273-284
无线和传感器
陈志立 , 林晨(Lin Chen) , 洪忠 :
实现安全和可验证的数据库驱动频谱共享。 285-296 李伟汉 , 鲁比·B·李 :
使用传感器和上下文机器学习进行隐式智能手机用户身份验证。 297-308 李伟汉 , 鲁比·B·李 :
基于传感器的智能手机用户隐式身份验证。 309-320 瓦伦·巴德里纳斯·克里希纳 , 迈克尔·劳什 , 本杰明·尤西奇 , 因德拉尼尔·古普塔 , 威廉·桑德斯 :
备注:可达性最大化无线传感器网络中错误读数的P2P检测。 321-332
可靠的系统和软件
雷纳尔·希科夫(Rainer Schiekofer) , 约翰内斯·贝尔 , 托比亚斯·迪斯特勒 :
Agora:一种可靠的多核高性能协调服务。 333-344 伊冯·安·皮诺莱 , 斯特凡·施密德 , 吉尔斯·特雷丹 :
弹性网络的负载最优局部快速重路由。 345-356 朱莉娅·劳瓦尔 , 吉尔斯·穆勒 :
JMake:内核Janitors的可靠编译。 357-366
测量研究
阿米特·克莱恩 , 哈亚·舒尔曼 , 迈克尔·韦德纳 :
暗中计数:DNS缓存互联网中的发现和枚举。 367-378 马塞洛·辛克 , 拉菲尔·德拉·科尔特 , 安东尼奥·佩基亚 :
基于熵的安全分析:来自关键信息系统的度量。 379-390 巴巴克·拉巴里尼亚 , 马尔科·巴尔杜齐 , 罗伯托·佩迪斯基 :
探索(恶意)软件下载的长尾。 391-402
安卓
Yeonjoon Lee公司 , 李同心 , 张楠(Nan Zhang) , 索特里斯·德米特里奥 , 查明明 , 王晓峰 , 陈凯(Kai Chen) , 周晓勇 , 韩新辉 , 迈克尔·格雷斯 :
影子中的幽灵安装程序:安卓应用程序安装的安全分析。 403-414 曲正阳 , 沙希德·阿拉姆 , 闫晨 , 周晓勇 , 王俊红 , 瑞安·D·莱利 :
DyDroid:测量Android应用程序中的动态代码加载及其安全含义。 415-426 顾亚聪 , 孙坤 , 苏普瑞 , 齐丽 , 叶面路 , 凌云莹 , 邓国锋 :
JGRE:Android中JNI全球参考耗尽漏洞分析。 427-438
隐私和安全
拉希德·格雷劳伊 , 安妮·玛丽·科马雷茨 , Rhichek Patra公司 , 马哈茂德·瓦利耶夫 , 王晶晶(音译) :
我对你一无所知,但以下是你可能喜欢的。 439-450 陈平(Ping Chen) , 徐军(Jun Xu) , 胡志胜 , 新余星 , 朱明慧 , 冰毛 , 刘鹏(音) :
你看到的不是你得到的! 《变色龙》的Thwarting Just-in-Time ROP。 451-462 比哈努·埃塞特 , V.N.文卡塔克里希南 :
DynaMiner:利用离线感染分析进行在线恶意软件检测。 463-474
分析模型
卡琳娜·皮尔奇 , 安妮·雷姆克 :
具有多个一般转换的混合Petri网的统计模型检验。 475-486 劳伦特·丘特 , 阿德里安·佩里格 , 胡一春 :
死线软件多径通信:一个优化问题。 487-498 丹尼尔·邓恩 , 塞缪尔·米切尔 , 伊姆兰·萨贾德 , 瑞安·M·戈德斯 , 拉杰尼坎特·夏尔马 , 李明(音) :
常规:半自动车辆流中攻击者引起的交通流不稳定性。 499-510
电力系统与智能电网
刘燕(Yan Liu) , 岳武 , 兹比格涅夫·卡尔巴奇克 :
通过动态故障树分析进行智能维护:新加坡地铁系统的案例研究。 511-518 金圭古 , 林晓军 , Saurabh Bagchi公司 :
RL-BLH:基于学习的电池控制,用于节省成本和保护智能仪表的隐私。 519-530 德文德拉·谢拉 , 孙鹏飞 , 索拉巴·阿明 , 萨曼·佐努兹 :
电力系统运行中经济调度的安全性妥协。 531-542
工具/演示安全和测试工具
奥列克西·奥列克申科 , 德米特里·库瓦伊斯基 , 普拉莫德·巴托蒂亚 , 克里斯托夫·费泽尔 :
费克斯:软件系统评估师。 543-550 伊比利亚-梅德罗斯 , 米盖尔·比特里兹 , 努诺·费雷拉·内维斯 , 米盖尔·科雷亚 :
演示MySQL中的注入攻击预防工具。 551-558 威廉·霍金斯 , 杰森·海瑟 , Michele公司 , 安阮通 , 杰克·W·戴维森 :
Zipr:高效的静态二进制重写以确保安全。 559-566
攻击
本杰明·尤西奇 , 乌塔姆-塔科尔 , 威廉·桑德斯 :
ATTAIN:软件定义网络的攻击注入框架。 567-578 克里斯托弗·纳托利 , 文森特·格拉莫利 :
平衡攻击或为什么Forkable区块链不适合联盟。 579-590 袁瑶 , Bin Xiao先生 , 吴高飞 , 薛柳 , 于志文 , 张开龙 , 周兴社 :
声纹:一种新的基于RSSI的VANETs Sybil攻击检测方法。 591-602
协议和行为分析
吉多·莱娜·科塔 , 索尼娅·本·莫赫塔 , 加布里埃尔·吉亚尼尼 , 埃内斯托·达米亚尼 , 朱莉娅·劳瓦尔 , 吉尔斯·穆勒 , 莱昂内尔·布吕尼 :
用SEINE分析自私泛滥。 603-614 刘代平 , 兴高 , 张明伟(Mingwei Zhang) , 王海宁 , 安吉洛斯·斯塔夫鲁 :
通过性能不一致性检测网络游戏中的被动作弊。 615-626 Endadul Hoque马里兰州 , 奥马尔·乔杜里 , 施耀洲 , 克里斯蒂娜·尼塔·罗塔鲁 , 李宁辉 :
分析用于检测语义错误的状态协议实现的操作行为。 627-638
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)