停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2017年第30个关键成功因素：美国加利福尼亚州圣巴巴拉

>主页 >会议和研讨会 >CSF公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/csfw/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/2017
2017年8月21日至25日，美国加利福尼亚州圣巴巴拉市，第30届IEEE计算机安全基础研讨会，2017年CSF。 IEEE计算机学会 2017，国际标准图书编号978-1-5386-3217-8

受邀谈话I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/AbadiEGMMPTZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AbadiEGMMPTZ17
马丁·阿巴迪,阿尔林森村,伊恩·J·古德费罗,H.Brendan McMahan先生,伊利亚·米罗诺夫,尼古拉斯·帕普诺特,库纳尔·塔瓦尔,李章:
关于机器学习系统中私有信息的保护：最近的两种方法。 1-6

第1部分：安全经济学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BaoSWKVB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BaoSWKVB17
Tiffany Bao公司,严绍世泰什维利,王若愚,克里斯托弗·克鲁格尔,乔瓦尼·维格纳,大卫·布伦利:
我们该怎么玩游戏网络战争游戏的游戏理论模型。 7-21

第2部分：信息流控制

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CalzavaraGKM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CalzavaraGKM17
斯特凡诺·卡尔扎瓦拉,伊利亚·格里什琴科,阿德里安·库索斯,马泰奥·马菲:
用于Android应用程序静态分析的声音流敏感堆抽象。 22-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/瓦塞纳BR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/WassenaBR17
马尔科·瓦塞纳,约阿希姆·布雷特纳,亚历杭德罗·拉索:
保护并发懒惰程序以防信息泄漏。 37-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/LiZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/LiZ17
李佩萱,张丹凤:
面向流和路径敏感的信息流分析。 53-67

第三部分：计算机辅助密码学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/布兰切特17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/Blanchet17
布鲁诺·布兰切特:
ARINC823航空电子协议的符号和计算机械化验证。 68-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/斯托顿V17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/StoughtonV17
斯托顿巷,马扬克瓦里亚:
随机Oracle模型中加密协议的自适应信息论安全性的机械化证明。 83-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/ComonK17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ComonK17
休伯特·科蒙,阿德里安·库索斯:
RFID协议的正式计算不可链接性证明。 100-114

受邀演讲II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/密码17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/PassS17
拉斐尔山口,伊莱恩·施:
重新思考大规模共识。 115-129

第4A部分：身份验证和密钥管理I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/DelauneKR17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/DelauneKR17
圣埃芬妮·德劳恩,史蒂夫·克莱默,卢多维克·罗宾:
基于短认证字符串的协议形式化验证。 130-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/ChevalCW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ChevalCW17
文森特·切瓦尔,Véronique Cortier公司,博格丹·瓦林斯基:
PKI与公钥协议的安全组合。 144-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BoldyrevaCDP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BoldyrevaCDP17
亚历山德拉·博尔德雷瓦,单晨,皮尔雷·阿莱恩·杜邦,大卫·波因契瓦尔:
用于处理经过身份验证的密钥交换中的强腐蚀的人工计算。 159-175

第4B部分：身份验证和密钥管理II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FocardiS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FocardiS17
里卡多·福卡迪,马可·斯夸西纳:
加密API中的运行时攻击检测。 176-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FettKS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FettKS17
丹尼尔·费特,拉尔夫·库斯特斯,吉多·施密茨:
Web SSO标准OpenID连接：深度正式安全分析和安全指南。 189-202

第6部分：安全协议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/米尔纳CYR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/MilnerCYR17
凯文·米尔纳,Cas Cremers公司,姜山玉,马克·瑞恩:
自动检测滥用秘密：基础、设计原则和应用。 203-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CamenischLNS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CamenischLNS17
简·卡梅尼什,安贾·莱曼,格雷戈里·内文,凯·萨梅林:
UC-Secure非交互式公钥加密。 217-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BaeldeDGK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BaeldeDGK17网址
大卫·巴尔德,圣埃芬妮·德劳恩,伊万·加佐,史蒂夫·克莱默:
XOR安全协议私有类型属性的符号验证。 234-248

第7部分：隐私

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/周Y17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/周Y17
李周,明生英:
量子计算中的差异隐私。 249-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/Mironov17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/Mironov17
伊利亚·米罗诺夫:
雷尼差异隐私。 263-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/HallgrenOS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/HallgrenOS17
根据A.Hallgren,克劳迪奥·奥兰迪,安德烈·萨贝尔菲尔德:
私人泳池：私人保驾共享。 276-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/背景GMS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BackesGMS17
迈克尔·巴克斯,曼努埃尔·戈梅兹·罗德里格斯,普拉文·马诺哈兰,巴特洛米耶·苏尔马:
协调连续时间扩散网络中的隐私和效用。 292-304

第8部分：定量信息流分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KhouzaniM17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KhouzaniM17
M.H.R.Khouzani先生,帕斯奎尔·马拉卡里亚:
泄漏-最小设计：普遍性、局限性和应用。 305-317
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/史密斯17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/SmithS17
大卫·M·史密斯,杰弗里·史密斯:
对重复独立运行的信息泄漏的严格限制。 318-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/PhanBPMB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/PhanBPMB17
Quoc-Sang Phan公司,卢卡斯·邦,科琳娜·帕萨雷努,帕斯奎尔·马拉卡里亚,特夫菲克·布尔坦:
自适应旁道攻击的合成。 328-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/担保MB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/GuarnieriMB17
马可·瓜尼埃里,斯尔詹·马里诺维奇,David A.盆地:
保护数据库不受概率推断的影响。 343-359

第9部分：分布式系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CanettiHMV17型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CanettiHMV17
兰·卡内蒂,凯尔·霍根,安查尔·马霍特拉,马扬克瓦里亚:
网络时间的普遍可组合处理。 360-375
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/GazeauCD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/GazeauCD17
伊万·加佐,汤姆·乔西亚,多米尼克·达根:
云环境中位置和数据安全的类型。 376-391

第10A部分：安全性和编译

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/PatrignaniG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/PatrignaniG17
马可·帕特里格纳尼,Deepak Garg公司:
安全编译和超属性保护。 392-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BartheBLPT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BartheBLPT17
吉尔斯·巴特,桑德琳·布拉齐,文森特·拉波特,大卫·皮哈迪,Alix Trieu公司:
验证静态分析的翻译验证。 405-419

第10B部分：嵌入式和网络物理安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KwonHE17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KwonHE17
关孝君,威廉·哈里斯,哈迪·伊斯梅尔扎德:
通过自动合成的关系不变量证明序列逻辑的流安全性。 420-435
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/LanotteMMV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/LanotteMMV17
拉格罗·拉诺特,马西莫·梅罗,里卡多·穆拉多尔,卢卡·维甘:
网络物理攻击的正式方法。 436-450

第11部分：安全协议II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/HessM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/HessM17
安德烈亚斯·维克托·赫斯,塞巴斯蒂安·莫德斯海姆:
在Isabelle/HOL中形式化和证明安全协议的键入结果。 451-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/DOsualdoOT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/DOsualdoOT17
伊曼纽尔·德奥斯瓦尔多,卢克·翁,Alwen Tiu先生:
确定无限会话数的安全协议的机密性：深度绑定进程的情况。 464-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CortierDD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CortierDD17
Véronique Cortier公司,安托万·达隆,斯特凡尼·德莱恩:
SAT-Equiv：等价属性的有效工具。 481-494

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。