Follow
Jan Gorzny
Jan Gorzny
Zircuits
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Sok: Not quite water under the bridge: Review of cross-chain bridge hacks
SS Lee, A Murashkin, M Derka, J Gorzny
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-14, 2023
582023
A Methodology for Verifying Refinements of Partial Models.
R Salay, M Chechik, M Famelis, J Gorzny
J. Object Technol. 14 (3), 3:1-31, 2015
332015
Change propagation due to uncertainty change
R Salay, J Gorzny, M Chechik
International Conference on Fundamental Approaches to Software Engineering …, 2013
222013
Towards a methodology for verifying partial model refinements
R Salay, M Chechik, J Gorzny
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
212012
Ideal properties of rollup escape hatches
J Gorzny, L Po-An, M Derka
Proceedings of the 3rd International Workshop on Distributed Infrastructure …, 2022
142022
Fundamentals of Smart Contract Security
R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack
Momentum Press, 2019
112019
End-vertices of LBFS of (AT-free) bigraphs
J Gorzny, J Huang
Discrete Applied Mathematics 225, 87-94, 2017
112017
Comparing the effectiveness of reasoning formalisms for partial models
P Saadatpanah, M Famelis, J Gorzny, N Robinson, M Chechik, R Salay
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
112012
Towards the compression of first-order resolution proofs by lowering unit clauses
J Gorzny, B Woltzenlogel Paleo
International Conference on Automated Deduction, 356-366, 2015
92015
Automated analysis of halo2 circuits
FH Soureshjani, M Hall-Andersen, MM Jahanara, J Kam, J Gorzny, ...
Cryptology ePrint Archive, 2023
72023
Feature interaction analysis of the feature-oriented requirements-modelling language using Alloy
D Dietrich, P Shaker, JM Atlee, D Rayside, J Gorzny
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
72012
On end vertices of search algorithms
J Gorzny
62015
Attacks on rollups
A Koegl, Z Meghji, D Pellegrino, J Gorzny, M Derka
Proceedings of the 4th International Workshop on Distributed Infrastructure …, 2023
52023
Related Orderings of AT-Free Graphs
J Gorzny
University of Waterloo, 2022
42022
End-vertices of AT-free bigraphs
J Gorzny, J Huang
Computing and Combinatorics: 26th International Conference, COCOON 2020 …, 2020
42020
Imbalance, cutwidth, and the structure of optimal orderings
J Gorzny, JF Buss
Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi …, 2019
42019
A Rollup Comparison Framework
J Gorzny, M Derka
arXiv preprint arXiv:2404.16150, 2024
32024
Computing imbalance-minimal orderings for bipartite permutation graphs and threshold graphs
J Gorzny
International Conference on Combinatorial Optimization and Applications, 766-779, 2020
32020
SoK: Compression in Rollups
R Palakkal, J Gorzny, M Derka
2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC …, 2024
22024
Temporarily Restricting Solidity Smart Contract Interactions
V Callens, Z Meghji, J Gorzny
arXiv preprint arXiv:2405.09084, 2024
22024
The system can't perform the operation now. Try again later.
Articles 1–20