|
|
|
|
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.  |
FMBC@CAV  |
2022 |
DBLP BibTeX RDF |
|
| 1 | Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban |
Proofgold: Blockchain for Formal Methods. |
FMBC@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti |
MEV-Freedom, in DeFi and Beyond (Invited Talk). |
FMBC@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Ceresa, César Sánchez 0001 |
Multi: A Formal Playground for Multi-Smart Contract Interaction. |
FMBC@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FMBC@CAV |
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. |
FMBC@CAV |
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. |
FMBC@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Thu Ha Doan, Peter Thiemann 0001 |
Towards Contract Modules for the Tezos Blockchain (Short Paper). |
FMBC@CAV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FMBC@CAV |
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). |
FMBC@CAV |
2021 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout |
Formally Documenting Tenderbake (Short Paper). |
FMBC@CAV |
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). |
FMBC@CAV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova |
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. |
FMBC@CAV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun |
Towards Verified Price Oracles for Decentralized Exchange Protocols. |
FMBC@CAV |
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). |
FMBC@CAV |
2020 |
DBLP BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie |
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). |
FMBC@CAV |
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. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk). |
FMBC@CAV |
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. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramon Boss, Kai Brünnler, Anna Doukmak |
Towards Verifying the Bitcoin-S Library (Short Paper). |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Anna Schett, Julian Nagele |
Populating the Peephole Optimizer of a Smart Contract Compiler. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kammüller, Uwe Nestmann |
Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lochbihler, Ognjen Maric |
Authenticated Data Structures as Functors in Isabelle/HOL. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristijan Rupic, Lovro Rozic, Ante Derek |
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. |
FMBC@CAV |
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). |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliano Losa, Mike Dodds |
On the Formal Verification of the Stellar Consensus Protocol. |
FMBC@CAV |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license