停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第36届CSF 2023：克罗地亚杜布罗夫尼克

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/2023
第36届IEEE计算机安全基础研讨会，CSF 2023，克罗地亚杜布罗夫尼克，2023年7月10日至14日。美国电气工程师协会 2023，国际标准图书编号979-8-3503-2192-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FirsovU23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FirsovU23
丹尼斯·菲尔索夫,多米尼克·恩鲁:
EasyCrypt中的零知识。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FaustHKS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FaustHKS23
塞巴斯蒂安·浮士德,卡米特·哈扎伊,大卫·克雷茨勒,本杰明·施洛瑟:
声明-开放阈值见证加密。 17-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/JavarK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/JavarK23
扎赫拉·贾瓦尔,布鲁斯·卡普伦:
Linicrypt中的预图像感知。 33-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/雪佛兰CD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ChevalCD23
文森特·雪娃,Véronique Cortier公司,亚历山大·戴班特:
使用ProVerif进行选举验证。 43-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BalogluBMP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BalogluBMP23网站
塞夫德努·巴洛格鲁,Sergiu Bursuc公司,绍克·莫,彭军（Jun Pang）:
无收据投票协议中的选举可验证性。 59-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BaeldeDD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BaeldeDD23
大卫·巴尔德,亚历山大·戴班特,圣埃芬妮·德劳恩:
通过非同步双进程使用ProVerify证明不可链接性。 75-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/RanchalPedrosaG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/RanchalPedrosaG23
亚历杭德罗·兰查尔·佩德罗萨,文森特·格拉莫利:
Basilic:具有良性和欺骗性故障的弹性最优共识协议。 91-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/RainAKM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/RainAKM23网址
苏菲·雨,格鲁吉亚阿瓦里科蒂,劳拉·科瓦奇,马泰奥·马菲:
对链下协议的博弈论安全性分析。 107-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/张M23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/张M23
张云霄,帕斯奎尔·马拉卡里亚:
保持支出：超越最佳网络安全投资。 123-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BrzuskaO23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BrzuskaO23
克里斯·布尔祖斯卡,萨宾·奥克斯纳:
姚明胡言乱语阴谋的国家分割证据。 137-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/FraserGQ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/FraserGQ23
阿什利·弗雷泽,莉迪亚·加姆斯,伊丽莎白·夸利娅:
关于数字签名的不可交易性。 153-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/MedleyLQ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/MedleyLQ23
利亚姆·梅德利,安吉丽克·费·洛伊,伊丽莎白·夸利娅:
SoK：基于延迟的加密。 169-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/ChevalR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ChevalR23
文森特·雪娃,伊萨卡·拉科托尼里娜:
ProVerify中超越差异等效性的不可分辨性。 184-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CremersJL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CremersJL23
Cas Cremers公司,查理·贾科姆,菲利普·卢克特:
用于改进安全协议分析的自动化和范围的基于子术语的证明技术。 200-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/WilsonAJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/WilsonAJ23
约翰内斯·威尔逊,米凯尔·阿斯普伦德,尼古拉斯·约翰逊:
使用单向协议扩展身份验证层次结构。 214-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/StoukaZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/StoukaZ23
艾卡捷琳·帕纳吉奥塔·斯托卡,托马斯·扎卡里亚斯:
关于水果链的（去）集中化。 229-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/HollerBS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/HollerBS23
塞巴斯蒂安·霍勒,塞巴斯蒂安·比沃,克拉拉·施奈德温:
HoRStify：智能合约的健全安全分析。 245-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 文件/csfw/ChanCL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ChanCL23
埃里克·陈,马雷克·克罗巴克,莫森·莱萨尼:
具有首选项的跨链交换。 261-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/CoenenFHT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/CoenenFHT23
挪威科宁,伯恩德·芬克贝纳,贾娜·霍夫曼,茱莉亚·J·蒂尔曼:
智能合约合成模超属性。 276-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BraabjergA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BaabjergA23
杰佩·弗雷德斯加德·布拉布杰格,阿斯兰·阿斯卡洛夫:
OblivIO：通过有限制的交通管理费用的不经意执行确保反应性程序。 292-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/PatrignaniB23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/PatrignaniB23网址
马可·帕特里格纳尼,萨姆·布莱克希尔:
强大的移动安全性。 308-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/德拉赫尚ZVJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/DerakhshanZVJ23
Farzaneh Derakhshan公司,Zichao Zhang（章子超）,阿米特·瓦苏德万,李敏佳:
通过验证接口一致性和认证编译器实现端到端验证TEE。 324-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/TsoupidiLTP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/TsoupidiLTP23
罗多西亚·米尔西尼·索皮迪,罗伯托·卡斯塔涅达·洛扎诺,埃琳娜·特鲁比西纳,Papadimitratos泛神经炎:
保护优化代码不受电源侧通道的影响。 340-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/安德森BLPT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AndersonBLPT23
肖恩·诺布尔·安德森,罗伯托·布兰科,列奥尼达斯·兰普洛斯,本杰明·皮尔斯,安德鲁·托尔马赫:
将堆栈安全正式化为安全属性。 356-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BatyWHFT23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BatyWHFT23
马蒂厄·贝蒂,皮埃尔·威尔克,纪尧姆·希特,阿尔诺·方丹,阿利克斯·特里厄:
在微体系结构级别开发和验证安全机制的通用框架：应用于控制流完整性。 372-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/Chatzikokolakis CPT23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ChatzikokolakisCPT23
Konstantinos Chatzikokolakis公司,乔瓦尼·切鲁宾,帕拉米德斯猫,卡梅拉·特隆科索:
贝叶斯安全：一个不那么平均的指标。 388-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/SakibAG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/SakibAG23
沙赫内瓦兹·卡里姆·萨基布,乔治·T·阿玛鲁凯,永冠:
信息泄漏度量的变化和扩展及其在统计信息不完整的隐私问题中的应用。 407-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/JuradoGAP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/JuradoGAP23
米雷娅·尤拉多,拉蒙·冈泽,马里奥·阿尔维姆,帕拉米德斯猫:
从定量信息流的角度分析洗牌模型。 423-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/Dibbo23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/Dibbo23
Sayanton V.Dibbo公司:
SoK：模型反转攻击前景：分类、挑战和未来路线图。 439-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/高木KCY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/TakagiKCY23
Shun Takagi先生,加藤富美由纪夫,杨曹,吉川正人:
从束缚到无拘无束：通过与假人乱搞来扩大隐私。 457-472
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/汉弗莱斯OTRGHK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/HumphreiesOTRGHK23
托马斯·汉弗莱斯,西蒙·奥亚,林赛·塔洛赫,马修·拉夫斯,伊恩·戈德伯格,乌尔斯·亨加特纳,弗洛里安·克什鲍姆:
调查数据依赖下的成员身份推断攻击。 473-488
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/AkaviaGSWY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/AkaviaGSWY23
阿迪·阿卡维亚,本·加利利,哈伊姆·绍尔,莫尔·韦斯,佐哈尔·亚基尼:
通过k-mer签名和FHE进行高效的隐私保护病毒株分类。 489-504
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/ReedR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ReedR23
安德鲁·里德,迈克尔·雷特:
使用约束填充优化隐藏对象大小。 505-520
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/PortelaPJP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/PortelaPJP23
贝尔纳多·波特拉,雨果·帕切科,佩德罗·豪尔赫,罗杰里奥·庞特斯:
通用安全无冲突复制数据类型。 521-536
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/兰克里特BD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/LanckrietBD23
艾米尔·兰克里特,马特奥·布西,多米尼克·德弗里斯:
$\pi_{\mathbf{RA}}$：A$\pi\text{-clucis}$用于验证使用远程认证的协议。 537-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/HvassAS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/HvassAS23网址
本杰明·萨林·赫瓦斯,迭戈·F·阿兰哈,低音喷溅:
基于曲线的密码术的高安全域反演。 552-567
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 文件/csfw/ChowELRW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/ChowELRW23
谢尔曼·S·M·周,克里斯托夫·艾格,罗素·W·F·赖,维克多莉亚·荣格（Viktoria Ronge）,常春藤·K·Y·吴:
关于可持续的基于环的匿名系统。 568-583
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/MangipudiLPK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/MangipudiLPK23
伊斯瓦尔·维维克·曼吉普迪,东航路,Alexandros Psomas公司,安妮特·凯特:
串通威慑阈值信息托管。 584-599

服务

管理网站设置

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