ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation A Caulfield, N Rattanavipanon, IDO Nunes
32nd USENIX Security Symposium (USENIX Security 23), 5827--5844, 2023
14 2023 ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems A Caulfield, N Rattanavipanon, IDO Nunes
(DAC'22) 59th IEEE/ACM Design and Automation Conference, 2022
10 2022 Sok: Runtime integrity M Ammar, A Caulfield, IDO Nunes
arXiv preprint arXiv:2408.10200, 2024
6 2024 SparkFHE: Distributed dataflow framework with fully homomorphic encryption P Hu, A Aloufi, A Caulfield, K Laine, K Lauter
PPMLPriML 2020 workshop co-located with NeurIPS, 2020
5 2020 TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems A Caulfield, AJ Neto, N Rattanavipanon, IDO Nunes
40th Annual Computer Security Applications Conference (ACSAC 2024), 2024
4 * 2024 : A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered DevicesAJ Neto, A Caulfield, C Alvares, IDO Nunes
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
4 2023 Speccfa: Enhancing control flow attestation/auditing via application-aware sub-path speculation A Caulfield, L Tyler, IDO Nunes
40th Annual Computer Security Applications Conference (ACSAC 2024), 2024
3 2024 SoK: Integrity, Attestation, and Auditing of Program Execution M Ammar, A Caulfield, IDO Nunes
2025 IEEE Symposium on Security and Privacy (SP), 77-77, 2024
1 2024 Towards Secure Runtime Auditing of Remote Embedded System Software A Caulfield
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
2024 On the Verification of Control Flow Attestation Evidence A Caulfield, N Rattanavipanon, IDO Nunes
arXiv preprint arXiv:2411.10855, 2024
2024 X-Cipher: Achieving Data Resiliency in Homomorphic Ciphertexts A Caulfield, N Raza, P Hu
The 2024 International Conference on Information and Communications Security …, 2024
2024