Internet Payment System: A New Payment System for Internet Transactions. - Zoran Duric; Ognjen Maric; Dragan Gasevic (J. Univers. Comput. Sci., 2007)

Verification of a Transactional Memory Manager under Hardware Failures and Restarts. - Ognjen Maric; Christoph Sprenger 001 (FM, 2014)

Consensus Refined. - Ognjen Maric; Christoph Sprenger 001; David A. Basin (DSN, 2015)

Consensus Refined. - Ognjen Maric; Christoph Sprenger 001 (Arch. Formal Proofs, 2015)

Cutoff Bounds for Consensus Algorithms. - Ognjen Maric; Christoph Sprenger 001; David A. Basin (CAV (2), 2017)

Formal Verification of Fault-Tolerant Systems. - Ognjen Maric (2017)

You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. - David Kozhaya; Ognjen Maric; Yvonne-Anne Pignolet (OPODIS, 2018)

Authenticated Data Structures as Functors in Isabelle/HOL. - Andreas Lochbihler; Ognjen Maric (FMBC@CAV, 2020)

Authenticated Data Structures As Functors. - Andreas Lochbihler; Ognjen Maric (Arch. Formal Proofs, 2020)

A New Broadcast Primitive for BFT Protocols. - Manu Drijvers; Tim Gretler; Yotam Harchol; Tobias Klenze; Ognjen Maric; Stefan Neamtu; Yvonne-Anne Pignolet; Rostislav Rumenov; Daniel Sharifi; Victor Shoup (CoRR, 2024)

Internet Computer as a Data Availability Layer. - Dor Cohen; Yvonne-Anne Pignolet; Ognjen Maric; Stefan Schmid 001 (ICBC, 2025)

Combating Reentrancy Bugs on Sharded Blockchains. - Ognjen Maric; Robin Künzler; Lara Schmid; Roman Kashitsyn (ICBC, 2025)