Rajeev Goré

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 36

Top Venues

CoRR

TABLEAUX

IJCAR

IACR Cryptol. ePrint Arch.

Publications

Thomas Haines, Rajeev Goré, Mukesh Tiwari
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. USENIX Security Symposium (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX (2023)
Ian Shillito, Rajeev Goré
Direct elimination of additive-cuts in GL4ip: verified and extracted. AiML (2022)
Rajeev Goré, Revantha Ramanayake, Ian Shillito
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. TABLEAUX (2021)
Thomas Haines, Rajeev Goré, Bhavesh Sharma
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IEEE Symposium on Security and Privacy (2021)
Thomas Haines, Rajeev Goré
Improved Verifiability for BeleniosVS. IACR Cryptol. ePrint Arch. 2021 (2021)
Rajeev Goré, Cormac Kikkert
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. TABLEAUX (2021)
Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. TABLEAUX (2021)
Thomas Haines, Rajeev Goré, Bhavesh Sharma
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IACR Cryptol. ePrint Arch. 2020 (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
Thomas Haines, Rajeev Goré, Jack Stodart
Machine-checking the universal verifiability of ElectionGuard. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Haines, Rajeev Goré, Jack Stodart
Machine-Checking the Universal Verifiability of ElectionGuard. NordSec (2020)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL (2020)
Rajeev Goré, Ian Shillito
Bi-Intuitionistic Logics: A New Instance of an Old Problem. AiML (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Thomas Haines, Rajeev Goré, Mukesh Tiwari
Verified Verifiers for Verifying Elections. CCS (2019)
Rajeev Goré, Björn Lellmann
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version). CoRR (2019)
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR (2019)
Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. TABLEAUX (2019)
Rajeev Goré, Björn Lellmann
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. TABLEAUX (2019)
Minchao Wu, Rajeev Goré
Verified Decision Procedures for Modal Logics. ITP (2019)
Rajeev Goré, Jimmy Thomson
A Correct Polynomial Translation of S4 into intuitionistic Logic. J. Symb. Log. 84 (2) (2019)
Zhe Hou, Rajeev Goré, Alwen Tiu
A labelled sequent calculus for BBI: proof theory and proof search. J. Log. Comput. 28 (4) (2018)
Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
Modular Formalisation and Verification of STV Algorithms. E-Vote-ID (2018)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19 (2) (2018)
Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré
Well-Founded Unions. IJCAR (2018)
Dmitry Brizhinev, Rajeev Goré
A case study in formal verification of a Java program. CoRR (2018)
Milad K. Ghale, Rajeev Goré, Dirk Pattinson
A Formally Verified Single Transferable Voting Scheme with Fractional Values. E-VOTE-ID (2017)
Jeremy E. Dawson, Rajeev Goré
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. TABLEAUX (2017)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR (2017)
Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. E-VOTE-ID (2017)
Jeremy E. Dawson, James Brotherston, Rajeev Goré
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. IJCAR (2016)
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016)
Daniel Alarcón, Rajeev Goré
Efficient error localisation and imputation for real-world census data using SMT. ACSW (2016)
Rajeev Goré, Ekaterina Lebedeva
Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T. E-VOTE-ID (2016)
Ranald Clouston, Rajeev Goré
Sequent Calculus in the Topos of Trees. FoSSaCS (2015)
Zhe Hou, Rajeev Goré, Alwen Tiu
Automated Theorem Proving for Assertions in Separation Logic with All Connectives. CADE (2015)
Ranald Clouston, Rajeev Goré
Sequent Calculus in the Topos of Trees. CoRR (2015)
Rajeev Goré, Jason Jingshi Li, Thomas Pagram
Implementing Modal Tableaux Using Sentential Decision Diagrams. Australasian Conference on Artificial Intelligence (2015)
Jeremy E. Dawson, Rajeev Goré, Thomas Meumann
Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. VoteID (2015)
Hendra Gunadi, Alwen Tiu, Rajeev Goré
Formal Certification of Android Bytecode. CoRR (2015)
Rajeev Goré, Thomas Meumann
Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting. EVOTE (2014)
Rajeev Goré, Revantha Ramanayake
Cut-elimination for Weak Grzegorczyk Logic Go. Stud Logica 102 (1) (2014)
Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS (2014)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
Verifying voting schemes. J. Inf. Secur. Appl. 19 (2) (2014)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. POPL (2014)
Simon Kramer, Rajeev Goré, Eiji Okamoto
Computer-aided decision-making with trust relations and trust domains (cryptographic applications). J. Log. Comput. 24 (1) (2014)
Rajeev Goré, Jimmy Thomson, Jesse Wu
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. IJCAR (2014)
Rajeev Goré, Kerry Olesen, Jimmy Thomson
Implementing Tableau Calculi Using BDDs: BDDTab System Description. IJCAR (2014)
Rajeev Goré
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. IJCAR (2014)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE (2013)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL (2013)
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
Proof search for propositional abstract separation logics via labelled sequents. CoRR (2013)
Zhe Hou, Alwen Tiu, Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search CoRR (2013)
Rajeev Goré
Book Reviews. Stud Logica 101 (1) (2013)
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR (2013)
Rajeev Goré, Linh Anh Nguyen
Using Sound Global Caching. J. Autom. Reason. 50 (4) (2013)
Zhe Hou, Alwen Tiu, Rajeev Goré
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX (2013)
Rajeev Goré, Jimmy Thomson
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. CADE (2013)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
On the Specification and Verification of Voting Schemes. VoteID (2013)
Rajeev Goré, Jimmy Thomson
BDD-based automated reasoning in propositional non-classical logics: progress report. PAAR@IJCAR (2012)
Alwen Tiu, Egor Ianovski, Rajeev Goré
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures CoRR (2012)
Rajeev Goré, Revantha Ramanayake
Valentini's Cut-Elimination for Provability Logic resolved. Rev. Symb. Log. 5 (2) (2012)
Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich
An iterative approach to synthesize business process templates from compliance rules. Inf. Syst. 37 (8) (2012)
Alwen Tiu, Egor Ianovski, Rajeev Goré
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic (2012)
Rajeev Goré, Revantha Ramanayake
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. Advances in Modal Logic (2012)
Rajeev Goré, Jimmy Thomson
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. IJCAR (2012)
Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich
An Iterative Approach for Business Process Template Synthesis from Compliance Rules. CAiSE (2011)
Rajeev Goré, Jimmy Thomson, Florian Widmann
An Experimental Comparison of Theorem Provers for CTL. TIME (2011)
James Brotherston, Rajeev Goré
Craig Interpolation in Displayable Logics. TABLEAUX (2011)
Rajeev Goré, Linda Postniece, Alwen Tiu
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics Log. Methods Comput. Sci. 7 (2) (2011)
Simon Kramer, Rajeev Goré, Eiji Okamoto
Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. IACR Cryptol. ePrint Arch. 2011 (2011)
Rajeev Goré, Florian Widmann
Optimal Tableaux for Propositional Dynamic Logic with Converse CoRR (2010)
Rajeev Goré, Florian Widmann
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. IJCAR (2010)
Rajeev Goré, Linda Postniece, Alwen Tiu
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic (2010)
Jeremy E. Dawson, Rajeev Goré
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) (2010)
Rajeev Goré, Linda Postniece, Alwen Tiu
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic CoRR (2010)
Khoi-Nguyen Tran, Michael Compton, Jemma Wu, Rajeev Goré
Short Paper: Semantic Sensor Composition. SSN (2010)
Rajeev Goré, Clemens Kupke, Dirk Pattinson
Optimal Tableau Algorithms for Coalgebraic Logics. TACAS (2010)
Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
Global Caching for Coalgebraic Description Logics. IJCAR (2010)
Simon Kramer, Rajeev Goré, Eiji Okamoto
Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography. SIGACT News 41 (1) (2010)
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
A Proof Theoretic Analysis of Intruder Theories Log. Methods Comput. Sci. 6 (3) (2010)
Rajeev Goré, Linda Postniece
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. J. Log. Comput. 20 (1) (2010)
Rajeev Goré, Linh Anh Nguyen
Clausal Tableaux for Multimodal Logics of Belief. Fundam. Informaticae 94 (1) (2009)
Alwen Tiu, Rajeev Goré
A Proof Theoretic Analysis of Intruder Theories. RTA (2009)
Andreas Bauer, Rajeev Goré, Alwen Tiu
A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC (2009)
Andreas Bauer, Rajeev Goré, Alwen Tiu
A decidable policy language for history-based transaction monitoring CoRR (2009)
Pietro Abate, Rajeev Goré, Florian Widmann
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. Electron. Notes Theor. Comput. Sci. 231 (2009)
Jeremy E. Dawson, Rajeev Goré
Termination of Abstract Reduction Systems. Int. J. Found. Comput. Sci. 20 (1) (2009)
Rajeev Goré, Florian Widmann
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. CADE (2009)
Rajeev Goré
Global Caching, Inverse Roles and Fixpoint Logics. Description Logics (2009)
Rajeev Goré, Florian Widmann
with Inverse Roles. TABLEAUX (2009)
Rajeev Goré
Machine Checking Proof Theory: An Application of Logic to Logic. ICLA (2009)
Pietro Abate, Rajeev Goré
The Tableau Workbench. Electron. Notes Theor. Comput. Sci. 231 (2009)
Rajeev Goré, Linda Postniece, Alwen Tiu
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX (2009)
Rajeev Goré, Linda Postniece
An Experimental Evaluation of Global Caching for (System Description). IJCAR (2008)
Rajeev Goré, Revantha Ramanayake
Valentini's cut-elimination for provability logic resolved. Advances in Modal Logic (2008)
Alwen Tiu, Rajeev Goré
A proof theoretic analysis of intruder theories CoRR (2008)
Rajeev Goré, Linda Postniece, Alwen Tiu
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic (2008)

Rajeev Goré.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rajeev Goré