停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第33届CSF 2020：美国马萨诸塞州波士顿

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/csfw/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/2020
第33届IEEE计算机安全基础研讨会，CSF 2020，美国马萨诸塞州波士顿，2020年6月22日至26日。电气与电子工程师协会 2020，国际标准图书编号978-1-7281-6572-1

电子投票

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/盆地RS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BasinRS20
大卫·A·巴思,萨萨·拉多米罗维奇,劳拉·施密德:
投票中的争议解决。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CortierLW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CortierLW20
Véronique Cortier公司,约瑟夫·拉勒曼德,博格丹·瓦林斯基:
五十种投票隐私：针对恶意董事会的隐私。 17-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/IovinoRRR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/IovinoRRR20
文森佐·伊奥维诺,阿尔弗雷多·里亚尔,彼得·罗恩,彼得·Y·A·瑞恩:
无可信方电子投票中的通用无条件验证。 33-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/海恩斯020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/Haines020
托马斯·海恩斯,约翰内斯·米勒:
SoK：可验证混合网技术。 49-64

信息流（一）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/代数F20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AlgehedF20
Maximilian代数,科马克·弗拉纳根:
透明的国际金融公司执法：可能性和效率结果。 65-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/SchoepMS20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/SchoepeMS20
丹尼尔·斯科佩,托比·默里,安德烈·萨贝尔菲尔德:
VERONICA：表达和精确的并发信息流安全。 79-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BayA20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BayA20
约翰·贝,阿斯兰·阿斯卡洛夫:
协调进程敏感的不干涉和解密。 95-106

基于语言的安全性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CalzavaraFGMT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CalzavaraFGMT20
斯特凡诺·卡尔扎瓦拉,里卡多·福卡迪,尼古拉斯·格林,马泰奥·马菲,毛罗·坦佩斯塔:
基于语言的Web会话完整性。 107-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/HirschACTA20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/HirschACTA20网址
安德鲁·赫希,佩德罗·阿泽韦多·德·阿莫林,伊桑·切切蒂,罗斯·泰特,欧文·阿尔登:
流限制授权的一阶逻辑。 123-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/SkalkaDJC20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/SkalkaDJC20网站
克里斯蒂安·斯卡尔卡,大卫·达赖,特伦特·杰格,弗兰克·卡波比安科:
授权挂钩建议的类型和抽象解释。 139-152

隐私

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/00020P20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/00020P20
马可·罗曼内利,Konstantinos Chatzikokolakis公司,帕拉米德斯猫:
通过机器学习优化模糊处理机制。 153-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BaeldeDM20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BaeldeDM20网站
大卫·巴尔德,圣埃芬妮·德劳恩,索莱恩·莫罗:
一种证明有状态协议不可链接性的方法。 169-183

信息流（二）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/MicinskiDG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/MicinskiDG20
克里斯托弗·米金斯基,大卫·达赖,托马斯·吉尔雷:
抽象分面执行。 184-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/0003Z20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/0003Z20
易璐,张晨毅:
粗粒度信息流控制的非传递安全类型。 199-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CortinasVR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CortinasVR20
卡洛斯·托梅·科尔蒂尼亚斯,马可·瓦塞纳,亚历杭德罗·拉索:
保护异步异常。 214-229

安全的系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/0011JKKB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/0011JKKB20
安德烈亚斯·费舍尔,乔纳斯·詹内克,约恩·库斯茅,尼古拉斯·克拉茨赫玛（Nikolas Krätzschmar）,弗洛里安·克什鲍姆,埃里克·博登:
PASAPTO：基于策略的安全和性能权衡分析——对泄漏受限的加密数据进行计算。 230-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/LanotteMM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/LanotteMM20网站
拉格罗·拉诺特,马西莫·梅罗,安德烈·蒙泰努:
控制系统安全的运行时强制。 246-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BusiNBGDMP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BusiNBGDMP20
马特奥·布西,约伯·诺曼,乔·范·布尔克,Letterio Galletta公司,皮耶保罗·德加诺,扬·托拜厄斯·穆尔伯格,弗兰克·皮森斯:
小型微处理器上可中断封装执行的可靠隔离。 262-276

应用密码学和协议分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/AkhmetzyanovaCG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AkhmetzyanovaCG20
莉莉娅·阿赫梅齐亚诺娃,Cas Cremers公司,卢克·加拉特,斯坦尼斯拉夫·斯米什利亚耶夫,尼克·苏利文:
限制部署的安全协议中不可靠随机性的影响。 277-287
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/GuilhemFW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/GuilhemFW20
西普里恩·德尔佩赫·德·圣吉勒姆,马克·菲施林,博格丹·瓦林斯基:
密钥交换中的身份验证：定义、关系和组成。 288-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FocardiL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FocardiL20网址
里卡多·福卡迪,弗拉米尼娅·卢西奥:
基于PUF协议的自动分析。 304-317

块链

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BaldimtsiMSZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BaldimtsiMSZ20
巴尔迪姆西火山,瓦伦·马达希尔,亚历山德拉·斯卡夫罗,周林峰:
取证设置中的匿名彩票。 318-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/KiayiasL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/KiayiasL20
阿格洛斯·凯亚斯,Orfeas Stefanos Litos甲状腺炎:
闪电网络的可组合安全处理。 334-349

信息流（三）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/巴斯蒂斯BRS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BastysBRS20网站
尤利娅·巴斯蒂斯,穆萨德·巴利乌,塔玛拉·雷兹克,安德烈·萨贝尔菲尔德:
时钟工作：跟踪远程定时攻击。 350-365
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BonakdarpourF20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BonakdarpourF20
Borzoo Bonakdarpour公司,伯恩德·芬克贝纳:
超属性的控制器合成。 366-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CoughlinS20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CoughlinS20
尼古拉斯·考夫林,格雷姆·史密斯:
非阻塞算法中非干扰的可靠性/保证推理。 380-394

攻击建模

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FilaW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FilaW20（网址：https://dblp.org/rec/conf/csfw/FilaW20）
芭芭拉·菲拉,沃伊西奇·维德尔:
利用攻击防御树找到一组最佳对策。 395-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/MullerWS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/MullerWS20
蒂姆·穆勒,王东霞,孙军:
基于潜在恶意信息源的可靠决策。 411-424

服务

管理网站设置

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