Zarko Milosevic

25 papers A* 1A 6B 8Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A conf
Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds.
Middleware
Nenad Milosevic, Daniel Cason, Zarko Milosevic, Robert Soulé, Fernando Pedone
2025 J jnl
Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds.
CoRR
Nenad Milosevic, Daniel Cason, Zarko Milosevic, Robert Soulé, Fernando Pedone
2024 B conf
How Robust Are Synchronous Consensus Protocols?
OPODIS
Nenad Milosevic, Daniel Cason, Zarko Milosevic, Fernando Pedone
2022 A conf
Crime and Punishment in Distributed Byzantine Decision Tasks.
ICDCS
Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi
2022 J jnl
Crime and Punishment in Distributed Byzantine Decision Tasks.
IACR Cryptol. ePrint Arch.
Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi
2022 — conf
Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use.
DSN (Supplements)
Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder
2022 B conf
Robust and Fast Blockchain State Synchronization.
OPODIS
Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone
2021 A conf
Gossip consensus.
Middleware
Daniel Cason, Nenad Milosevic, Zarko Milosevic, Fernando Pedone
2021 B conf
The design, architecture and performance of the Tendermint Blockchain Network.
SRDS
Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone
2020 J jnl
A Tendermint Light Client.
CoRR
Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder
2020 — conf
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
FMBC@CAV
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020 — conf
Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
ISoLA (1)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2018 J jnl
The latest gossip on BFT consensus.
CoRR
Ethan Buchman, Jae Kwon, Zarko Milosevic
2014 J jnl
Tolerating permanent and transient value faults.
Distributed Comput.
Zarko Milosevic, Martin Hutle, André Schiper
2013 — —
Abstractions for Solving Consensus and Related Problems with Byzantine Faults.
Zarko Milosevic
2013 B conf
Bounded Delay in Byzantine-Tolerant State Machine Replication.
SRDS
Zarko Milosevic, Martin Biely, André Schiper
2013 A conf
Distal: A framework for implementing fault-tolerant distributed algorithms.
DSN
Martin Biely, Pamela Delgado, Zarko Milosevic, André Schiper
2012 A* conf
Brief announcement: tolerating permanent and transient value faults.
PODC
Zarko Milosevic, Martin Hutle, André Schiper
2012 B conf
S-Paxos: Offloading the Leader for High Throughput State Machine Replication.
SRDS
Martin Biely, Zarko Milosevic, Nuno Santos, André Schiper
2011 B conf
On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults.
SRDS
Zarko Milosevic, Martin Hutle, André Schiper
2011 A conf
Structured Derivation of Semi-Synchronous Algorithms.
DISC
Hagit Attiya, Fatemeh Borran, Martin Hutle, Zarko Milosevic, André Schiper
2011 J jnl
Student mini-kernel project based on an FPGA board.
ACM SIGOPS Oper. Syst. Rev.
André Schiper, Zarko Milosevic, Omid Shahmirzadi
2010 A conf
Generic construction of consensus algorithms for benign and Byzantine faults.
DSN
Olivier Rütti, Zarko Milosevic, André Schiper
2010 B conf
Securing every bit: authenticated broadcast in radio networks.
SPAA
Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Zarko Milosevic, Calvin C. Newport
2009 B conf
Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency.
OPODIS
Zarko Milosevic, Martin Hutle, André Schiper