Marijana Lazić
- Verification of Threshold-Based Distributed Algorithms by Decomposition\n to Decidable Logics
2019/05/19 by Idan Berkovits, Berkovits, Idan, Marijana Lazić +7 · 2 citations
Computer Science · Social Sciences · #Access Control and Trust #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Programming Languages (cs.PL) #Semantic Web and Ontologies #and Cluster Computing (cs.DC)
- Holistic Verification of Blockchain Consensus
2022/06/09 by Nathalie Bertrand, Bertrand, Nathalie, Vincent Gramoli +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)