|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zaynah Dargaye, Clara Schneidewind (eds.) |
4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban |
Proofgold: Blockchain for Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel., pp. 4:1-4:15, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti |
MEV-Freedom, in DeFi and Beyond (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel., pp. 1:1-1:1, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martín Ceresa, César Sánchez 0001 |
Multi: A Formal Playground for Multi-Smart Contract Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel., pp. 5:1-5:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel., pp. 0:1-0:12, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters |
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel., pp. 2:1-2:13, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño |
Automatic Generation of Attacker Contracts in Solidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel., pp. 3:1-3:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-250-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thi Thu Ha Doan, Peter Thiemann 0001 |
Towards Contract Modules for the Tezos Blockchain (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)., pp. 5:1-5:9, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)., pp. 0:1-0:12, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Bernardo, Diego Marmsoler (eds.) |
3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout |
Formally Documenting Tenderbake (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)., pp. 4:1-4:9, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Britten, Vilhelm Sjöberg, Steve Reeves |
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)., pp. 3:1-3:8, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova |
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)., pp. 2:1-2:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun |
Towards Verified Price Oracles for Decentralized Exchange Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)., pp. 1:1-1:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-209-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Bernardo, Diego Marmsoler (eds.) |
2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 0:1-0:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie |
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 2:1-2:9, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Colin Boyd, Kristian Gjøsteen, Shuang Wu |
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 5:1-5:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu |
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 1:1-1:1, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa |
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 4:1-4:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ramon Boss, Kai Brünnler, Anna Doukmak |
Towards Verifying the Bitcoin-S Library (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 8:1-8:9, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maria Anna Schett, Julian Nagele |
Populating the Peephole Optimizer of a Smart Contract Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 3:1-3:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Kammüller, Uwe Nestmann |
Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 11:1-11:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lochbihler, Ognjen Maric |
Authenticated Data Structures as Functors in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 6:1-6:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kristijan Rupic, Lovro Rozic, Ante Derek |
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 7:1-7:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sean Braithwaite, Ethan Buchman, Igor Konnov 0001, Zarko Milosevic 0001, Ilina Stoilkovska, Josef Widder, Anca Zamfir |
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 10:1-10:8, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuliano Losa, Mike Dodds |
On the Formal Verification of the Stellar Consensus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMBC@CAV ![In: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., pp. 9:1-9:9, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-169-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|