Edinburgh Research Explorer

Prof David Aspinall

Personal Chair in Software Safety and Security

  1. Adaptive Anomaly Discovery by Learning Software Models

    Aspinall, D.

    Non-EU industry, commerce and public corporations

    1/04/1830/09/21

    Project: Research

  2. Bayesian Probabilistic Programming for Security

    Aspinall, D.

    UK industry, commerce and public corporations

    1/09/1331/07/18

    Project: Research

  3. Concept and design for Command_and_Control ¿¿¿ a cyber security outreach programme

    Aspinall, D.

    UK central government bodies/local authorities, health and hospital authorities

    1/11/1731/10/18

    Project: Research

  4. EXLIPSE PROOF GENERAL:INTERACTIVE PROOF

    Aspinall, D.

    UK industry, commerce and public corporations

    1/01/0431/03/05

    Project: Research

  5. GCHQ - RFA15088

    Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.

    UK central government bodies/local authorities, health and hospital authorities

    1/11/1630/07/17

    Project: Research

  6. GCHQ - RFA15088

    Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.

    UK central government bodies/local authorities, health and hospital authorities

    1/11/1631/03/17

    Project: Research

  7. GCHQ App Guarden 2 Research Project

    Aspinall, D.

    UK central government bodies/local authorities, health and hospital authorities

    1/09/1631/03/17

    Project: Research

Previous 1 2 3 Next