CAP-TEE: Capability Architectures in Trusted Execution

Ryan, Mark (Co-Investigator)
Thomas, Richard (Co-Investigator)
Ordean, Mihai (Co-Investigator)
Garcia, Flavio (Co-Investigator)
Oswald, David (Principal Investigator)
Muench, Marius (Co-Investigator)
Sinha Roy, Sujoy (Researcher)

Computer Science

Short title	CAP-TEE: Capability Architectures in Trusted Execution
Status	Active
Effective start/end date	12/08/20 → 28/02/25

Funding

Engineering & Physical Science Research Council

4 Conference contribution

SoK: Prudent Evaluation Practices for Fuzzing
Schloegel, M., Bars, N., Schiller, N., Bernhard, L., Scharnowski, T., Crump, A., Ale-Ebrahim, A., Bissantz, N., Muench, M. & Holz, T., 23 May 2024, 2024 IEEE Symposium on Security and Privacy (SP). Los Alamitos, CA, USA: IEEE, (Proceedings of the IEEE Symposium on Security and Privacy).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
693 Downloads (Pure)
CHERI-TrEE: Flexible enclaves on capability machines
Van Strydonck, T., Noorman, J., Jackson, J., Dias, L., Vanderstraeten, R., Oswald, D., Piessens, F. & Devriese, D., 3 Jul 2023, EuroS&P - 8th IEEE European Symposium on Security and Privacy. IEEE, p. 1143-1159 17 p. (IEEE European Symposium on Security and Privacy).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
798 Downloads (Pure)
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
161 Downloads (Pure)