User-controlled hardware security anchors: evaluation and designs

Garcia, Flavio (Co-Investigator)
Oswald, David (Co-Investigator)
Ryan, Mark (Principal Investigator)

Computer Science

2 Conference contribution
2 Article

2 results

Filter

2023
Symbolic Modelling of Remote Attestation Protocols for Device and App Integrity on Android
Aldoseri, A., Chothia, T., Moreira-Sanchez, J. & Oswald, D., 10 Jul 2023, ASIA CCS '23: Proceedings of the 2023 ACM on Asia Conference on Computer and Communications Security. Liu, J., Xiang, Y., Nepal, S. & Tsudik, G. (eds.). Association for Computing Machinery (ACM), p. 218–231 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
107 Downloads (Pure)
2022
Protocols for a two-tiered trusted computing base
Moreira-Sanchez, J., Ryan, M. & Garcia, F., 24 Sept 2022, Computer Security – ESORICS 2022: 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III. Atluri, V., Di Pietro, R., D. Jensen, C. & Meng, W. (eds.). 1 ed. Cham: Springer, p. 229–249 21 p. (Lecture Notes in Computer Science; vol. 13556).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
24 Downloads (Pure)