Search research publications and outputs

  1. Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

    Modesti, P., Shahandashti, S. F., McCorry, P. & Hao, F., 7 Mar 2021, (Accepted/In press)

    Article in Computers & Security

  2. EMPIRE-PIC: A Performance Portable Unstructured Particle-in-Cell Code

    Bettencourt, M. T., Brown, D. A. S., Cartwright, K. L., Cyr, E. C., Glusa, C. A., Lin, P. T., Moore, S. G., McGregor, D. A. O., Pawlowski, R., Phillips, E. G., Roberts, N. V., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., 24 Mar 2021, (Accepted/In press)

    Article in Communications in Computational Physics