Zarko Milosevic

25 papers A* 1A 6B 8Journal 6Unranked 3

Year	Rank	Type	Title / 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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.