Vincent Gramoli
- Vandal: A Scalable Security Analysis Framework for Smart Contracts
2018/09/11 by Lexi Brent, Anton Jurisevic, Brent, Lexi +13 · 14 citations
Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing
- Federated Learning Over Wireless Networks: Convergence Analysis and Resource Allocation
2021/02/01 by Canh T. Dinh, Nguyen H. Tran, Minh N. H. Nguyen +4 · 6 citations
- Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure
2019/08/22 by Christopher Natoli, Natoli, Christopher, Jiangshan Yu +5 · 6 citations
Computer Science · #Blockchain Technology Applications and Security
- A Concurrency-Optimal Binary Search Tree
2017/02/15 by Vitaly Aksenov, Aksenov, Vitaly, Vincent Gramoli +7 · 1 citation
Computer Science · #Distributed #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
- ZLB: A Blockchain to Tolerate Colluding Majorities
2020/07/21 by Alejandro Ranchal-Pedrosa, Vincent Gramoli, Ranchal-Pedrosa, Alejandro +1 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
- TRAP: The Bait of Rational Players to Solve Byzantine Consensus
2021/05/10 by Alejandro Ranchal-Pedrosa, Vincent Gramoli, Ranchal-Pedrosa, Alejandro +1 · 1 citation
Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Computer Science and Game Theory (cs.GT) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- 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)
- On the Relevance of Blockchain Evaluations on Bare Metal
2023/11/15 by Andrei Lebedev, Vincent Gramoli, Lebedev, Andrei +1 · 1 citation
Computer Science · Engineering · #Advanced Memory and Neural Computing #Blockchain Technology Applications and Security #Caching and Content Delivery #Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #and Cluster Computing (cs.DC)