Jan Gorzny

•

Computer science PhD

Publications

This page may be out of date – my DBLP profile might be better.

Journal Publications

  1. Lifting propositional proof compression algorithms to first-order logic. J. Gorzny, E. Postan, and B. Woltzenlogel Paleo. Journal of Logic and Computation, 2020.
  2. End-Vertices of LBFS of (AT-free) bigraphs. J. Gorzny and J. Huang. Discrete Applied Mathematics, 2017.
  3. Exact Values for the ε-ascent chromatic index of complete graphs. C. M. van Bommel and J. Gorzny. Journal of Combinatorial Mathematics and Combinatorial Computing, 2016.
  4. A Methodology for Verifying Refinements of Partial Models. R. Salay, M. Chechik, M. Famelis, and J. Gorzny. The Journal of Object Technology, 2015.

Conference & Workshop Papers

  1. Account Abstraction for Enforcing Blockchain-Based AI Agent Non-Functional Requirements. J. Gorzny, F. H. Soureshjani, and M. Derka. RE4WEB3 2025 @ RE 2025.
  2. A practical rollup escape hatch design. F. G. Figueira, M. Derka, C. L. Chiu, and J. Gorzny. ICBC 2025.
  3. Instrumenting transaction trace properties in smart contracts: Extending the EVM for real-time security. Z. Chen, J. Gorzny, and M. Derka. IWBOSE 2025 @ SANER 2025.
  4. A methodology for replicating historical exploits on EVM-compatible blockchains. Z. Chen, P. Kemper, Y. Liu, J. Gorzny, D. Siqueira, Y. Li, D. Pellegrino, and M. Derka. WETSEB 2025 @ ICSE 2025.
  5. Early Observations of Based Rollups: A Case Study of Taiko. J. Gorzny, P. Kemper, and M. Derka. CAAW 2025 @ FC 2025.
  6. Smart contract families in Solidity. J. Aguilar, K. Bak, M. Boyle, V. Callens, and J. Gorzny. CASCON 2024.
  7. Abstract interpretation for PLONKish circuits. F. H. Soureshjani and J. Gorzny. CASCON 2024.
  8. Temporarily restricting solidity smart contract interactions. V. Callens, Z. Meghji, and J. Gorzny. DAPPS 2024.
  9. A rollup comparison framework. J. Gorzny and M. Derka. ChainScience 2024.
  10. Requirements engineering challenges for blockchain rollups. J. Gorzny and M. Derka. RE4WEB3 2024 @ RE 2024.
  11. Attacks on rollups. A. Koegl, Z. Meghji, D. Pellegrino, J. Gorzny, and M. Derka. DICG 2023 @ Middleware 2023.
  12. SoK: Compression in rollups. R. Palakkal, J. Gorzny, and M. Derka. ICBC 2024.
  13. SoK: Not quite water under the bridge: Review of cross-chain bridge hacks. S. Lee, A. Murashkin, M. Derka, and J. Gorzny. ICBC 2023.
  14. Automated analysis of Halo2 circuits. F. H. Soureshjani, M. Hall-Andersen, M. Jahanara, J. Kam, J. Gorzny, and M. Ahmadvand. SMT 2023 @ CADE 2023.
  15. Ideal properties of rollup escape hatches. J. Gorzny, P. Lin, and M. Derka. DICG 2022 @ Middleware 2022.
  16. Constant time updates using token mechanics. S. Banescu, M. Derka, J. Gorzny, S. Lee, and A. Murashkin. Blockchain 2020.
  17. Computing imbalance-minimal orderings for bipartite permutation graphs and threshold graphs. J. Gorzny. COCOA 2020.
  18. End-vertices of AT-free bigraphs. J. Gorzny and J. Huang. COCOON 2020.
  19. Partial regularization of first-order resolution proofs. J. Gorzny, E. Postan, and B. W. Paleo. GCAI 2020.
  20. Imbalance, cutwidth, and the structure of optimal orderings. J. Gorzny and J. F. Buss. COCOON 2019.
  21. Towards the compression of first-order resolution proofs by lowering unit clauses. J. Gorzny and B. Woltzenlogel Paleo. CADE 2015.
  22. Change propagation due to uncertainty change. R. Salay, J. Gorzny, and M. Chechik. FASE 2013 @ ETAPS 2013.
  23. Feature interaction analysis of the feature-oriented requirements-modelling language using Alloy. D. Dietrich, P. Shaker, J. M. Atlee, D. Rayside, and J. Gorzny. MoDeVVa 2012.
  24. Comparing the effectiveness of reasoning formalisms for partial models. P. Saadatpanah, M. Famelis, J. Gorzny, N. Robinson, M. Chechik, and R. Salay. MoDeVVa 2012.
  25. Towards a methodology for verifying partial model refinements. R. Salay, M. Chechik, and J. Gorzny. VOLT 2012.

Theses

  1. Related Orderings of AT-Free Graphs. J. Gorzny. Ph.D. Thesis, 2022, University of Waterloo.
  2. On End Vertices of Search Algorithms. J. Gorzny. M.Sc. Thesis, 2015, University of Victoria.

Books

  1. Fundamentals of Smart Contract Security. R. Ma, J. Gorzny, E. Zulkoski, K. Bak, and O. V. Mack. Momentum Press, 2019.

PREPRINTS and TECHNICAL REPORTS

  1. A practical rollup escape hatch design. F. G. Figueira, M. Derka, C. L. Chiu, and J. Gorzny. 2025.
  2. SoK: A review of cross-chain bridge hacks in 2023. N. Belenkov, V. Callens, A. Murashkin,  K. Bak, M. Derka, J. Gorzny, and S. Lee. 2025.
  3. Temporarily restricting solidity smart contract interactions. V. Callens, Z. Meghji, and J. Gorzny. 2024.
  4. Instrumenting transaction trace properties in smart contracts: Extending the EVM for real-time security. Z. Chen, J. Gorzny, and M. Derka. 2024.
  5. Sequencer level security. M. Derka, J. Gorzny, D. Siqueira, D. Pellegrino, M. Guggenmos, and Z. Chen. 2024.
  6. Automated analysis of Halo2 circuits. F. H. Soureshjani, M. Hall-Andersen, M. Jahanara, J. Kam, J. Gorzny, and M. Ahmadvand. 2023.
  7. SoK: Not quite water under the bridge: Review of cross-chain bridge hacks. S. Lee, A. Murashkin, M. Derka, and J. Gorzny. 2022.
  8. Partial regularization of first-order resolution proofs. J. Gorzny, E. Postan, and B. W. Paleo. 2018.
  9. End-vertices of LBFS of (AT-free) bigraphs. J. Gorzny and J. Huang. 2015.
  10. Translating the feature-oriented requirements modelling language to alloy. D. Dietrich, P. Shaker, J. Gorzny, J. Atlee, and D. Rayside. 2012.

Posters Presented

  1. Sequencer level security. M. Derka, J. Gorzny, D. Siqueira, D. Pellegrino, M. Guggenmos, and Z. Chen. ICBC 2025.
  2. Blue-green deployments for smart contracts. J. Gorzny, V. Callens, and A. Murashkin. ICBC 2025.
  3. Decentralized finance withdrawal delays. J. Gorzny. SAC 2025.
  4. Imbalance, Cutwidth, and the Structure of Optimal Orderings. J. Gorzny and J. Buss. DIMEA Days 2019.
    • Poster.
    • See also errata for the publication of the same name.
  5. Partial Regularization of First-Order Resolution Proofs. J. Gorzny, E. Postan, and B. Woltzenlogel Paleo. UITP 2018 and NASSLLI 2016.
  6. Uncertainty management with partial models. M. Famelis, J. Gorzny, P. SaadatPanah, M. Chechik, and R. Salay. RIA Showcase 2012.
  7. Feature-oriented modelling and analysis. J. M. Atlee, P. Shaker, and J. Gorzny. CASCON 2011.
  8. JSCOOP: Simple concurrency for Java. J. Gorzny, F. Torshizi, and M. Chechik. University of Toronto 2011.

Erdos Number

My Erdos number is 3:

  • I (Jan Gorzny) have coauthored with Jonathan F. Buss,
  • Jonathan F. Buss coauthored with Jeffrey O. Shallit,
  • Jeffrey O. Shallit coauthored with Paul Erdős.