Towards Mechanising Probabilistic Properties of a Blockchain Kiran Gopinathan
暂无分享,去创建一个
[1] Enrico Tassi,et al. A Small Scale Reflection Extension for the Coq system , 2008 .
[2] Norman Ramsey,et al. Stochastic lambda calculus and monads of probability distributions , 2002, POPL '02.
[3] Aggelos Kiayias,et al. The Bitcoin Backbone Protocol: Analysis and Applications , 2015, EUROCRYPT.
[4] Ilya Sergey,et al. Mechanising blockchain consensus , 2018, CPP.
[5] Leslie Lamport,et al. The Byzantine Generals Problem , 1982, TOPL.
[6] Manabu Hagiwara,et al. Formalization of Shannon's Theorems in SSReflect-Coq , 2012, ITP.
[7] J. Gregory Morrisett,et al. The Foundational Cryptography Framework , 2014, POST.
[8] S. Nakamoto,et al. Bitcoin: A Peer-to-Peer Electronic Cash System , 2008 .
[9] Moni Naor,et al. Pricing via Processing or Combatting Junk Mail , 1992, CRYPTO.