vix.ing · top · new · best · stats · spec

I. V. Konnov

  1. Holistic Verification of Blockchain Consensus
    2022/06/09 by Nathalie Bertrand, Vincent Gramoli, Bertrand, Nathalie +9 · 1 citation
    Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Parallel #and Cluster Computing (cs.DC)