Symbolic Modelling of Remote Attestation Protocols for Device and App Integrity on Android

Search results

• Active

  CAP-TEE: Capability Architectures in Trusted Execution

  Ryan, M., Thomas, R., Ordean, M., Garcia, F., Oswald, D., Muench, M. & Sinha Roy, S.

  Engineering & Physical Science Research Council

  12/08/20 → 30/11/24

  Project: Research Councils

  • Trusted computing 100%
  • Network protocols 99%
  • Reduced instruction set computing 91%
  • Computer hardware 77%
  • Application programs 65%

• User-controlled hardware security anchors: evaluation and designs

  Garcia, F., Oswald, D. & Ryan, M.

  Hewlett-Packard Incorporated Uk Ltd, Engineering & Physical Science Research Council

  1/02/18 → 31/07/24

  Project: Research

  • Cryptography 100%
  • Quantum cryptography 78%
  • Trusted computing 75%
  • Network protocols 75%
  • Application programs 49%