A. W. Roscoe - RankMe

140 papers A* 3A 7B 13C 9Misc 5Journal 53Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs. Sci. Comput. Program. Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe
2025	A	`conf`	Hierarchical Consensus: Scalability Through Optimism and Weak Liveness. DISC Pedro Antonino, Antoine Durand, A. W. Roscoe
2024	J	`jnl`	A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
2024	—	`conf`	Abstracting and Verifying Decentralised Systems in CSP. The Application of Formal Methods A. W. Roscoe, Pedro Antonino, Jonathan Lawrence
2024	—	`conf`	Extracting Formal Smart-Contract Specifications from Natural Language with LLMs. FACS Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe
2024	B	`conf`	Hooks: A Simple and Modular Checkpointing Protocol for Blockchains. NCA Pedro Antonino, Antoine Durand, Namrata Jain, Garry Lancaster, Jonathan Lawrence, A. W. Roscoe
2024	—	`conf`	Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts. SBMF Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
2023	—	`conf`	Optimally-Fair Multi-party Exchange Without Trusted Parties. ESORICS (1) Ivo Maffei, A. W. Roscoe
2023	—	`conf`	The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. Theories of Programming and Formal Methods A. W. Roscoe, Pedro Antonino, Jonathan Lawrence
2022	J	`jnl`	Approximate verification of concurrent systems using token structures and invariants. Int. J. Softw. Tools Technol. Transf. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2022	C	`conf`	Committable: A Decentralised and Trustless Open-Source Protocol. ICBC Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe
2022	J	`jnl`	Delay Encryption by Cubing. CoRR Ivo Maffei, A. W. Roscoe
2022	B	`conf`	Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. SEFM Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
2022	J	`jnl`	Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. CoRR Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
2021	—	`ch.`	CSP: A Practical Process Algebra. Theories of Programming Stephen D. Brookes, A. W. Roscoe
2021	—	`conf`	Guardian: Symbolic Validation of Orderliness in SGX Enclaves. CCSW Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
2021	J	`jnl`	Guardian: symbolic validation of orderliness in SGX enclaves. CoRR Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
2021	Misc	`conf`	Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. ACISP Geoffroy Couteau, A. W. Roscoe, Peter Y. A. Ryan
2021	Misc	`conf`	Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling. SAC Pedro Antonino, A. W. Roscoe
2021	J	`jnl`	Trusted And Confidential Program Analysis. CoRR Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe
2020	J	`jnl`	Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity. CoRR Pedro Antonino, A. W. Roscoe
2020	C	`conf`	Neural Network Security: Hiding CNN Parameters with Guided Grad-CAM. ICISSP Linda Guiga, A. W. Roscoe
2020	J	`jnl`	Translating between models of concurrency. Acta Informatica David Mestel, A. W. Roscoe
2019	J	`jnl`	Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving. ACM Trans. Softw. Eng. Methodol. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2019	J	`jnl`	Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. Formal Aspects Comput. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2019	J	`jnl`	Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015). Sci. Comput. Program. Márcio Cornélio, A. W. Roscoe
2019	J	`jnl`	Translating between models of concurrency. CoRR David Mestel, A. W. Roscoe
2018	J	`jnl`	A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics. CoRR Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
2018	J	`jnl`	From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions. CoRR Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
2018	—	`ch.`	Process Algebra and Model Checking. Handbook of Model Checking Rance Cleaveland, A. W. Roscoe, Scott A. Smolka
2017	—	`conf`	Auditable PAKEs: Approaching Fair Exchange Without a TTP. Security Protocols Workshop A. W. Roscoe, Peter Y. A. Ryan
2017	—	`conf`	Checking Static Properties Using Conservative SAT Approximations for Reachability. SBMF Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2017	C	`conf`	Software and Malware Capabilities: Opinions on (Inter)national Security. CW Jantje A. M. Silomon, A. W. Roscoe
2017	—	`conf`	The Automatic Detection of Token Structures and Invariants Using SAT Checking. TACAS (2) Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2016	J	`jnl`	Card games as pointer structures: case studies in mobile CSP modelling. CoRR A. W. Roscoe
2016	J	`jnl`	Computing maximal weak and other bisimulations. Formal Aspects Comput. Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
2016	—	`conf`	Detecting Failed Attacks on Human-Interactive Security Protocols (Transcript of Discussion). Security Protocols Workshop A. W. Roscoe
2016	—	`conf`	Detecting Failed Attacks on Human-Interactive Security Protocols. Security Protocols Workshop A. W. Roscoe
2016	B	`conf`	Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. IFM Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2016	J	`jnl`	FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
2016	B	`conf`	Reducing Complex CSP Models to Traces via Priority. MFPS David Mestel, A. W. Roscoe
2016	J	`jnl`	Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
2016	B	`conf`	Tighter Reachability Criteria for Deadlock-Freedom Analysis. FM Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2015	—	`conf`	Information Leakage Due to Revealing Randomly Selected Bits. Security Protocols Workshop Arash Atashpendar, A. W. Roscoe, Peter Y. A. Ryan
2015	—	`conf`	Practical Partial Order Reduction for CSP. NFM Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang
2015	B	`conf`	The Expressiveness of CSP With Priority. MFPS A. W. Roscoe
2014	C	`conf`	Computing Maximal Bisimulations. ICFEM Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
2014	A	`conf`	FDR3 - A Modern Refinement Checker for CSP. TACAS Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
2013	J	`jnl`	A Static Analysis Framework for Livelock Freedom in CSP Log. Methods Comput. Sci. Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2013	J	`jnl`	Checking noninterference in Timed CSP. Formal Aspects Comput. A. W. Roscoe, Jian Huang
2013	J	`jnl`	Human interactive secure key and identity exchange protocols in body sensor networks. IET Inf. Secur. Xin Huang, Bangdao Chen, Andrew Markham, Qinghua Wang, Zheng Yan, A. W. Roscoe
2013	J	`jnl`	Reverse Authentication in Financial Transactions and Identity Management. Mob. Networks Appl. Bangdao Chen, Long Hoang Nguyen, A. W. Roscoe
2013	—	`conf`	Slow Abstraction via Priority. Theories of Programming and Formal Methods A. W. Roscoe, Philippa J. Hopcroft
2012	—	`conf`	Bootstrapping body sensor networks using human controlled LED-camera channels. ICITST Xin Huang, Shangyuan Guo, Bangdao Chen, A. W. Roscoe
2012	A*	`conf`	Recent Developments in FDR. CAV Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2012	J	`jnl`	SAT-solving in CSP trace refinement. Sci. Comput. Program. Hristina Palikareva, Joël Ouaknine, A. W. Roscoe
2012	A*	`conf`	Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication. FSE Long Hoang Nguyen, A. W. Roscoe
2012	—	`conf`	Social Networks for Importing and Exporting Security. Monterey Workshop Bangdao Chen, A. W. Roscoe
2012	—	`conf`	User interactive Internet of things privacy preserved access control. ICITST Xin Huang, Rong Fu, Bangdao Chen, Tingting Zhang, A. W. Roscoe
2011	J	`jnl`	Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey. J. Comput. Secur. Long Hoang Nguyen, A. W. Roscoe
2011	—	`conf`	Body sensor network key distribution using human interactive channels. ISABEL Xin Huang, Qinghua Wang, Chen Bangdao, Andrew Markham, Riku Jäntti, A. W. Roscoe
2011	—	`ch.`	CSP (Communicating Sequential Processes). Encyclopedia of Parallel Computing A. W. Roscoe, Jim Davies
2011	C	`conf`	Mobile Electronic Identity: Securing Payment on Mobile Phones. WISTP Chen Bangdao, A. W. Roscoe
2011	B	`conf`	Static Livelock Analysis in CSP. CONCUR Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2010	J	`jnl`	Authentication protocols based on low-bandwidth unspoofable channels: a comparative survey. IACR Cryptol. ePrint Arch. Long Hoang Nguyen, A. W. Roscoe
2010	—	`ch.`	CSP is Expressive Enough for Reflections on the Work of C. A. R. Hoare A. W. Roscoe
2010	—	`ch.`	Insight, Inspiration and Collaboration. Reflections on the Work of C. A. R. Hoare Clifford B. Jones, A. W. Roscoe
2010	—	`book`	Reflections on the Work of C. A. R. Hoare. A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood
2010	C	`conf`	Secure and Usable Out-Of-Band Channels for WISTP Ronald Kainda, Ivan Flechais, A. W. Roscoe
2010	B	`conf`	Security and Usability: Analysis and Evaluation. ARES Ronald Kainda, Ivan Flechais, A. W. Roscoe
2010	—	`conf`	The Missing Link: Human Interactive Security Protocols in Mobile Payment. IWSEC (Short Papers) Chen Bangdao, A. W. Roscoe, Ronald Kainda, Long Hoang Nguyen
2010	A	`conf`	Two heads are better than one: security and usability of device associations in group scenarios. SOUPS Ronald Kainda, Ivan Flechais, A. W. Roscoe
2010	—	`book`	Understanding Concurrent Systems. A. W. Roscoe
2009	J	`jnl`	Efficient group authentication protocols based on human interaction. IACR Cryptol. ePrint Arch. Long Hoang Nguyen, A. W. Roscoe
2009	B	`conf`	Local Search in Model Checking. ATVA A. W. Roscoe, Philip J. Armstrong, Pragyesh
2009	J	`jnl`	New combinatorial bounds for universal hash functions. IACR Cryptol. ePrint Arch. Long Hoang Nguyen, A. W. Roscoe
2009	J	`jnl`	Revivals, stuckness and the hierarchy of CSP models. J. Log. Algebraic Methods Program. A. W. Roscoe
2009	J	`jnl`	Separating two roles of hashing in one-way message authentication. IACR Cryptol. ePrint Arch. Long Hoang Nguyen, A. W. Roscoe
2009	A	`conf`	Usability and security of out-of-band channels in secure device pairing protocols. SOUPS Ronald Kainda, Ivan Flechais, A. W. Roscoe
2008	J	`jnl`	Authenticating ad hoc networks by comparison of short digests. Inf. Comput. Long Hoang Nguyen, A. W. Roscoe
2008	J	`jnl`	Nets with Tokens which Carry Data. Fundam. Informaticae Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
2008	C	`conf`	The Three Platonic Models of Divergence-Strict CSP. ICTAC A. W. Roscoe
2007	—	`conf`	Nets with Tokens Which Carry Data. ICATPN Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
2007	J	`jnl`	Responsiveness and stable revivals. Formal Aspects Comput. Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
2006	Misc	`conf`	Extending noninterference properties to the timed world. SAC Jian Huang, A. W. Roscoe
2006	C	`conf`	Verifying Statemate Statecharts Using CSP and FDR. ICFEM A. W. Roscoe, Zhenzhong Wu
2005	—	`conf`	A Taxonomy of Web Services Using CSP. WLFM@FM Lee Momtahan, Andrew P. Martin, A. W. Roscoe
2005	—	`conf`	Confluence Thanks to Extensional Determinism. APC 25 A. W. Roscoe
2005	—	`conf`	Machine-Verifiable Responsiveness. AVoCS Joy N. Reed, A. W. Roscoe, Jane E. Sinclair
2005	B	`conf`	On the Relationship Between Web Services Security and Traditional Protocols. MFPS E. Kleiner, A. W. Roscoe
2005	J	`jnl`	On the expressive power of CSP refinement. Formal Aspects Comput. A. W. Roscoe
2004	J	`jnl`	Embedding agents within the intruder to detect parallel attacks. J. Comput. Secur. Philippa J. Broadfoot, A. W. Roscoe
2004	—	`conf`	On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 25 Years Communicating Sequential Processes Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
2004	J	`jnl`	On model checking data-independent systems with arrays without reset. Theory Pract. Log. Program. Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
2004	B	`conf`	Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM Xu Wang, A. W. Roscoe, Ranko Lazic
2004	J	`jnl`	Responsiveness of interoperating components. Formal Aspects Comput. Joy N. Reed, Jane E. Sinclair, A. W. Roscoe
2004	—	`conf`	Seeing Beyond Divergence. 25 Years Communicating Sequential Processes A. W. Roscoe
2002	—	`conf`	Capturing Parallel Attacks within the Data Independence Framework. CSFW Philippa J. Broadfoot, A. W. Roscoe
2000	A	`conf`	Automating Data Independence. ESORICS Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe
2000	Misc	`conf`	Data Independent Induction over Structured Networks. PDPTA S. J. Creese, A. W. Roscoe
2000	—	`conf`	Data independent verification of crypto-protocols. MFCSIT A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe
2000	—	`conf`	Tutorial on FDR and Its Applications. SPIN Philippa J. Broadfoot, A. W. Roscoe
1999	Misc	`conf`	Formal Verification of Arbitrary Network Topologies. PDPTA S. J. Creese, A. W. Roscoe
1999	J	`jnl`	Proving Security Protocols with Model Checkers by Data Independence Techniques. J. Comput. Secur. A. W. Roscoe, Philippa J. Broadfoot
1999	J	`jnl`	The Timed Failures-Stability Model for CSP. Theor. Comput. Sci. George M. Reed, A. W. Roscoe
1999	C	`conf`	Verifying an infinite family of inductions simultaneously using data independence and FDR. FORTE S. J. Creese, A. W. Roscoe
1999	—	`conf`	What Is Intransitive Noninterference? CSFW A. W. Roscoe, M. H. Goldsmith
1998	—	`conf`	Proving Security Protocols with Model Checkers by Data Independence Techniques. CSFW A. W. Roscoe
1997	J	`jnl`	Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. Gavin Lowe, A. W. Roscoe
1996	—	`conf`	Intensional specifications of security protocols. CSFW A. W. Roscoe
1996	J	`jnl`	Non-interference through Determinism. J. Comput. Secur. A. W. Roscoe, Jim Woodcock, Lars Wulf
1995	—	`conf`	CSP and determinism in security modelling. S&P A. W. Roscoe
1995	—	`conf`	Composing and decomposing systems under security properties. CSFW A. W. Roscoe, Lars Wulf
1995	J	`jnl`	Fixed Points Without Completeness. Theor. Comput. Sci. Michael W. Mislove, A. W. Roscoe, Steve A. Schneider
1995	A	`conf`	Hierarchical Compression for Model-Checking CSP or How to Check 10 TACAS A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
1995	—	`conf`	Modelling and verifying key-exchange protocols using CSP and FDR. CSFW A. W. Roscoe
1994	A	`conf`	Non-Interference Through Determinism. ESORICS A. W. Roscoe, Jim Woodcock, Lars Wulf
1993	J	`jnl`	Unbounded Non-Determinism in CSP. J. Log. Comput. A. W. Roscoe
1992	J	`jnl`	An Alternative Order for the Failures Model. J. Log. Comput. A. W. Roscoe
1991	J	`jnl`	Deadlock Analysis in Networks of Communicating Processes. Distributed Comput. Stephen D. Brookes, A. W. Roscoe
1991	—	`conf`	Timed CSP: Theory and Practice. REX Workshop Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
1989	—	`conf`	Analysing Concurrency: Theory, Language, And Architecture George M. Reed, A. W. Roscoe
1989	B	`conf`	Unbounded Nondeterminism in CSP. Mathematical Foundations of Programming Semantics A. W. Roscoe, Geoff Barrett
1988	J	`jnl`	A Timed Model for Communicating Sequential Processes. Theor. Comput. Sci. George M. Reed, A. W. Roscoe
1988	J	`jnl`	The Decomposition of a Rectangle into Rectangles of Minimal Perimeter. SIAM J. Comput. T. Yung Kong, David M. Mount, A. W. Roscoe
1988	J	`jnl`	The Laws of Occam Programming. Theor. Comput. Sci. A. W. Roscoe, C. A. R. Hoare
1987	J	`jnl`	Laws of Programming. Commun. ACM C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
1987	B	`conf`	Metric Spaces as Models for Real-Time Concurrency. MFPS George M. Reed, A. W. Roscoe
1987	J	`jnl`	The Pursuit of Deadlock freedom Inf. Comput. A. W. Roscoe, Naiem Dathi
1986	A*	`conf`	A Timed Model for Communicating Sequential Processes. ICALP George M. Reed, A. W. Roscoe
1985	J	`jnl`	A theory of binary digital pictures. Comput. Vis. Graph. Image Process. T. Yung Kong, A. W. Roscoe
1985	J	`jnl`	Continuous analogs of axiomatized digital surfaces. Comput. Vis. Graph. Image Process. T. Yung Kong, A. W. Roscoe
1985	—	`ed.`	Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 Seminar on Concurrency Stephen D. Brookes, A. W. Roscoe, Glynn Winskel
1984	J	`jnl`	A Theory of Communicating Sequential Processes. J. ACM Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe
1984	—	`conf`	An Improved Failures Model for Communicating Processes. Seminar on Concurrency Stephen D. Brookes, A. W. Roscoe
1984	—	`conf`	Deadlock Analysis in Networks of Communicating Processes. Logics and Models of Concurrent Systems Stephen D. Brookes, A. W. Roscoe
1984	—	`conf`	Denotational Semantics for occam. Seminar on Concurrency A. W. Roscoe
1984	—	`conf`	Programs as Executable Predicates. FGCS C. A. R. Hoare, A. W. Roscoe
1983	—	`conf`	A CSP solution to the "trains" problem. The Analysis of Concurrent Systems A. W. Roscoe
1983	—	`conf`	Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. The Analysis of Concurrent Systems A. W. Roscoe