David Butler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MICCAI | Risk Estimation of Knee Osteoarthritis Progression via Predictive Multi-task Modelling from Efficient Diffusion Model Using X-Ray Images. | David Butler, Adrian Hilton, Gustavo Carneiro |
| 2020 | CPP | Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL. | David Butler, David Aspinall, Adri Gascn |
| 2017 | ITP | How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. | David Butler, David Aspinall, Adri Gascn |