Bill Roscoe (A.W. Roscoe)
University of Oxford
H-index: 57
Europe-United Kingdom
Top articles of Bill Roscoe (A.W. Roscoe)
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A refinement-based approach to safe smart contract deployment and evolution | Software and Systems Modeling | Pedro Antonino Juliandson Ferreira Augusto Sampaio AW Roscoe Filipe Arruda | 2024/1/25 |
Leveraging the Decentralised Open IoT Security Protocol ((d) OISP)™: Facilitating Edge-Based Artificial Intelligence in Large-Scale Network Infrastructures | Christopher Patrick Autry Wayne Henderson Mykhailo Magal Andrew William Roscoe | 2023/11/16 | |
The consensus machine: formalising consensus in the presence of malign agents | AW Roscoe Pedro Antonino Jonathan Lawrence | 2023 | |
Optimally-Fair Multi-party Exchange Without Trusted Parties | Ivo Maffei AW Roscoe | 2023/9/25 | |
Safe evolution of smart contracts | Augusto Sampaio Pedro Antonino Juliandson Ferreira Filipe Arruda AW Roscoe | 2023/8/6 | |
Public random number generation method and device based on blockchain | 2023/5/25 | ||
Method and device for preventing forking of blockchain | 2023/5/18 | ||
Optimally-fair exchange of secrets via delay encryption and commutative blinding | Ivo Maffei Andrew W Roscoe | 2023/5/1 | |
Delay encryption by cubing | arXiv preprint arXiv:2205.05594 | Ivo Maffei AW Roscoe | 2022/5/11 |
Committable: A Decentralised and Trustless Open-Source Protocol | Han Liu Huafeng Zhang Bangdao Chen AW Roscoe | 2022/5/2 | |
Fully Decentralized Post-Quantum Resistant Authentication, Encryption Protocol with Full Data Interoperability Universally Deployable in any Network Environment | Christopher Patrick Autry Wayne Henderson Mykhailo Magal Andrew William Roscoe | 2022/11/16 | |
Method and device for electronic signature | 2022/2/22 | ||
Bootstrapping IoT authentication using aggregated local knowledge and novel self-contained triangulation methodologies | CP Autry AW Roscoe Mykhailo Magal | 2022/10/3 | |
Embedding reverse links in a blockchain | Workshop Encouraging Building Better Blockchain Security(WEB3SEC’22) | AW Roscoe Pedro Antonino Jonathan Lawrence | 2022 |
Approximate verification of concurrent systems using token structures and invariants | International Journal on Software Tools for Technology Transfer | Pedro Antonino Thomas Gibson-Robinson AW Roscoe | 2022/8 |
Identity authentication method and system, as well as computing device and storage medium | 2022/5/17 | ||
Improving security protocols | 2021/3/23 | ||
Guardian: Symbolic validation of orderliness in SGX enclaves | Pedro Antonino Wojciech Aleksander Woloszyn AW Roscoe | 2021/11/15 | |
Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling | Pedro Antonino AW Roscoe | 2021/3/22 | |
Partially-fair computation from timed-release encryption and oblivious transfer | Geoffroy Couteau AW Roscoe Peter YA Ryan | 2021/11/4 |