Two Papers Presented at FMBC’19

less than 1 minute read


We have two papers presented today at the 1st Workshop on Formal Methods for Blockchains, hosted by the 3rd Formal Methods World Congress on October 11, 2019 in Porto, Portugal:

  • “Towards a Verified Model of the Algorand Consensus Protocol in Coq” Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon Moore, Karl Palmskog, Lucas Pena, and Grigore Rosu
  • “Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies”. Musab A. Alturki and Grigore Rosu

More details about these papers can be found in the Publications page.