11 papers
Verifiable and Confidential DNN Inference on Low-End Edge Devices
Mohamed Khalil Kiri, Ivan De Oliveira Nunes, Aurélien Francillon +1
Deploying deep neural network (DNN) inference on low-end edge devices raises two key challenges: protecting model confidentiality against a potentially compromised edge system and…
Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing
Antonio Joia Neto, Amarin Laohajirapan, Norrathep Rattanavipanon +1
Trusted Execution Environments (TEEs) on low-power microcontrollers (e.g., ARM TrustZone-M) enable isolation of Secure and Non-Secure software but still require both worlds to shar…
Boosting Device Utilization in Control Flow Auditing
Alexandra Lengert, Adam Ilyas Caulfield, Ivan De Oliveira Nunes
Micro-Controller Units (MCUs) are widely used in safety-critical systems, making them attractive targets for attacks. This calls for lightweight defenses that remain effective desp…
Towards Browser Controls to Protect Cookies from Malicious Extensions
Liam Tyler, Ivan De Oliveira Nunes
Cookies maintain state across related web traffic. As such, cookies are commonly used for authentication by storing a user's session ID and replacing the need to re-enter credentia…
Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
Liam Tyler, Adam Caulfield, Ivan De Oliveira Nunes
Control Flow Attestation (CFA) allows remote verification of run-time software integrity in embedded systems. However, CFA is limited by the storage/transmission costs of generated…
On the Verification of Control Flow Attestation Evidence
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
Remote run-time attestation methods, including Control Flow Attestation (CFA) and Data Flow Attestation (DFA), have been proposed to generate precise evidence of execution's contro…