Jan Gorzny

38 papers A 2B 1C 6Misc 3Journal 15Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Comparative Analysis of Cross-Chain Token Standards.
CoRR
Fatemeh Heidari Soureshjani, Jan Gorzny
2026 J jnl
How to Serve Your Sandwich? MEV Attacks in Private L2 Mempools.
CoRR
Krzysztof Gogol, Manvir Schneider, Jan Gorzny, Claudio J. Tessone
2025 — conf
A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains.
WETSEB
Zhiyang Chen, Phillip Kemper, Yi Liu, Jan Gorzny, Diego Siqueira, Yuekang Li, Donato Pellegrino, Martin Derka
2025 C conf
A Practical Rollup Escape Hatch Design.
ICBC
Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny
2025 J jnl
A Practical Rollup Escape Hatch Design.
CoRR
Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny
2025 — conf
Account Abstraction for Enforcing Blockchain-Based AI Agent Non-Functional Requirements.
REW
Jan Gorzny, Fatemeh Heidari Soureshjani, Martin Derka
2025 C conf
Blue-Green Deployments for Smart Contracts.
ICBC
Jan Gorzny, Valerian Callens, Alexandr Murashkin
2025 Misc conf
Decentralized Finance Withdrawal Delays.
SAC
Jan Gorzny
2025 — conf
Early Observations of Based Rollups: A Case Study of Taiko.
FC (Workshops 1)
Jan Gorzny, Phillip Kemper, Martin Derka
2025 — conf
Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security.
SANER-C
Zhiyang Chen, Jan Gorzny, Martin Derka
2025 C conf
Sequencer Level Security.
ICBC
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
2025 J jnl
SoK: A Review of Cross-Chain Bridge Hacks in 2023.
CoRR
Nikita Belenkov, Valerian Callens, Alexandr Murashkin, Kacper Bak, Martin Derka, Jan Gorzny, Sung-Shine Lee
2024 J jnl
A Rollup Comparison Framework.
CoRR
Jan Gorzny, Martin Derka
2024 J jnl
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security.
CoRR
Zhiyang Chen, Jan Gorzny, Martin Derka
2024 — conf
Requirements Engineering Challenges for Blockchain Rollups.
RE Workshops
Jan Gorzny, Martin Derka
2024 J jnl
Sequencer Level Security.
CoRR
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
2024 C conf
SoK: Compression in Rollups.
ICBC
Roshan Palakkal, Jan Gorzny, Martin Derka
2024 — conf
Temporarily Restricting Solidity Smart Contract Interactions.
DAPPS
Valerian Callens, Zeeshan Meghji, Jan Gorzny
2024 J jnl
Temporarily Restricting Solidity Smart Contract Interactions.
CoRR
Valerian Callens, Zeeshan Meghji, Jan Gorzny
2023 — conf
Attacks on Rollups.
DICG@Middleware
Adrian Koegl, Zeeshan Meghji, Donato Pellegrino, Jan Gorzny, Martin Derka
2023 — conf
Automated Analysis of Halo2 Circuits.
SMT
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
2023 J jnl
Automated Analysis of Halo2 Circuits.
IACR Cryptol. ePrint Arch.
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
2023 C conf
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks.
ICBC
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
2022 — conf
Ideal properties of rollup escape hatches.
DICG@Middleware
Jan Gorzny, Po-An Lin, Martin Derka
2022 J jnl
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks.
CoRR
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
2021 J jnl
Lifting propositional proof compression algorithms to first-order logic.
J. Log. Comput.
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
2020 C conf
Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs.
COCOA
Jan Gorzny
2020 — conf
Constant-Time Updates Using Token Mechanics.
Blockchain
Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin
2020 Misc conf
End-Vertices of AT-free Bigraphs.
COCOON
Jan Gorzny, Jing Huang
2020 — conf
Partial Regularization of First-Order Resolution Proofs.
GCAI
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
2019 Misc conf
Imbalance, Cutwidth, and the Structure of Optimal Orderings.
COCOON
Jan Gorzny, Jonathan F. Buss
2018 J jnl
Partial Regularization of First-Order Resolution Proofs.
CoRR
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
2017 J jnl
End-vertices of LBFS of (AT-free) bigraphs.
Discret. Appl. Math.
Jan Gorzny, Jing Huang
2015 J jnl
A Methodology for Verifying Refinements of Partial Models.
J. Object Technol.
Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny
2015 J jnl
End-vertices of LBFS of (AT-free) bigraphs.
CoRR
Jan Gorzny, Jing Huang
2015 A conf
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses.
CADE
Jan Gorzny, Bruno Woltzenlogel Paleo
2013 B conf
Change Propagation due to Uncertainty Change.
FASE
Rick Salay, Jan Gorzny, Marsha Chechik
2012 A conf
Towards a Methodology for Verifying Partial Model Refinements.
ICST
Rick Salay, Marsha Chechik, Jan Gorzny