A. W. Roscoe

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 35

Top Venues

CoRR

Security Protocols Workshop

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

Publications

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. 23 (3) (2024)
A. W. Roscoe, Pedro Antonino, Jonathan Lawrence
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. Theories of Programming and Formal Methods (2023)
Ivo Maffei, A. W. Roscoe
Optimally-Fair Multi-party Exchange Without Trusted Parties. ESORICS (1) (2023)
Ivo Maffei, A. W. Roscoe
Delay Encryption by Cubing. CoRR (2022)
Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe
Committable: A Decentralised and Trustless Open-Source Protocol. ICBC (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. SEFM (2022)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Approximate verification of concurrent systems using token structures and invariants. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. CoRR (2022)
Geoffroy Couteau, A. W. Roscoe, Peter Y. A. Ryan
Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. ACISP (2021)
Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
Guardian: symbolic validation of orderliness in SGX enclaves. CoRR (2021)
Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
Guardian: Symbolic Validation of Orderliness in SGX Enclaves. CCSW@CCS (2021)
Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe
Trusted And Confidential Program Analysis. CoRR (2021)
Pedro Antonino, A. W. Roscoe
Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling. SAC (2021)
David Mestel, A. W. Roscoe
Translating between models of concurrency. Acta Informatica 57 (3-5) (2020)
Pedro Antonino, A. W. Roscoe
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity. CoRR (2020)
Linda Guiga, A. W. Roscoe
Neural Network Security: Hiding CNN Parameters with Guided Grad-CAM. ICISSP (2020)
Márcio Cornélio, A. W. Roscoe
Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015). Sci. Comput. Program. 181 (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. Formal Aspects Comput. 31 (3) (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
David Mestel, A. W. Roscoe
Translating between models of concurrency. CoRR (2019)
Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions. CoRR (2018)
Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics. CoRR (2018)
A. W. Roscoe, Peter Y. A. Ryan
Auditable PAKEs: Approaching Fair Exchange Without a TTP. Security Protocols Workshop (2017)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Checking Static Properties Using Conservative SAT Approximations for Reachability. SBMF (2017)
Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
The Automatic Detection of Token Structures and Invariants Using SAT Checking. TACAS (2) (2017)
Jantje A. M. Silomon, A. W. Roscoe
Software and Malware Capabilities: Opinions on (Inter)national Security. CW (2017)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. IFM (2016)
Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Tighter Reachability Criteria for Deadlock-Freedom Analysis. FM (2016)
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28 (6) (2016)
A. W. Roscoe
Card games as pointer structures: case studies in mobile CSP modelling. CoRR (2016)
A. W. Roscoe
Detecting Failed Attacks on Human-Interactive Security Protocols. Security Protocols Workshop (2016)
David Mestel, A. W. Roscoe
Reducing Complex CSP Models to Traces via Priority. MFPS (2016)
A. W. Roscoe
Detecting Failed Attacks on Human-Interactive Security Protocols (Transcript of Discussion). Security Protocols Workshop (2016)
Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
Computing maximal weak and other bisimulations. Formal Aspects Comput. 28 (3) (2016)
Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang
Practical Partial Order Reduction for CSP. NFM (2015)
Arash Atashpendar, A. W. Roscoe, Peter Y. A. Ryan
Information Leakage Due to Revealing Randomly Selected Bits. Security Protocols Workshop (2015)
A. W. Roscoe
The Expressiveness of CSP With Priority. MFPS (2015)
Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3 - A Modern Refinement Checker for CSP. TACAS (2014)
Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
Computing Maximal Bisimulations. ICFEM (2014)
A. W. Roscoe, Jian Huang
Checking noninterference in Timed CSP. Formal Aspects Comput. 25 (1) (2013)
A. W. Roscoe, Philippa J. Hopcroft
Slow Abstraction via Priority. Theories of Programming and Formal Methods (2013)
Bangdao Chen, Long Hoang Nguyen, A. W. Roscoe
Reverse Authentication in Financial Transactions and Identity Management. Mob. Networks Appl. 18 (5) (2013)
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
A Static Analysis Framework for Livelock Freedom in CSP Log. Methods Comput. Sci. 9 (3) (2013)
Xin Huang, Bangdao Chen, Andrew Markham, Qinghua Wang, Zheng Yan, A. W. Roscoe
Human interactive secure key and identity exchange protocols in body sensor networks. IET Inf. Secur. 7 (1) (2013)
Long Hoang Nguyen, A. W. Roscoe
Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication. FSE (2012)
Xin Huang, Shangyuan Guo, Bangdao Chen, A. W. Roscoe
Bootstrapping body sensor networks using human controlled LED-camera channels. ICITST (2012)
Xin Huang, Rong Fu, Bangdao Chen, Tingting Zhang, A. W. Roscoe
User interactive Internet of things privacy preserved access control. ICITST (2012)
Bangdao Chen, A. W. Roscoe
Social Networks for Importing and Exporting Security. Monterey Workshop (2012)
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Recent Developments in FDR. CAV (2012)
Hristina Palikareva, Joël Ouaknine, A. W. Roscoe
SAT-solving in CSP trace refinement. Sci. Comput. Program. 77 (10-11) (2012)
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Static Livelock Analysis in CSP. CONCUR (2011)
Xin Huang, Qinghua Wang, Chen Bangdao, Andrew Markham, Riku Jäntti, A. W. Roscoe
Body sensor network key distribution using human interactive channels. ISABEL (2011)
Long Hoang Nguyen, A. W. Roscoe
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey. J. Comput. Secur. 19 (1) (2011)
Chen Bangdao, A. W. Roscoe
Mobile Electronic Identity: Securing Payment on Mobile Phones. WISTP (2011)
Chen Bangdao, A. W. Roscoe, Ronald Kainda, Long Hoang Nguyen
The Missing Link: Human Interactive Security Protocols in Mobile Payment. IWSEC (Short Papers) (2010)
Ronald Kainda, Ivan Flechais, A. W. Roscoe
Two heads are better than one: security and usability of device associations in group scenarios. SOUPS (2010)
Ronald Kainda, Ivan Flechais, A. W. Roscoe
Security and Usability: Analysis and Evaluation. ARES (2010)
Long Hoang Nguyen, A. W. Roscoe
Authentication protocols based on low-bandwidth unspoofable channels: a comparative survey. IACR Cryptol. ePrint Arch. 2010 (2010)
Ronald Kainda, Ivan Flechais, A. W. Roscoe
Mobile Device Interactions. WISTP (2010)
Long Hoang Nguyen, A. W. Roscoe
New combinatorial bounds for universal hash functions. IACR Cryptol. ePrint Arch. 2009 (2009)
Long Hoang Nguyen, A. W. Roscoe
Separating two roles of hashing in one-way message authentication. IACR Cryptol. ePrint Arch. 2009 (2009)
A. W. Roscoe, Philip J. Armstrong, Pragyesh
Local Search in Model Checking. ATVA (2009)
A. W. Roscoe
Revivals, stuckness and the hierarchy of CSP models. J. Log. Algebraic Methods Program. 78 (3) (2009)
Long Hoang Nguyen, A. W. Roscoe
Efficient group authentication protocols based on human interaction. IACR Cryptol. ePrint Arch. 2009 (2009)
Ronald Kainda, Ivan Flechais, A. W. Roscoe
Usability and security of out-of-band channels in secure device pairing protocols. SOUPS (2009)
A. W. Roscoe
The Three Platonic Models of Divergence-Strict CSP. ICTAC (2008)
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens which Carry Data. Fundam. Informaticae 88 (3) (2008)
Long Hoang Nguyen, A. W. Roscoe
Authenticating ad hoc networks by comparison of short digests. Inf. Comput. 206 (2-4) (2008)
Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
Responsiveness and stable revivals. Formal Aspects Comput. 19 (3) (2007)
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens Which Carry Data. ICATPN (2007)
Lee Momtahan, Andrew P. Martin, A. W. Roscoe
A Taxonomy of Web Services Using CSP. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
A. W. Roscoe, Zhenzhong Wu
Verifying Statemate Statecharts Using CSP and FDR. ICFEM (2006)
Jian Huang, A. W. Roscoe
Extending noninterference properties to the timed world. SAC (2006)
A. W. Roscoe
Confluence Thanks to Extensional Determinism. Electron. Notes Theor. Comput. Sci. 162 (2006)
Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
Machine-Verifiable Responsiveness. Electron. Notes Theor. Comput. Sci. 145 (2006)
A. W. Roscoe
On the expressive power of CSP refinement. Formal Aspects Comput. 17 (2) (2005)
E. Kleiner, A. W. Roscoe
On the Relationship Between Web Services Security and Traditional Protocols. MFPS (2005)
A. W. Roscoe
Seeing Beyond Divergence. 25 Years Communicating Sequential Processes (2004)
Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 25 Years Communicating Sequential Processes (2004)
Philippa J. Broadfoot, A. W. Roscoe
Embedding agents within the intruder to detect parallel attacks. J. Comput. Secur. 12 (3-4) (2004)
Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On model checking data-independent systems with arrays without reset. Theory Pract. Log. Program. 4 (5-6) (2004)
Joy N. Reed, Jane E. Sinclair, A. W. Roscoe
Responsiveness of interoperating components. Formal Aspects Comput. 16 (4) (2004)
Xu Wang, A. W. Roscoe, Ranko Lazic
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM (2004)
Philippa J. Broadfoot, A. W. Roscoe
Capturing Parallel Attacks within the Data Independence Framework. CSFW (2002)
Philippa J. Broadfoot, A. W. Roscoe
Tutorial on FDR and Its Applications. SPIN (2000)
S. J. Creese, A. W. Roscoe
Data Independent Induction over Structured Networks. PDPTA (2000)
Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe
Automating Data Independence. ESORICS (2000)
A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe
Data independent verification of crypto-protocols. Electron. Notes Theor. Comput. Sci. 40 (2000)
S. J. Creese, A. W. Roscoe
Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE (1999)
A. W. Roscoe, M. H. Goldsmith
What Is Intransitive Noninterference? CSFW (1999)
George M. Reed, A. W. Roscoe
The Timed Failures-Stability Model for CSP. Theor. Comput. Sci. 211 (1-2) (1999)
A. W. Roscoe, Philippa J. Broadfoot
Proving Security Protocols with Model Checkers by Data Independence Techniques. J. Comput. Secur. 7 (1) (1999)
S. J. Creese, A. W. Roscoe
Formal Verification of Arbitrary Network Topologies. PDPTA (1999)
A. W. Roscoe
Proving Security Protocols with Model Checkers by Data Independence Techniques. CSFW (1998)
Gavin Lowe, A. W. Roscoe
Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. 23 (10) (1997)
A. W. Roscoe, Jim Woodcock, Lars Wulf
Non-interference through Determinism. J. Comput. Secur. 4 (1) (1996)
A. W. Roscoe
Intensional specifications of security protocols. CSFW (1996)
A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
Dining Philosophers for Deadlock. TACAS (1995)
A. W. Roscoe
Modelling and verifying key-exchange protocols using CSP and FDR. CSFW (1995)

A. W. Roscoe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

A. W. Roscoe