Ognjen Maric

14 papers A 1B 2C 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 C conf
Combating Reentrancy Bugs on Sharded Blockchains.
ICBC
Ognjen Maric, Robin Künzler, Lara Schmid, Roman Kashitsyn
2025 J jnl
Combating Reentrancy Bugs on Sharded Blockchains.
CoRR
Roman Kashitsyn, Robin Künzler, Ognjen Maric, Lara Schmid
2025 C conf
Internet Computer as a Data Availability Layer.
ICBC
Dor Cohen, Yvonne-Anne Pignolet, Ognjen Maric, Stefan Schmid
2024 J jnl
A New Broadcast Primitive for BFT Protocols.
CoRR
Manu Drijvers, Tim Gretler, Yotam Harchol, Tobias Klenze, Ognjen Maric, Stefan Neamtu, Yvonne-Anne Pignolet, Rostislav Rumenov, Daniel Sharifi, Victor Shoup
2020 J jnl
Authenticated Data Structures As Functors.
Arch. Formal Proofs
Andreas Lochbihler, Ognjen Maric
2020 — conf
Authenticated Data Structures as Functors in Isabelle/HOL.
FMBC@CAV
Andreas Lochbihler, Ognjen Maric
2018 B conf
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings.
OPODIS
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
2018 J jnl
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings.
CoRR
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
2017 — conf
Cutoff Bounds for Consensus Algorithms.
CAV (2)
Ognjen Maric, Christoph Sprenger, David A. Basin
2017 — —
Formal Verification of Fault-Tolerant Systems.
Ognjen Maric
2015 A conf
Consensus Refined.
DSN
Ognjen Maric, Christoph Sprenger, David A. Basin
2015 J jnl
Consensus Refined.
Arch. Formal Proofs
Ognjen Maric, Christoph Sprenger
2014 B conf
Verification of a Transactional Memory Manager under Hardware Failures and Restarts.
FM
Ognjen Maric, Christoph Sprenger
2007 J jnl
Internet Payment System: A New Payment System for Internet Transactions.
J. Univers. Comput. Sci.
Zoran Duric, Ognjen Maric, Dragan Gasevic