Bill Roscoe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1999–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | ReGuard: finding reentrancy bugs in smart contracts. | Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe |
| 2008 | ICFEM | A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. | Nick Moffat, Michael Goldsmith, Bill Roscoe |
| 2006 | SAC | Bootstrapping multi-party ad-hoc security. | Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao |
| 2003 | FM | Watchdog Transformations for Property-Oriented Model-Checking. | Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin |
| 1999 | PDPTA | Data Independence with Generalised Predicate Symbols. | Ranko Lazic, Bill Roscoe |