Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1706.03754
Cited By
LO-FAT: Low-Overhead Control Flow ATtestation in Hardware
Design Automation Conference (DAC), 2017
12 June 2017
Ghada Dessouky
S. Zeitouni
Thomas Nyman
Andrew Paverd
Lucas Davi
Patrick Koeberl
Nadarajah Asokan
A. Sadeghi
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"LO-FAT: Low-Overhead Control Flow ATtestation in Hardware"
32 / 32 papers shown
AttestLLM: Efficient Attestation Framework for Billion-scale On-device LLMs
Ruisi Zhang
Yifei Zhao
Neusha Javidnia
Mengxin Zheng
F. Koushanfar
241
2
0
08 Sep 2025
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution
IEEE Transactions on Information Forensics and Security (IEEE TIFS), 2024
Norrathep Rattanavipanon
Ivan de Oliviera Nunes
519
1
0
28 Jan 2025
ENOLA: Efficient Control-Flow Attestation for Embedded Systems
Md. Armanuzzaman
Engin Kirda
Ziming Zhao
351
5
0
20 Jan 2025
EILID: Execution Integrity for Low-end IoT Devices
Design, Automation and Test in Europe (DATE), 2025
Sashidhar Jakkamsetti
Youngil Kim
Andrew Searles
Gene Tsudik
305
4
0
17 Jan 2025
On the Verification of Control Flow Attestation Evidence
Adam Caulfield
Norrathep Rattanavipanon
Ivan De Oliveira Nunes
424
0
0
16 Nov 2024
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
Asia-Pacific Computer Systems Architecture Conference (ACSA), 2024
Adam Caulfield
Antonio Joia Neto
Norrathep Rattanavipanon
Ivan De Oliveira Nunes
385
7
0
27 Sep 2024
SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation
Asia-Pacific Computer Systems Architecture Conference (ACSA), 2024
Adam Caulfield
Liam Tyler
Ivan De Oliveira Nunes
301
9
0
27 Sep 2024
SoK: Runtime Integrity
Mahmoud Ammar
Adam Caulfield
Ivan De Oliveira Nunes
302
5
0
19 Aug 2024
On the Design and Security of Collective Remote Attestation Protocols
S. Ahmadi
Jay Le-Papin
Liqun Chen
Brijesh Dongol
S. Radomirovic
H. Treharne
126
1
0
12 Jul 2024
LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation
IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2024
Jeferson González-Gómez
Hassan Nassar
Lars Bauer
Jörg Henkel
185
4
0
03 Apr 2024
One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
IEEE Symposium on Security and Privacy (S&P), 2024
Marco Chilese
Richard Mitev
Meni Orenbach
Robert Thorburn
Ahmad Atamli-Reineh
A. Sadeghi
294
11
0
12 Mar 2024
Poster: Control-Flow Integrity in Low-end Embedded Devices
Conference on Computer and Communications Security (CCS), 2023
Sashidhar Jakkamsetti
Youngil Kim
Andrew Searles
Gene Tsudik
208
0
0
19 Sep 2023
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence (Full Version)
Conference on Computer and Communications Security (CCS), 2023
Sashidhar Jakkamsetti
Youngil Kim
Gene Tsudik
269
6
0
07 Sep 2023
PARseL: Towards a Verified Root-of-Trust over seL4
Ivan De Oliveira Nunes
Seoyeon Hwang
Sashidhar Jakkamsetti
Norrathep Rattanavipanon
Gene Tsudik
108
2
0
23 Aug 2023
RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution
Avani Dave
194
13
0
05 May 2023
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation
USENIX Security Symposium (USENIX Security), 2023
Adam Caulfield
Norrathep Rattanavipanon
Ivan De Oliveira Nunes
257
21
0
28 Mar 2023
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
IEEE Real Time Technology and Applications Symposium (RTAS), 2023
Antonio Joia Neto
Ivan De Oliveira Nunes
234
23
0
07 Mar 2023
Proof of Unlearning: Definitions and Instantiation
IEEE Transactions on Information Forensics and Security (IEEE TIFS), 2022
Jiasi Weng
Shenglong Yao
Yuefeng Du
Junjie Huang
Jian Weng
Cong Wang
MU
392
27
0
20 Oct 2022
CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems
Ivan De Oliveira Nunes
Sashidhar Jakkamsetti
Youngil Kim
Gene Tsudik
158
16
0
02 Sep 2022
ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems
Design Automation Conference (DAC), 2022
Adam Caulfield
Norrathep Rattanavipanon
Ivan De Oliveira Nunes
187
15
0
06 Jun 2022
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
IEEE Symposium on Security and Privacy (IEEE S&P), 2022
Ivan De Oliveira Nunes
Seoyeon Hwang
Sashidhar Jakkamsetti
Gene Tsudik
168
11
0
05 May 2022
GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments
IEEE International Conference on Cloud Computing (CLOUD), 2022
M. Morbitzer
B. Kopf
Philipp Zieris
199
15
0
15 Feb 2022
ReCFA: Resilient Control-Flow Attestation
Asia-Pacific Computer Systems Architecture Conference (ACSA), 2021
Yumei Zhang
Xinzhi Liu
Cong Sun
Dongrui Zeng
Gang Tan
Xiao Kan
Siqi Ma
192
31
0
22 Oct 2021
Attestation Waves: Platform Trust via Remote Power Analysis
Cryptology and Network Security (CANS), 2021
Ignacio M. Delgado-Lozano
Macarena C. Martínez-Rodríguez
Alexandros Bakas
B. Brumley
A. Michalas
160
4
0
06 May 2021
DIALED: Data Integrity Attestation for Low-end Embedded Devices
Design Automation Conference (DAC), 2021
Ivan De Oliveira Nunes
Sashidhar Jakkamsetti
Gene Tsudik
196
36
0
24 Mar 2021
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices
Carlton Shepherd
K. Markantonakis
Georges-Axel Jaloyan
338
26
0
17 Feb 2021
GAROTA: Generalized Active Root-Of-Trust Architecture
USENIX Security Symposium (USENIX Security), 2021
Esmerald Aliaj
Ivan De Oliveira Nunes
Gene Tsudik
216
15
0
13 Feb 2021
Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution
Ivan De Oliveira Nunes
Sashidhar Jakkamsetti
Gene Tsudik
171
13
0
14 Nov 2020
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
USENIX Security Symposium (USENIX Security), 2019
Ivan De Oliveira Nunes
Karim M. El Defrawy
Norrathep Rattanavipanon
Gene Tsudik
221
64
0
07 Aug 2019
RADIS: Remote Attestation of Distributed IoT Services
Mauro Conti
Edlira Dushku
L. Mancini
190
35
0
26 Jul 2018
ScaRR: Scalable Runtime Remote Attestation for Complex Systems
International Symposium on Recent Advances in Intrusion Detection (RAID), 2018
Flavio Toffalini
E. Losiouk
Andrea Biondo
Jianying Zhou
Mauro Conti
241
32
0
20 Jul 2018
DÏoT: A Federated Self-learning Anomaly Detection System for IoT
IEEE International Conference on Distributed Computing Systems (ICDCS), 2018
T. D. Nguyen
Samuel Marchal
Markus Miettinen
Hossein Fereidooni
Nadarajah Asokan
A. Sadeghi
575
582
0
20 Apr 2018
1
Page 1 of 1
