Articles with public access mandates - Rajeev GoreLearn more
Not available anywhere: 3
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
Mandates: Austrian Science Fund
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
Mandates: Austrian Science Fund
Direct elimination of additive-cuts in GL4ip: verified and extracted
R Goré, I Shillito
Advances in Modal Logic 14, 2022
Mandates: Austrian Science Fund, Luxembourg National Research Fund
Available somewhere: 19
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
Mandates: Luxembourg National Research Fund, Research Council of Norway
Proof search for propositional abstract separation logics via labelled sequents
Z Hóu, R Clouston, R Goré, A Tiu
arXiv preprint arXiv:1307.5592, 2013
Mandates: Australian Research Council
Verifying voting schemes
B Beckert, R Goré, C Schürmann, T Bormer, J Wang
Journal of Information Security and Applications 19 (2), 115-129, 2014
Mandates: Danish Council for Strategic Research
Annotation-free sequent calculi for full intuitionistic linear logic
R Clouston, J Dawson, R Goré, A Tiu
Computer Science Logic 2013 (CSL 2013), 2013
Mandates: Australian Research Council
Verified Verifiers for Verifying Elections
T Haines, R Goré, M Tiwari
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
Mandates: Luxembourg National Research Fund, Research Council of Norway
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
Mandates: Austrian Science Fund
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
C Fiorentini, R Goré, S Graham-Lengrand
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
Mandates: European Commission
Modular Labelled Sequent Calculi for Abstract Separation Logics
Z Hóu, R Clouston, R Goré, A Tiu
ACM Transactions on Computational Logic (TOCL) 19 (2), 13, 2018
Mandates: Villum Foundation, National Research Foundation, Singapore
Simulating STV hand-counting by computers considered harmful: ACT
R Goré, E Lebedeva
International Joint Conference on Electronic Voting, 144-163, 2016
Mandates: Australian Research Council
Issues in machine-checking the decidability of implicational ticket entailment
JE Dawson, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
Mandates: Australian Research Council
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
Mandates: Austrian Science Fund, Netherlands Organisation for Scientific Research …
Tableau metatheory for syllogistic logics
T Jarmużek, R Goré
Selected topics from contemporary logics, 539-582, 2021
Mandates: National Science Centre, Poland
Machine-checking the universal verifiability of ElectionGuard
T Haines, R Goré, J Stodart
Secure IT Systems: 25th Nordic Conference, NordSec 2020, Virtual Event …, 2021
Mandates: Luxembourg National Research Fund, Research Council of Norway
Machine-checked interpolation theorems for substructural logics using display calculi
JE Dawson, J Brotherston, R Goré
International Joint Conference on Automated Reasoning, 452-468, 2016
Mandates: Australian Research Council, UK Engineering and Physical Sciences Research …
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
Mandates: Austrian Science Fund, Australian Research Council, Luxembourg National …
Improved Verifiability for BeleniosVS
T Haines, R Goré
Cryptology ePrint Archive, 2021
Mandates: Luxembourg National Research Fund, Research Council of Norway
Well-Founded Unions
J Dawson, N Dershowitz, R Goré
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
Mandates: Australian Research Council
Publication and funding information is determined automatically by a computer program