CAP-TEE: Capability Architectures in Trusted Execution

  • 4 Conference contribution
Filter
Conference contribution

Search results

  • 2024

    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
    498 Downloads (Pure)
  • 2023

    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
    715 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
    110 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
    25 Downloads (Pure)