3.6k citations · 3.6k across the 7 of their papers we have counts for
3 papers · 1 filter
Towards automated verification of multi-party consensus protocols
Ivan Fedotov, Anton Khritankov, Artem Barger
Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions.…
A Byzantine Fault-Tolerant Consensus Library for Hyperledger Fabric
Artem Barger, Yacov Manevich, Hagar Meir +1
Hyperledger Fabric is an enterprise grade permissioned distributed ledger platform that offers modularity for a broad set of industry use cases. One modular component is a pluggabl…
Redacting Transactions from Execute-Order-Validate Blockchains
Yacov Manevich, Artem Barger, Gal Assa
As user privacy gains popularity and attention, and starts to shape relations between users and service providers, blockchain based solutions thrive for ways to relax immutability…