2018年第48届DSN:卢森堡-研讨会
第48届IEEE/IFIP可靠系统和网络国际年会研讨会,2018年DSN研讨会,卢森堡,2018年6月25-28日。 IEEE计算机学会 2018 ,十亿 978-1-5386-6553-4
行业跟踪会议
Sy-Yen Kuo先生 , 哈里·拉马萨米 , 鲍勃·斯沃兹 , 艾伦·伍德 :
行业轨道前言。 1 穆罕默德·特里格 , 马蒂尔德·马钦 , 罗曼·克奈斯 , 艾曼纽尔·阿巴雷蒂埃 , 趙琚瑶 , 弗洛伦特·梅尔维尔 , 让·范·弗兰克 :
自动驾驶系统:基于模型的安全分析。 2-5 Konstantinos Tovletoglou公司 , 列夫·穆哈诺夫 , 乔治奥斯·卡拉孔斯坦提斯 , 阿萨纳西奥斯·查齐迪米特里奥 , 乔治·帕帕迪米特里奥 , Manolis Kaliorakis公司 , 迪米特里斯·吉佐普洛斯 , 扎卡里亚斯·哈吉兰布鲁 , Yiannakis Sazeides公司 , 亚历杭德罗·兰普普洛斯 , Shidhartha Das公司 , Phong Vo公司 :
服务器级ARMv8 CPU内核和DRAM保护带的测量和开发。 6-9 刘显宇(Xianyu Liu) , 闵政 , 潘爱民 , 全路 :
强化核心:了解和检测XNU内核漏洞。 10-13 粉丝弗雷德·林 , 马特·比顿 , Harish Dattataraya Dixit公司 , 高萨姆·凡纳姆 , 阿莫尔·德赛 , 斯里拉姆·桑卡尔 :
大规模硬件修复。 14-17 弗雷德里科·阿劳霍 , 特丽尔·泰勒 , 张家龙 , Marc Ph.Stoecklin博士 :
网络安全和恢复能力的跨层威胁感知。 18-21 阿蒙·戴加 , 詹姆士菲利普斯 , 乔恩·库里 :
救生员:本地健康意识,更准确地检测故障。 22-25 罗希特·兰查尔 , 普拉文·贾亚昌德兰 :
诊断云管理操作的失败。 26-29 Ozan调谐器 , 尼尔顿·比拉 , 萨斯特里·杜里 , 坎图尔克·伊斯奇 , Ayse K.Coskun公司 :
ConfEx:实现云中软件配置分析的自动化。 30-33 长H.Vu , Venkata N.Pavuluri公司 , 袁池昌 , Deepak S.Turaga公司 , 亚历克斯·钟 , 普拉蒂克·阿格拉瓦尔 , 艾米特·辛格 , Boyi Jiang先生 , 克里希纳·奇鲁塔 :
实时血糖监测的大型系统。 34-37 普拉提克·穆克吉 , 瓦伦蒂娜·萨拉普拉 :
分布式系统环境和工程解决方案中DB2恢复的挑战。 38-42 斯科特·博格 , 帕里贾特·杜布 , 考塔尔El Maghraoui , 本杰明·赫塔 , Waldemar悍马 , K.R.贾亚拉姆 , 拉妮娅·哈拉夫 , Vinod Muthusamy葡萄园 , 迈克尔·H·卡兰塔 , 阿奇特·维尔玛 :
多租户多框架深度学习服务平台的可靠性。 43-46
快速摘要会话快速摘要#1
伊格纳西奥·布兰克尔 , 小瓦格纳·迈拉。 :
EUBra BIGSEA,一个以云为中心的大数据科学研究平台。 47-48 卡洛斯·卡米恩斯基 , Joáo H.Kleinschmidt , Juha-Pekka大豆蛋白 , 卡里·科莱赫梅宁 , 卢卡·罗菲亚 , 马科斯·维索利 , 罗德里戈·菲列夫·迈亚 , 斯特尼奥·费尔南德斯 :
SWAMP:智能水管理平台概述和安全挑战。 49-50 弗朗西斯科·巴西莱罗 , 安德烈·布里托 , 伊格纳西奥·布兰克尔 :
大气:适应、值得信赖、可管理、协调、安全、保密、混合生态系统,用于恢复云计算。 51-52 安德烈·布里托 , 克里斯托夫·费泽尔 :
安全云:在不受信任的云中安全地处理大数据。 53-54 Saurabh Jha公司 , Subho S.Banerjee公司 , 詹姆斯·西里亚克 , Zbigniew T.Kalbarczyk公司 , 拉维山卡·K·伊耶 :
AVFI:自动车辆的故障注入。 55-56 阿尔贝托·巴列斯特罗斯 , 朱利安·普伦扎 , 曼努埃尔·巴兰科 , 路易斯·阿尔梅达 :
关键自适应分布式嵌入式系统的重构策略。 57-58 马塞洛·辛克 , 多梅尼科·科特罗尼奥 :
具有实时容器的混合临界系统中的轻量级时间和故障隔离。 59-60
快速摘要#2
Emmanuelle Anceaume公司 , Yann Busnel公司 , 瓦西尔·卡扎库 :
在时间滑动窗口模型中查找分布式流中最常见的Top-k项。 61-62 伊内斯·阿尔瓦雷斯 , 朱利安·普伦扎 , 曼努埃尔·巴兰科 :
在时间敏感网络上混合时间和空间冗余。 63-64 Jin Bum Hong公司 , 西蒙·优素福·伊诺克 , Dong Seong Kim先生 , Khaled Md.Khan :
动态网络的无状态安全风险评估。 65-66 佩德罗·马奎斯 , 扎亚尼·达巴比 , 米鲁娜·米哈埃拉·米罗内斯库 , 奥利维尔·托纳 , 弗朗西斯·邦坦波(Frances V.Buontempo) , 伊利尔·加希 , 艾莉森·贝萨尼 :
使用多种检测器检测恶意Web刮擦活动。 67-68 阿卜杜拉·阿里·扎伊勒阿卜杜勒·阿卜杜拉·易卜拉欣 , 塞巴斯蒂安·瓦雷特 , 帕斯卡·布夫里 :
通过评估跨多云提供商的SaaS Web服务的性能来验证和确保云SLA。 69-70 法特梅赫·阿亚托拉希 , 约翰·卡尔森 :
误差灵敏度测量变化的来源,是否显著? 71-72 拉妮娅·塔尔比 , 萨拉·布切纳克 , Lydia Y.Chen女士 :
走向动态端到端隐私保护数据分类。 73-74 俞信鸿 , 李洪伟 , 吴宇松 , 冰俊杰 , Yennun Huang(黄燕云) :
HIT:混合模式信息流跟踪,带有污点语义提取和重放。 75-76 安德鲁·吉尔哈特 , 彼得·汉密尔顿 , 乔尔·科夫曼 :
使用非结构化文本分析的自动化软件多样性分析。 79-80 Jaewon Bae公司 , Hyuk Lim公司 :
随机挖掘组选择以防止51%的比特币攻击。 81-82
学生论坛会议
阿卜杜拉·阿里·扎伊勒阿卜杜勒·阿卜杜拉·易卜拉欣 :
PRESEnCE:监控、建模和评估云SaaS Web服务性能的框架。 83-86 萨加·贾 :
Derecho的Mu-Transaction传奇。 87-91 朱利奥·马塞蒂 :
通过Krylov方法和矩阵函数增强可靠性评估:负载共享系统案例。 92-95 西奥博德·里贝罗莱斯 :
空中交通管理系统网络入侵检测工具的设计、开发和实现。 96-99
最佳销售环节
艾伦·伍德 :
2018年最佳SELSE简介。 100 张春凯 , 桑库·莱姆 , 尼古拉斯·凯利 , 迈克尔·B·沙利文 , 马坦·埃雷斯 :
Hamartia:一个快速准确的错误注入框架。 101-108 成云公园 , 李世凯 , 斯科特·马勒克 :
使用回路输出预测的低成本瞬态故障保护。 109-113 伊琳娜·阿拉姆 , 克莱顿·肖尼 , 劳拉·多勒塞克 , 普尼特·古普塔 :
奇偶校验++:最后一级缓存的轻量级错误更正。 114-120
拜占庭共识和弹性区块链研讨会(BCRB 2018)
艾莉森·贝萨尼 , 汉斯·雷瑟 , 马尔科·武科利奇 , 托拜厄斯扰流器 :
BCRB 2018简介。 121 林晨(Lin Chen) , 徐磊 , 高志敏 , 杨璐 , 史伟东 :
保护早期基于工作验证的公共区块链。 122-127 法因 , 费尔南多·佩多内 :
分区区块链的挑战和陷阱。 128-133 佩特尔·加拉莫维奇(Péter Garamvölgyi) , 伊姆雷·科希斯 , 本杰明·盖尔 , 阿提拉·克莱尼克 :
面向网络物理系统智能合约的模型驱动工程。 134-139 迈克尔·埃舍尔 , 托拜厄斯扰流器 :
针对地理位置复杂的拜占庭容错系统的潜在领导者选择。 140-145 吕施先生 , 伊内斯·梅萨迪 , 鲁迪格·卡皮察 :
使用RDMA实现低延迟拜占庭协议协议。 146-151 不,拉科通德拉沃尼 , 汉斯·雷瑟 :
可视化BFT SMR分布式系统-BFT-SMaRt示例。 152-157 李碧君 , 徐文波 , 鲁迪格·卡皮察 :
并行拜占庭容错中的动态状态划分。 158-163
关键嵌入式实时系统的安全性和可靠性第三次研讨会(CERTS 2018)
米凯尔·阿斯普伦德 , 斯宾·默翰 :
CERTS 2018简介。 164-165 埃琳娜·利索娃 , 艾达·考塞维奇 , 卡杰·哈尼宁 , 亨利克·萨内 , 汉斯·汉森 :
将安全性纳入安全分析的系统方法。 166-171 伊姆雷·科希斯 :
通过误差传播空间探索进行可靠性设计。 172-178 恩里克·门德斯 , 伊比利亚-梅德罗斯 , 努诺·内维斯 :
使用ValiDLMS框架验证和保护DLMS/COSEM实施。 179-184 罗伯托·杜内兹 , 艾伯特·莫·金成(Albert Mo Kim Cheng) :
通过TEE实现实时安全。 185-186
可靠和安全的机器学习(DSML 2018)
霍马·阿勒姆扎德 , 卡提克·帕塔比拉曼 , 大卫·E·埃文斯 :
DSML 2018简介。 187 努诺·安图内斯 , 莱安德罗·巴尔比 , 弗拉维奥·德菲格雷多 , 努诺·卢伦索 , 小瓦格纳·迈拉。 , 沃尔特·桑托斯 :
值得信赖的云服务的机器学习的公平性和透明度。 188-193 沙利尼·戈什 , 苏斯米特·贾 , 阿什什·蒂瓦里 , 帕特里克·林肯 , 朱晓金 :
模型、数据和回报修复:马尔可夫决策过程的可信机器学习。 194-199 裴秀路 , 陈品玉(Pin-Yu Chen) , 陈康成 , 嘉木玉 :
论MagNet对基于L1的对手示例的防御的局限性。 200-214 景文 , 许家杰 , 邱明耀 , 张若青 :
DCN:针对深度神经网络上的规避攻击的检测器-校正网络。 215-221
第四届智能汽车安全保障研讨会(SSIV 2018)
乔·卡洛斯·库尼亚 , 卡林卡·布兰科 , 米夏·劳尔 :
SSIV 2018简介。 222 尤根·霍雷修·古尔班 , 博格丹·格罗扎 , 帕尔·斯特凡·穆尔维 :
车辆仪表盘的风险评估和安全对策。 223-230 安德鲁·汤姆林森 , 杰里米·布莱恩斯 , 西拉杰·艾哈迈德·谢赫 , 哈沙·库马拉·卡卢塔拉格 :
通过识别时间窗口中的数据包定时异常来检测汽车CAN网络攻击。 231-238 丹尼尔·福勒 , 杰里米·布莱恩斯 , 西拉杰·艾哈迈德·谢赫 , 保罗·伍德森 :
汽车网络安全模糊测试。 239-246 维卡斯·阿格拉瓦尔 , 马塞尔·弗鲁厄 , 奥利弗·布林格曼 , 沃尔夫冈·罗森斯蒂尔 :
在不同计算机生成的雪强度和自动车辆像素密度下评估光流矢量。 247-254 艾米莉亚·乔罗埃卡 , 库恩 , 托马斯·鲍尔 :
原型汽车智能生态系统。 255-262 马修斯·洛佩斯·佛朗哥 , 卡林卡·R·J·L·布兰科 , 罗莎娜·T·V·布拉加 , 安德烈·路易斯·德·奥利维拉 , 凯瑟琳·德赞 , Jean-Philippe Diguet女士 :
基于模型的无人机可靠性分析——案例研究。 263-270 穆罕默德·加里布 , 保罗·洛里尼 , 马可·博塔 , Elvio Gilberto水族馆 , 苏珊娜·多纳泰利 , 安德烈亚·邦达瓦利 :
关于包含基于机器学习的部件的汽车系统的安全:一份立场文件。 271-274 Kuen-Long路 , 陈永元 , 李仁煌 :
基于FMEDA的故障注入和数据分析符合ISO-26262。 275-278
![](https://dblp.org/img/cog.dark.24x24.png)