Browsing by Author 0538835b-e994-444c-ad7d-6a4ab926edca
Showing results 1 to 20 of 26
A first-order policy language for history-based transaction monitoring
Author(s) | Bauer, Andreas; Gore, Rajeev; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | August 16-20 2009 |
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Author(s) | Hou, Zhe; Tiu, Alwen; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | September 16-19 2013 |
A Proof Theoretic Analysis of Intruder Theories
Author(s) | Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
Advances in Modal Logic, Volume 10
Author(s) | Gore, Rajeev; Kooi, Barteld; Kurucz, Agi |
---|---|
Type | Book |
Date Published | 2014 |
Date Created | - |
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT
Author(s) | Gore, Rajeev; Kikkert, Cormac |
---|---|
Type | Conference paper |
Date Published | 2021 |
Date Created | September 6–9, 2021 |
A correct polynomial translation of S4 into intuitionistic logic
Author(s) | Gore, Rajeev; Thomson, James |
---|---|
Type | Journal article |
Date Published | 2019 |
Date Created | - |
Did you mix me? Formally verifying verifiable mix nets in electronic voting
Author(s) | Haines, Thomas; Gore, Rajeev; Sharma, Bhavesh |
---|---|
Type | Conference paper |
Date Published | 2021 |
Date Created | 24-27 May 2021 |
Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the Web of Trust, PKIs, and ID-Based Cryptography
Author(s) | Kramer, Simon; Gore, Rajeev; Okamoto, Eiji |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic
Author(s) | D'Abrera, Caitlin; Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2021 |
Date Created | 6-9 September 2021 |
A formally verified single transferable voting scheme with fractional values
Author(s) | Gore, Rajeev; Pattinson, Dirk; K. Ghale, Milad |
---|---|
Type | Conference paper |
Date Published | 6-Oct-2017 |
Date Created | 24 27 October 2017 |
Improved Verifiability for BeleniosVS
Author(s) | Haines, Thomas; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2021 |
Date Created | October 58 |
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment
Author(s) | Dawson, Jeremy; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2017 |
Date Created | September 25-28 2017 |
A labelled sequent calculus for BBI: proof theory and proof search
Author(s) | Hou, Zhe; Gore, Rajeev; Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2018 |
Date Created | - |
Machine-Checked Proof-Theory for Propositional Modal Logics
Author(s) | Dawson, Jeremy; Gore, Rajeev; Wu, Jesse |
---|---|
Type | Book chapter |
Date Published | 2016 |
Date Created | - |
Machine-Checking the Universal Verifiability of ElectionGuard
Author(s) | Haines, Thomas; Goré, Rajeev; Stodart, Jack |
---|---|
Type | Conference paper |
Date Published | 2021 |
Date Created | November 23–24, 2020 |
Modular Formalisation and Verification of STV Algorithms
Author(s) | Ghale, Milad K.; Gore, Rajeev; Pattinson, Dirk, et al |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | October 2-5 2018 |
Modular Labelled Sequent Calculi for Abstract Separation Logics
Author(s) | Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Journal article |
Date Published | 2018 |
Date Created | - |
N-PAT: A Nested Model-Checker (System Description)
Author(s) | Bride, Hadrien; Cai, Cheng-Hao; Dong, Jin Song, et al |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | July 1-4 2020 |
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
Author(s) | Moses, Lyria Bennett; Gore, Rajeev; Levy, Ron, et al |
---|---|
Type | Conference paper |
Date Published | 2017 |
Date Created | 24 27 October 2017 |
One-pass tableaux for computation tree logic
Author(s) | Abate, Pietro; Gore, Rajeev; Widmann, Florian |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | October 15-19 2007 |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator