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)

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

Funding

Engineering & Physical Science Research Council

CHERI-Crypt: Transparent Memory Encryption on Capability Architectures
Jackson, J., Jiang, M. & Oswald, D., 4 Mar 2025, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2025, 2, p. 268-292 25 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
258 Downloads (Pure)
Talk: Transient-execution attacks on the CHERI Morello platform
Henes, J., Muench, M., Oswald, D. & Ragab, H., 1 Mar 2025, 2025: Proceedings of the Microarchitecture Security Conference (uASC '25). Bochum: Ruhr University Bochum, 5 p. (Proceedings of the Microarchitecture Security Conference; vol. 1).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
133 Downloads (Pure)
SIMurai: Slicing Through the Complexity of SIM Card Security Research
Lisowski, T., Chlosta, M., Wang, J. & Muench, M., 14 Aug 2024, SEC '24: Proceedings of the 33rd USENIX Conference on Security Symposium. USENIX Association, p. 4481-4498 18 p. 251. (USENIX Conference Proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
1002 Downloads (Pure)