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 | 58 | 2023 |
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 | 33 | 2015 |
Change propagation due to uncertainty change R Salay, J Gorzny, M Chechik International Conference on Fundamental Approaches to Software Engineering …, 2013 | 22 | 2013 |
Towards a methodology for verifying partial model refinements R Salay, M Chechik, J Gorzny 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 21 | 2012 |
Ideal properties of rollup escape hatches J Gorzny, L Po-An, M Derka Proceedings of the 3rd International Workshop on Distributed Infrastructure …, 2022 | 14 | 2022 |
Fundamentals of Smart Contract Security R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack Momentum Press, 2019 | 11 | 2019 |
End-vertices of LBFS of (AT-free) bigraphs J Gorzny, J Huang Discrete Applied Mathematics 225, 87-94, 2017 | 11 | 2017 |
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 | 11 | 2012 |
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 | 9 | 2015 |
Automated analysis of halo2 circuits FH Soureshjani, M Hall-Andersen, MM Jahanara, J Kam, J Gorzny, ... Cryptology ePrint Archive, 2023 | 7 | 2023 |
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 | 7 | 2012 |
On end vertices of search algorithms J Gorzny | 6 | 2015 |
Attacks on rollups A Koegl, Z Meghji, D Pellegrino, J Gorzny, M Derka Proceedings of the 4th International Workshop on Distributed Infrastructure …, 2023 | 5 | 2023 |
Related Orderings of AT-Free Graphs J Gorzny University of Waterloo, 2022 | 4 | 2022 |
End-vertices of AT-free bigraphs J Gorzny, J Huang Computing and Combinatorics: 26th International Conference, COCOON 2020 …, 2020 | 4 | 2020 |
Imbalance, cutwidth, and the structure of optimal orderings J Gorzny, JF Buss Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi …, 2019 | 4 | 2019 |
A Rollup Comparison Framework J Gorzny, M Derka arXiv preprint arXiv:2404.16150, 2024 | 3 | 2024 |
Computing imbalance-minimal orderings for bipartite permutation graphs and threshold graphs J Gorzny International Conference on Combinatorial Optimization and Applications, 766-779, 2020 | 3 | 2020 |
SoK: Compression in Rollups R Palakkal, J Gorzny, M Derka 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC …, 2024 | 2 | 2024 |
Temporarily Restricting Solidity Smart Contract Interactions V Callens, Z Meghji, J Gorzny arXiv preprint arXiv:2405.09084, 2024 | 2 | 2024 |