2018年第21届ISC:英国吉尔福德
陈立群 , 马克·曼努利斯 , 史蒂夫·施奈德 :
信息安全-第21届国际会议,2018年ISC,英国吉尔福德,2018年9月9日至12日,会议记录。 计算机科学讲义 11060, 施普林格 2018 ,十亿 978-3-319-99135-1
受邀论文
软件安全
斯蒂芬·克莱伯 , 弗洛里安·恩特斯坦 , 马蒂亚斯·希勒 , 弗兰克·斯隆卡 , 马提亚斯·马图塞克 , 弗兰克·卡格尔 , 克里斯托夫·博施 :
安全代码执行:一种通用的PUF驱动系统架构。 25-46 维托尔·蒙特·阿方索 , 安纳托利·卡利什 , 蒂洛·米勒 , 丹妮拉·奥利维拉 , 安德烈·格里吉奥 , 保罗·利西奥·德盖斯 :
Lumus:动态发现规避的Android应用程序。 47-66 Kun Yang(昆阳) , 袁登 , 张超(Chao Zhang) , 诸葛建伟 , 海信段 :
ICUFuzzer:为多个软件中的可利用错误模糊ICU库。 67-84 凯末尔·比卡奇 , 埃内斯·阿尔图库 , 穆罕默德·萨基尔·萨库卢贝 , 哈坎·埃兹吉·克孜洛兹 , 优素福·乌祖奈 :
安全号码有多安全? 用于公钥验证的SIGNAL指纹和安全号码方法的用户研究。 85-98
对称密码与密码分析
张英杰 , 孙思伟 , 蔡嘉豪 , 雷虎(Lei Hu) :
利用松井策略加快MILP辅助差分特征搜索。 101-115 王旭子 , 吴宝峰 , 林厚(Lin Hou) , 东戴林 :
基于MILP的类SIMON分组密码中相关密钥差分轨迹的自动搜索。 116-131 丹尼尔·博登 :
用启发式方法对减少的圆形斑点进行线性密码分析:自动搜索线性轨迹。 132-150 张晓娟 , 刘美成 , 东戴林 :
条件立方体搜索及其在三元密码中的应用。 151-168
数据隐私和匿名
穆罕默德·艾哈迈德·阿卜杜勒拉希姆 , 托比亚斯·安德森 , 克里斯蒂安·盖尔曼 , 科尼利厄斯·格拉金 :
通过可搜索加密保护的关系数据库的实际攻击。 171-191 斯塔尔·阿蒙德·温特博 :
一种从n维随机二进制响应中估计分布参数的简单算法。 192-209
外包和辅助计算
蒋方杰 , 蔡全伟 , 乐观 , 林景强 :
基于虚拟机内省对加密云服务调用实施访问控制。 213-230 张燕婷 , 刘建伟 , 张宗阳 , 杨虎 :
针对移动设备的多机构快速数据云外包。 231-249 奥斯曼贝·乌津科尔 , 乔蒂·兰加萨米 , 拉克希米·库普萨米 :
隐藏模:一种通过CRT实现模指数的安全的非交互完全可验证委派方案。 250-267 哥连·博伊德 , 加雷思·戴维斯 , 克里斯蒂安·戈斯汀 , 姚江 :
离线协助组密钥交换。 268-285
高级加密
卢卡斯·沙布吕塞 , 丹尼斯·布廷 , 丹尼斯·德米雷尔 , 约翰内斯·布赫曼 :
可验证多方计算的函数相关承诺。 289-307 王欣(Xin Wang) , 贝良 , 李世民 , 瑞雪 :
关于构造无配对的基于身份的加密。 308-327 安田佐治 , 小泽义弘 , Ryo Hiromasa先生 , Yutaka Kawai公司 :
多密钥同态代理重新加密。 328-346 罗福才 , 王坤鹏 :
完全同态加密的可验证解密。 347-365
隐私保护应用程序
余斌(Bin Yu) , 约瑟夫·K·刘 , 阿明·萨卡德 , 苏里亚尼泊尔 , 罗恩·斯坦菲尔德 , 保罗·林巴 , Man Ho Au先生 :
基于平台的独立安全区块链投票系统。 369-386 阿卜杜勒瓦布·阿尔哈拉什 , 凯伦·雷诺 :
众包中的隐私:系统综述。 387-400
高级签名
维罗尼卡·库赫塔 , 拉杰夫·阿南德·萨胡 , 维沙尔·萨拉斯瓦特 , 高拉夫·夏尔马 , 内图·夏尔马 , 奥利维尔·马科维奇 :
匿名但可追踪的强指定验证人签名。 403-421 石坂正彦 , 松浦康达 :
在标准假设下,强不可伪造签名对多项式难以反转的泄漏具有弹性。 422-441 Keita Emura公司 , Takuya Hayashi先生 :
一个简单假设下可伸缩的可撤销群签名方案及其实现。 442-460
网络安全
皮耶朗基罗·隆巴多 , 萨尔瓦托尔·塞利 , 费德里卡·比西奥 , 大卫·贝尔纳迪 , 达尼洛·马萨 :
基于被动DNS流量数据挖掘的快速流量服务网络检测。 463-480 纳赛尔·穆罕默德·阿尔芬纳 , 李万鹏 , 克里斯·米切尔 :
超越饼干怪兽健忘症:真实世界持续在线跟踪。 481-501 卡罗来纳州阿达罗斯博伊 , 保罗·卡尼 , 马克·B·约瑟夫 :
工业物联网(IIoT)中的网络风险:走向一种持续评估方法。 502-519