2019年第二季度发展:美国弗吉尼亚州泰森角
2019年9月23日至25日,美国弗吉尼亚州泰森角,2019年IEEE网络安全开发,SecDev 2019。 电气与电子工程师协会 2019 ,国际标准图书编号 978-1-5386-7289-1
教程
本杰明·M·布罗斯戈尔 , 克莱尔·德罗斯 , 扬尼克·莫伊 :
教程:使用SPARK正式开发和验证高保证软件的实践介绍。 1-2 基南·达克·阿尔巴布 , 拉瓦内·伊萨 , 安德烈·拉佩斯 , 彼得·弗洛克哈特 , 露西·秦 , Ira Globus-Harris公司 :
教程:使用JIFF在Web上部署安全多方计算。 三
密码学与不安全代码的理解
尼古拉·图弗利 , 比利·鲍勃·布伦雷 :
启动您的ENGINEs:动态加载的现代加密。 4-19 凯尔·霍根 , 霍达·马利基 , Reza Rahaeimehr公司 , 兰·卡内蒂 , 马丁·范·迪克 , 杰森·亨尼西 , 马扬克瓦里亚 , 张海滨 :
关于OpenStack的通用可组合安全性。 20-33 魏白 , 奥马尔·阿克格尔 , 米歇尔·马祖雷克 :
来自在线论坛的不安全代码传播的定性调查。 34-48 沙敏·阿夫罗斯 , 萨扎杜·拉哈曼 , 姚丹凤 :
CryptoAPI-Bench:Java加密API误用的综合基准。 49-61
较低抽象级别的安全性
图巴·亚武兹 :
检测Linux设备驱动程序中与回调相关的深层漏洞。 62-75 雷莫·施韦泽 , 斯蒂芬·诺伊豪斯 :
Downright:特权处理的框架和工具链。 76-88 维维克·梅农 , 高拉夫·科尔赫 , 安德鲁·施密特 , 约书亚·S·蒙森 , 马修·弗伦奇 , 胡应华 , 彼得·A·比埃尔 , 皮埃尔路易吉·努佐 :
带有量化评估指标的逻辑混淆系统级框架。 89-100
数据和信息
雷米尔·克鲁兹 , 埃里克·坦特 :
多态松弛非干涉。 101-113 龙城 , 汉斯·利杰斯特兰德 , Salman Ahmed马里兰州 , 托马斯·尼曼 , 特伦特·杰格 , N.阿育王 , 姚丹凤 :
面向数据攻击的攻击技术和防御。 114-128 安德烈·拉佩斯 , 基南·达克·阿尔巴布 , 拉瓦内·伊萨 , 露西·秦 , 马扬克瓦里亚 , 阿泽尔·贝斯塔夫罗斯 , 弗雷德里克·詹森 :
安全多方数据分析应用程序设计、开发和部署的基于角色的生态系统。 129-140
从业者论文
Abhishek Pathak公司 , Kaarthik Sivakumar公司 , 金生 , 安陆燕 , 马扎尔·哈克 :
复杂云本地Dockerized系统中的有效静态分析实施。 141 阿卜杜勒拉赫曼·阿尔奈姆 :
在系统安全审查自动化中使用规则引擎。 142 韩永奎 , 潘基尔·沙阿 , 范阮(Van Nguyen) , 玲玛 , 理查德·利文斯顿 :
OpenOSC:具有内置度量的开源对象大小检查库。 143 陈健安 :
伟大的抽象带来了巨大的责任:密封微服务攻击面。 144 阿布谢克·帕塔克 , Kaarthik Sivakumar公司 , 马扎尔·哈克 , 普拉桑纳·加内桑 :
静态分析安全测试(SAST)警告的多集群可视化和实时报告。 145 塞缪尔·丹纳德 , 苏珊·门格尔 , 阿提拉·埃尔塔斯 , 斯蒂芬·埃克瓦罗·欧赛尔 :
开发周期估算建模。 146
网络
![](https://dblp.org/img/cog.dark.24x24.png)