Zarko Milosevic

Affiliations:
  • Informal Systems, Lausanne, Switzerland
  • Singidunum University, Belgrade, Serbia (2017 - 2019)
  • EPFL, Lausanne, Switzerland (PhD 2013)


According to our database1, Zarko Milosevic authored at least 18 papers between 2009 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Crime and Punishment in Distributed Byzantine Decision Tasks.
IACR Cryptol. ePrint Arch., 2022

2021
The design, architecture and performance of the Tendermint Blockchain Network.
Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

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

2020
A Tendermint Light Client.
CoRR, 2020

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
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).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2018
The latest gossip on BFT consensus.
CoRR, 2018

2014
Tolerating permanent and transient value faults.
Distributed Comput., 2014

2013
Bounded Delay in Byzantine-Tolerant State Machine Replication.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Distal: A framework for implementing fault-tolerant distributed algorithms.
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.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Brief announcement: tolerating permanent and transient value faults.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

2011
Student mini-kernel project based on an FPGA board.
ACM SIGOPS Oper. Syst. Rev., 2011

Structured Derivation of Semi-Synchronous Algorithms.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

2010
Securing every bit: authenticated broadcast in radio networks.
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.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009


  Loading...