Jan Gorzny

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 17

Top Topics

Compression Algorithm

Consequence Finding

Equational Theories

Top Venues

DICG@Middleware

Publications

Jan Gorzny, Martin Derka
A Rollup Comparison Framework. CoRR (2024)
Valerian Callens, Zeeshan Meghji, Jan Gorzny
Temporarily Restricting Solidity Smart Contract Interactions. CoRR (2024)
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
Sequencer Level Security. CoRR (2024)
Adrian Koegl, Zeeshan Meghji, Donato Pellegrino, Jan Gorzny, Martin Derka
Attacks on Rollups. DICG@Middleware (2023)
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits. SMT (2023)
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks. ICBC (2023)
Jan Gorzny, Po-An Lin, Martin Derka
Ideal properties of rollup escape hatches. DICG@Middleware (2022)
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks. CoRR (2022)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Lifting propositional proof compression algorithms to first-order logic. J. Log. Comput. 31 (8) (2021)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Partial Regularization of First-Order Resolution Proofs. GCAI (2020)
Jan Gorzny
Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs. COCOA (2020)
Jan Gorzny, Jing Huang
End-Vertices of AT-free Bigraphs. COCOON (2020)
Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin
Constant-Time Updates Using Token Mechanics. Blockchain (2020)
Jan Gorzny, Jonathan F. Buss
Imbalance, Cutwidth, and the Structure of Optimal Orderings. COCOON (2019)
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Partial Regularization of First-Order Resolution Proofs. CoRR (2018)
Jan Gorzny, Jing Huang
End-vertices of LBFS of (AT-free) bigraphs. Discret. Appl. Math. 225 (2017)
Jan Gorzny, Jing Huang
End-vertices of LBFS of (AT-free) bigraphs. CoRR (2015)
Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny
A Methodology for Verifying Refinements of Partial Models. J. Object Technol. 14 (3) (2015)
Jan Gorzny, Bruno Woltzenlogel Paleo
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. CADE (2015)
Rick Salay, Jan Gorzny, Marsha Chechik
Change Propagation due to Uncertainty Change. FASE (2013)
Rick Salay, Marsha Chechik, Jan Gorzny
Towards a Methodology for Verifying Partial Model Refinements. ICST (2012)