Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

3 July 2019

Papers citing "Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol"

3 / 3 papers shown

Title
BriDe Arbitrager: Enhancing Arbitrage in Ethereum 2.0 via Bribery-enabled Delayed Block Production Hulin Yang Mingzhe Li Jin Zhang Alia Asheralieva Qingsong Wei Siow Mong Rick Goh 103 0 0 11 Jul 2024
One Bad Apple Spoils the Bunch: Transaction DoS in MimbleWimble Blockchains S. A. Tabatabaee Charlene Nicer Ivan Beschastnikh Chen Feng 21 2 0 24 Dec 2021
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol Adrián Silveira Gustavo Betarte Maximiliano Cristiá C. Luna 21 10 0 02 Apr 2021