Search research publications and outputs

  1. 2018
  2. Implementation Code for DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 2018

    Research output: Non-textual formSoftware

  3. 2017
  4. Code for SPEKE Verification

    Hao, F., Metere, R., Shahandashti, S. F. & Dong, C., 2017

    Research output: Non-textual formSoftware

  5. Smart Contract for Anonymous Voting over Ethereum

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017

    Research output: Non-textual formSoftware

  6. 2016
  7. RoboTool

    Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016

    Research output: Non-textual formSoftware

  8. 2015
  9. 2014
  10. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

  11. 2013
  12. A miniature Biomedical Signal Recorder - Digital Circuit Module

    Crispin-Bailey, C., Austin, J., Moulds, A. & Lampert, T., 2013

    Research output: Non-textual formArtefact

  13. Epsilon

    Kolovos, D., Garcia-Dominguez, A., Rose, L. M. & Bezemer, M., 2013

    Research output: Non-textual formSoftware

  14. 2012
  15. Monte Carlo Tree Search

    Cowling, P. I., Powley, E. J. & Whitehouse, D., 2012

    Research output: Non-textual formSoftware

  16. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  17. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  18. 2011
  19. Demonstration software for IDS Sensor Placement

    Chen, H., Fuller, R. & Clark, J. A., 31 Mar 2011

    Research output: Non-textual formSoftware

  20. jStar: Bringing separation logic to Java

    Distefano, D., Parkinson, M. J., Dodds, M., Grigore, R., Petersen, R., Botincan, M., Gabi, D., Turk, T., Naudziuniene, D., van Staden, S. & Wright, A., 2011

    Research output: Non-textual formSoftware

  21. wdsCarve

    Chivers, H. R. & Hargreaves, C., 2011

    Research output: Non-textual formSoftware

  22. 2010
  23. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware

  24. Java Bread Board

    Crispin-Bailey, C. & Freeman, M., 2010

    Research output: Non-textual formSoftware

  25. 2004
  26. FaceEnforce: Facial Biometric System

    Austin, J., 2004

    Research output: Non-textual formSoftware

  27. 1995
  28. AURA: Advanced Uncertain Reasoning Architecture

    Austin, J., 1995

    Research output: Non-textual formSoftware