| A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised I Shillito, I van der Giessen, R Goré, R Iemhoff International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 3 | 2023 |
| Machine-checking {Multi-Round} Proofs of Shuffle:{Terelius-Wikstrom} and {Bayer-Groth} T Haines, R Goré, M Tiwari 32nd USENIX Security Symposium (USENIX Security 23), 6471-6488, 2023 | | 2023 |
| Direct elimination of additive-cuts in GL4ip: verified and extracted R Goré, I Shillito Advances in Modal Logic 14, 2022 | 4 | 2022 |
| A formally verified cut-elimination procedure for linear nested sequents for tense logic C D’Abrera, J Dawson, R Goré International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 8 | 2021 |
| Did you mix me? formally verifying verifiable mix nets in electronic voting T Haines, R Goré, B Sharma 2021 IEEE Symposium on Security and Privacy (SP), 1748-1765, 2021 | 21 | 2021 |
| Tableau metatheory for syllogistic logics T Jarmużek, R Goré Selected topics from contemporary logics, 539-582, 2021 | 2 | 2021 |
| Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq R Goré, R Ramanayake, I Shillito Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 14 | 2021 |
| CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT R Goré, C Kikkert Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 11 | 2021 |
| Improved Verifiability for BeleniosVS T Haines, R Goré Cryptology ePrint Archive, 2021 | | 2021 |
| Machine-checking the universal verifiability of ElectionGuard T Haines, R Goré, J Stodart Secure IT Systems: 25th Nordic Conference, NordSec 2020, Virtual Event …, 2021 | 2 | 2021 |
| N-PAT: A Nested Model-Checker H Bride, CH Cai, JS Dong, R Gore, Z Hóu, B Mahony, J McCarthy arXiv preprint arXiv:2005.05520, 2020 | | 2020 |
| N-PAT: A Nested Model-Checker: (System Description) H Bride, CH Cai, JS Dong, R Gore, Z Hóu, B Mahony, J McCarthy Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 8 | 2020 |
| Did you mix me? formally verifying verifiable mix nets in electronic voting T Haines, R Gore, B Sharma Cryptology ePrint Archive, 2020 | | 2020 |
| Bi-Intuitionistic Logics: A New Instance of an Old Problem. R Goré, I Shillito AiML, 269-288, 2020 | 18 | 2020 |
| Verified Verifiers for Verifying Elections T Haines, R Goré, M Tiwari Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 18 | 2019 |
| Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents T Lyon, A Tiu, R Goré, R Clouston arXiv preprint arXiv:1910.05215, 2019 | 27 | 2019 |
| Internet voting and election verification C Culnane, V Teague Submission prepared for the Joint Standing Committee on Electoral Matters …, 2019 | 1 | 2019 |
| Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version) R Goré, B Lellmann arXiv preprint arXiv:1907.01270, 2019 | | 2019 |
| A Correct Polynomial Translation of S4 into Intuitionistic Logic R Goré, J Thomson The Journal of Symbolic Logic 84 (2), 439-451, 2019 | 7 | 2019 |
| Verified Decision Procedures for Modal Logics M Wu, R Goré 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 9 | 2019 |
