Zarko Milosevic

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 10

Top Topics

Deterministic Finite Automaton

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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