Bill Roscoe

15 papers B 1C 1Misc 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer.
IACR Cryptol. ePrint Arch.
Geoffroy Couteau, Bill Roscoe, Peter Y. A. Ryan
2018 B ed.
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
FM
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink
2018 — conf
ReGuard: finding reentrancy bugs in smart contracts.
ICSE (Companion Volume)
Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe
2016 — ed.
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
SBMF
Márcio Cornélio, Bill Roscoe
2014 — ch.
Model checking Timed CSP.
HOWARD-60
Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe
2009 J jnl
Faster FDR Counterexample Generation Using SAT-Solving.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hristina Palikareva, Joël Ouaknine, Bill Roscoe
2009 — ed.
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007
AVoCS
Michael Goldsmith, Bill Roscoe
2008 C conf
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.
ICFEM
Nick Moffat, Michael Goldsmith, Bill Roscoe
2007 — conf
Preface.
AVoCS
Michael Goldsmith, Bill Roscoe
2006 Misc conf
Bootstrapping multi-party ad-hoc security.
SAC
Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao
2005 — conf
Exploiting Empirical Engagement in Authentication Protocol Design.
SPC
Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
2004 — conf
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.
INFINITY
Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe
2003 — conf
Authentication for Pervasive Computing.
SPC
Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin
2003 — conf
Watchdog Transformations for Property-Oriented Model-Checking.
FME
Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin
1999 Misc conf
Data Independence with Generalised Predicate Symbols.
PDPTA
Ranko Lazic, Bill Roscoe