Browsing by Author 0538835b-e994-444c-ad7d-6a4ab926edca
Showing results 8 to 26 of 26
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 |
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents
Author(s) | Gore, Rajeev; Lellmann, Bjorn |
---|---|
Type | Conference paper |
Date Published | 14-Aug-2019 |
Date Created | September 3-5 2019 |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
Author(s) | Lyon, Tim; Tiu, Alwen; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | Jan 13-16 2020 |
System description: The Tableau workbench
Author(s) | Abate, Pietro; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | November 29-30 2007 |
The Tableaux Work Bench
Author(s) | Abate, Pietro; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | September 9 2003 |
Verified Verifiers for Verifying Elections
Author(s) | Haines, Thomas; Gore, Rajeev; Tiwari, Mukesh |
---|---|
Type | Conference paper |
Date Published | 2019 |
Date Created | Nov 11-15 2019 |
Well-Founded Unions
Author(s) | Dawson, Jeremy; Dershowitz, Nachum; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 14-Jul-2018 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator