Towards a Methodology for Verifying Partial Model Refinements. - Rick Salay; Marsha Chechik; Jan Gorzny (ICST, 2012)

Change Propagation due to Uncertainty Change. - Rick Salay; Jan Gorzny; Marsha Chechik (FASE, 2013)

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. - Jan Gorzny; Bruno Woltzenlogel Paleo (CADE, 2015)

A Methodology for Verifying Refinements of Partial Models. - Rick Salay; Marsha Chechik; Michalis Famelis; Jan Gorzny (J. Object Technol., 2015)

End-vertices of LBFS of (AT-free) bigraphs. - Jan Gorzny; Jing Huang 007 (Discret. Appl. Math., 2017)

Imbalance, Cutwidth, and the Structure of Optimal Orderings. - Jan Gorzny; Jonathan F. Buss (COCOON, 2019)

Constant-Time Updates Using Token Mechanics. - Sebastian Banescu; Martin Derka; Jan Gorzny; Sung-Shine Lee; Alex Murashkin (Blockchain, 2020)

Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs. - Jan Gorzny (COCOA, 2020)

End-Vertices of AT-free Bigraphs. - Jan Gorzny; Jing Huang 007 (COCOON, 2020)

Partial Regularization of First-Order Resolution Proofs. - Jan Gorzny; Ezequiel Postan; Bruno Woltzenlogel Paleo (GCAI, 2020)

Lifting propositional proof compression algorithms to first-order logic. - Jan Gorzny; Ezequiel Postan; Bruno Woltzenlogel Paleo (J. Log. Comput., 2021)

Ideal properties of rollup escape hatches. - Jan Gorzny; Po-An Lin; Martin Derka (DICG@Middleware, 2022)

Attacks on Rollups. - Adrian Koegl; Zeeshan Meghji; Donato Pellegrino; Jan Gorzny; Martin Derka (DICG@Middleware, 2023)

SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks. - Sung-Shine Lee; Alexandr Murashkin; Martin Derka; Jan Gorzny (ICBC, 2023)

Automated Analysis of Halo2 Circuits. - Fatemeh Heidari Soureshjani; Mathias Hall-Andersen; MohammadMahdi Jahanara; Jeffrey Kam; Jan Gorzny; Mohsen Ahmadvand (IACR Cryptol. ePrint Arch., 2023)

Temporarily Restricting Solidity Smart Contract Interactions. - Valerian Callens; Zeeshan Meghji; Jan Gorzny (DAPPS, 2024)

SoK: Compression in Rollups. - Roshan Palakkal; Jan Gorzny; Martin Derka (ICBC, 2024)

Requirements Engineering Challenges for Blockchain Rollups. - Jan Gorzny; Martin Derka (RE Workshops, 2024)

A Rollup Comparison Framework. - Jan Gorzny; Martin Derka (CoRR, 2024)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security. - Zhiyang Chen 004; Jan Gorzny; Martin Derka (CoRR, 2024)

Sequencer Level Security. - Martin Derka; Jan Gorzny; Diego Siqueira; Donato Pellegrino; Marius Guggenmos; Zhiyang Chen 004 (ICBC, 2025)

A Practical Rollup Escape Hatch Design. - Francisco Gomes Figueira; Martin Derka; Ching Lun Chiu; Jan Gorzny (ICBC, 2025)

Blue-Green Deployments for Smart Contracts. - Jan Gorzny; Valerian Callens; Alexandr Murashkin (ICBC, 2025)

Decentralized Finance Withdrawal Delays. - Jan Gorzny (SAC, 2025)

A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains. - Zhiyang Chen 004; Phillip Kemper; Yi Liu; Jan Gorzny; Diego Siqueira; Yuekang Li; Donato Pellegrino; Martin Derka (WETSEB, 2025)

SoK: A Review of Cross-Chain Bridge Hacks in 2023. - Nikita Belenkov; Valerian Callens; Alexandr Murashkin; Kacper Bak; Martin Derka; Jan Gorzny; Sung-Shine Lee (CoRR, 2025)