Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency. - Zarko Milosevic 001; Martin Hutle; André Schiper (OPODIS, 2009)

Generic construction of consensus algorithms for benign and Byzantine faults. - Olivier Rütti; Zarko Milosevic 001; André Schiper (DSN, 2010)

Securing every bit: authenticated broadcast in radio networks. - Dan Alistarh; Seth Gilbert; Rachid Guerraoui; Zarko Milosevic 001; Calvin C. Newport (SPAA, 2010)

On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults. - Zarko Milosevic 001; Martin Hutle; André Schiper (SRDS, 2011)

Structured Derivation of Semi-Synchronous Algorithms. - Hagit Attiya; Fatemeh Borran; Martin Hutle; Zarko Milosevic 001; André Schiper (DISC, 2011)

Student mini-kernel project based on an FPGA board. - André Schiper; Zarko Milosevic 001; Omid Shahmirzadi (ACM SIGOPS Oper. Syst. Rev., 2011)

Brief announcement: tolerating permanent and transient value faults. - Zarko Milosevic 001; Martin Hutle; André Schiper (PODC, 2012)

S-Paxos: Offloading the Leader for High Throughput State Machine Replication. - Martin Biely; Zarko Milosevic 001; Nuno Santos; André Schiper (SRDS, 2012)

Distal: A framework for implementing fault-tolerant distributed algorithms. - Martin Biely; Pamela Delgado; Zarko Milosevic 001; André Schiper (DSN, 2013)

Bounded Delay in Byzantine-Tolerant State Machine Replication. - Zarko Milosevic 001; Martin Biely; André Schiper (SRDS, 2013)

Abstractions for Solving Consensus and Related Problems with Byzantine Faults. - Zarko Milosevic 001 (2013)

Tolerating permanent and transient value faults. - Zarko Milosevic 001; Martin Hutle; André Schiper (Distributed Comput., 2014)

The latest gossip on BFT consensus. - Ethan Buchman; Jae Kwon; Zarko Milosevic 001 (CoRR, 2018)

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (FMBC@CAV, 2020)

Tendermint Blockchain Synchronization: Formal Specification and Model Checking. - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (ISoLA (1), 2020)

A Tendermint Light Client. - Sean Braithwaite; Ethan Buchman; Ismail Khoffi; Igor Konnov 001; Zarko Milosevic 001; Romain Ruetschi; Josef Widder (CoRR, 2020)

Gossip consensus. - Daniel Cason; Nenad Milosevic; Zarko Milosevic 001; Fernando Pedone (Middleware, 2021)

The design, architecture and performance of the Tendermint Blockchain Network. - Daniel Cason; Enrique Fynn; Nenad Milosevic; Zarko Milosevic 001; Ethan Buchman; Fernando Pedone (SRDS, 2021)

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use. - Ethan Buchman; Rachid Guerraoui; Jovan Komatovic; Zarko Milosevic 001; Dragos-Adrian Seredinschi; Josef Widder (DSN (Supplements), 2022)

Robust and Fast Blockchain State Synchronization. - Enrique Fynn; Ethan Buchman; Zarko Milosevic 001; Robert Soulé; Fernando Pedone (OPODIS, 2022)

Crime and Punishment in Distributed Byzantine Decision Tasks. - Pierre Civit; Seth Gilbert; Vincent Gramoli; Rachid Guerraoui; Jovan Komatovic; Zarko Milosevic 001; Adi Seredinschi (IACR Cryptol. ePrint Arch., 2022)

How Robust Are Synchronous Consensus Protocols? - Nenad Milosevic; Daniel Cason; Zarko Milosevic 001; Fernando Pedone (OPODIS, 2024)

Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds. - Nenad Milosevic; Daniel Cason; Zarko Milosevic 001; Robert Soulé; Fernando Pedone (CoRR, 2025)