Zarko Milosevic

According to our database, Zarko Milosevic authored at least 21 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Crime and Punishment in Distributed Byzantine Decision Tasks.

Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi

IACR Cryptol. ePrint Arch., 2022

Robust and Fast Blockchain State Synchronization.

Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use.

Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

The design, architecture and performance of the Tendermint Blockchain Network.

Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

Gossip consensus.

Daniel Cason, Nenad Milosevic, Zarko Milosevic, Fernando Pedone

Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021

2020

A Tendermint Light Client.

Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder

CoRR, 2020

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2018

The latest gossip on BFT consensus.

Ethan Buchman, Jae Kwon, Zarko Milosevic

CoRR, 2018

2014

Tolerating permanent and transient value faults.

Zarko Milosevic, Martin Hutle, André Schiper

Distributed Comput., 2014

2013

Abstractions for Solving Consensus and Related Problems with Byzantine Faults.

Zarko Milosevic

PhD thesis, 2013

Bounded Delay in Byzantine-Tolerant State Machine Replication.

Zarko Milosevic, Martin Biely, André Schiper

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Distal: A framework for implementing fault-tolerant distributed algorithms.

Martin Biely, Pamela Delgado, Zarko Milosevic, André Schiper

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

S-Paxos: Offloading the Leader for High Throughput State Machine Replication.

Martin Biely, Zarko Milosevic, Nuno Santos, André Schiper

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Brief announcement: tolerating permanent and transient value faults.

Zarko Milosevic, Martin Hutle, André Schiper

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

2011

Student mini-kernel project based on an FPGA board.

André Schiper, Zarko Milosevic, Omid Shahmirzadi

ACM SIGOPS Oper. Syst. Rev., 2011

Structured Derivation of Semi-Synchronous Algorithms.

Hagit Attiya, Fatemeh Borran, Martin Hutle, Zarko Milosevic, André Schiper

Proceedings of the Distributed Computing - 25th International Symposium, 2011

On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults.

Zarko Milosevic, Martin Hutle, André Schiper

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

2010

Securing every bit: authenticated broadcast in radio networks.

Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Zarko Milosevic, Calvin C. Newport

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Generic construction of consensus algorithms for benign and Byzantine faults.

Olivier Rütti, Zarko Milosevic, André Schiper

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency.

Zarko Milosevic, Martin Hutle, André Schiper

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009