OASIcs，第105卷
第四届区块链形式方法国际研讨会（FMBC 2022）
-
部分内容： 系列： 信息学开放存取系列（OASIcs）
会议： 区块链形式化方法研讨会（FMBC）
出版物详细信息
发布时间：2022-10-06 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准图书编号：978-3-95977-250-1 DBLP： db/conf/cav/fmbc2022
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
OASIcs，第105卷，FMBC 2022，完整卷
摘要
引用为
@议事录{dargaye_et_al:OASIcs.FMBC.2022， title＝｛｛OASIcs，第105卷，FMBC 2022，完整卷｝｝， booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}， 页数={1--74}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， editor={达盖耶，扎纳和施奈德温德，克拉拉}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022 }, URN={URN:nbn:de:0030-drops-171802}， doi＝{10.4230/OASIcs.FMBC.2022}， annote={关键词：OASIcs，第105卷，FMBC 2022，完整卷} }
封面、目录、前言、会议组织
摘要
引用为
@会议记录{dargaye_et_al:OASIcs.FMBC.2022.0， author={Dargaye，Zaynah和Schneidewind，Clara}， title={{正文，目录，前言，会议组织}}， booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}， 页面={0:i--0:xii}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， 编辑＝{Dargaye，Zaynah和Schneidewind，Clara}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2022.0 }, URN={URN:nbn:de:0030-drops-171813}， doi={10.4230/OASIcs.FMBC.2022.0}， 注释={关键词：前言、目录、前言、会议组织} }
MEV Freedom，in DeFi and Beyond（特邀演讲）
摘要
引用为
@会议记录{bartoletti：OASIcs.FMBC.2022.1， author={巴托莱蒂，马西莫}， title={{MEV-Freedom，在DeFi和Beyond中}}， booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}， 页面={1:1--1:1}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， editor={达盖耶，扎纳和施奈德温德，克拉拉}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2022.1 }, URN={URN:nbn:de:0030-drops-171827}， doi={10.4230/OASIcs.FMBC.2022.1}， annote={关键词：区块链、智能合约、正式安全概念} }
使用ConCert的基于属性的测试框架查找智能合约漏洞
摘要
引用为
@会议记录{milo_et_al:OASIcs.FMBC.2022.2， author={Milo、Mikkel和Nielsen、Eske Hoy和Annenkov、Danil和Spitters、Bas}， title={{使用ConCert的基于属性的测试框架查找智能合约漏洞}}， booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}， 页数={2:1--2:13}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， 编辑＝{Dargaye，Zaynah和Schneidewind，Clara}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022.2下载 }, URN={URN:nbn:de:0030-drops-171834}， doi={10.4230/OASIcs.FMBC.2022.2}， annote={关键词：智能合约、形式验证、基于属性的测试、Coq} }
实体中攻击者契约的自动生成
摘要
引用为
@在议事录{ballesteros_et_al:OASIcs.FMBC.2022.3， 作者＝{Ballesteros，Ignacio和Benac Earle，Clara和de Barrio，Luis Eduardo Bueso和Fredlund，Lars-\r {A} 科 和Herranz {A} 天使 和玛丽\~ {n} o个 ，胡里奥}， title={{实体中攻击者契约的自动生成}}， booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}， 页数={3:1--3:14}， series={信息学开放存取系列（OASIcs）}， ISBN＝{978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， editor={达盖耶，扎纳和施奈德温德，克拉拉}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2022.3 }, URN={URN:nbn:de:0030-drops-171840}， doi={10.4230/OASIcs.FMBC.2022.3}， annote={关键词：基于属性的测试、智能合约、重入攻击} }
证明：形式方法的区块链
摘要
引用为
@会议记录{brown_et_al:OASIcs.FMBC.2022.4， author={Brown，Chad E.和Kaliszyk，Cezary和Gauthier，Thibault和Urban，Josef}， title={{Proofgold:Blockchain for Formal Methods}}， booktitle={第四届区块链形式方法国际研讨会（FMBC 2022）}， 页数={4:1--4:15}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， editor={达盖耶，扎纳和施奈德温德，克拉拉}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2022.4 }, URN={URN:nbn:de:0030-drops-171851}， doi={10.4230/OASIcs.FMBC.2022.4}， annote＝｛关键词：形式逻辑，区块链，Proofgold｝ }
Multi：多智能合约交互的正式平台
摘要
引用为
@会议记录{ceresa_et_al:OASIcs.FMBC.2022.5， author={Ceresa、Mart和S {a} 切兹 ，C\' {e} 合成孔径雷达 }, title={{Multi:Multi-Smart Contract Interaction}}的正式游戏场， booktitle＝{第四届区块链正式方法国际研讨会（FMBC 2022）}， 页数={5:1--5:16}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-250-1}， ISSN={2190-6807}， 年份={2022}， 体积={105}， editor={达盖耶，扎纳和施奈德温德，克拉拉}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.FMBC.2022.5 }, URN={URN:nbn:de:0030-drops-171868}， doi={10.4230/OASIcs.FMBC.2022.5}， annote={关键词：区块链，形式化方法，定理证明，智能压缩} }