Search dblp for Publications

export results for "toc:db/conf/cav/fmbc2020.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/BossBD20,
  author       = {Ramon Boss and
                  Kai Br{\"{u}}nnler and
                  Anna Doukmak},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Towards Verifying the Bitcoin-S Library (Short Paper)},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {8:1--8:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.8},
  doi          = {10.4230/OASICS.FMBC.2020.8},
  timestamp    = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BossBD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BoydGW20,
  author       = {Colin Boyd and
                  Kristian Gj{\o}steen and
                  Shuang Wu},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock
                  Contract},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {5:1--5:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.5},
  doi          = {10.4230/OASICS.FMBC.2020.5},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BoydGW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BraithwaiteB0MS20,
  author       = {Sean Braithwaite and
                  Ethan Buchman and
                  Igor Konnov and
                  Zarko Milosevic and
                  Ilina Stoilkovska and
                  Josef Widder and
                  Anca Zamfir},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Formal Specification and Model Checking of the Tendermint Blockchain
                  Synchronization Protocol (Short Paper)},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {10:1--10:8},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.10},
  doi          = {10.4230/OASICS.FMBC.2020.10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BraithwaiteB0MS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HajduJC20,
  author       = {{\'{A}}kos Hajdu and
                  Dejan Jovanovic and
                  Gabriela F. Ciocarlie},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Formal Specification and Verification of Solidity Contracts with Events
                  (Short Paper)},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {2:1--2:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.2},
  doi          = {10.4230/OASICS.FMBC.2020.2},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/HajduJC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KammullerN20,
  author       = {Florian Kamm{\"{u}}ller and
                  Uwe Nestmann},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Inter-Blockchain Protocols with the Isabelle Infrastructure Framework},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {11:1--11:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.11},
  doi          = {10.4230/OASICS.FMBC.2020.11},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/KammullerN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LochbihlerM20,
  author       = {Andreas Lochbihler and
                  Ognjen Maric},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Authenticated Data Structures as Functors in Isabelle/HOL},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {6:1--6:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.6},
  doi          = {10.4230/OASICS.FMBC.2020.6},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/LochbihlerM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LosaD20,
  author       = {Giuliano Losa and
                  Mike Dodds},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {On the Formal Verification of the Stellar Consensus Protocol},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {9:1--9:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.9},
  doi          = {10.4230/OASICS.FMBC.2020.9},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/LosaD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ReisCS20,
  author       = {Jo{\~{a}}o Santos Reis and
                  Paul Andrew Crocker and
                  Sim{\~{a}}o Melo de Sousa},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Tezla, an Intermediate Representation for Static Analysis of Michelson
                  Smart Contracts},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {4:1--4:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.4},
  doi          = {10.4230/OASICS.FMBC.2020.4},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ReisCS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Rosu20,
  author       = {Grigore Rosu},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Formal Design, Implementation and Verification of Blockchain Languages
                  Using {K} (Invited Talk)},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {1:1--1:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.1},
  doi          = {10.4230/OASICS.FMBC.2020.1},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/Rosu20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RupicRD20,
  author       = {Kristijan Rupic and
                  Lovro Rozic and
                  Ante Derek},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {7:1--7:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.7},
  doi          = {10.4230/OASICS.FMBC.2020.7},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/RupicRD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SchettN20,
  author       = {Maria Anna Schett and
                  Julian Nagele},
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Populating the Peephole Optimizer of a Smart Contract Compiler},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {3:1--3:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.3},
  doi          = {10.4230/OASICS.FMBC.2020.3},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/SchettN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/X20,
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  pages        = {0:1--0:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.FMBC.2020.0},
  doi          = {10.4230/OASICS.FMBC.2020.0},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/X20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2020fmbc,
  editor       = {Bruno Bernardo and
                  Diego Marmsoler},
  title        = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
                  20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
  series       = {OASIcs},
  volume       = {84},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-169-6},
  isbn         = {978-3-95977-169-6},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/2020fmbc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.