Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1703.02688
Cited By
v1
v2 (latest)
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)
8 March 2017
Karim M. El Defrawy
Norrathep Rattanavipanon
Gene Tsudik
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)"
21 / 21 papers shown
Formally-verified Security against Forgery of Remote Attestation using SSProve
Sara Zain
Jannik Mähn
Stefan Kopsell
Sebastian Ertel
186
1
0
24 Feb 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
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
PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates
Thomas Grübl
Jan von der Assen
Markus Knecht
Burkhard Stiller
149
1
0
19 Jul 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
Trustworthy confidential virtual machines for the masses
Anna Galanou
Khushboo Bindlish
Luca Preibsch
Y. Pignolet
Christof Fetzer
Rüdiger Kapitza
371
20
0
23 Feb 2024
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
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
Remote Attestation: A Literature Review
A. Banks
M. Kisiel
P. Korsholm
211
35
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
An Infrastructure for Faithful Execution of Remote Attestation Protocols
Symposium and Bootcamp on the Science of Security (BSS), 2020
Adam Petz
Perry Alexander
HILM
76
10
0
18 Dec 2020
On the Root of Trust Identification Problem
International Symposium on Information Processing in Sensor Networks (IPSN), 2020
Ivan De Oliveira Nunes
Xuhua Ding
Gene Tsudik
206
9
0
26 Oct 2020
SAFE^d: Self-Attestation For Networks of Heterogeneous Embedded Devices
Alessandro Visintin
Flavio Toffalini
Mauro Conti
Jianying Zhou
204
9
0
18 Sep 2019
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
Formally Verified Hardware/Software Co-Design for Remote Attestation
Ivan De Oliveira Nunes
Karim M. El Defrawy
Norrathep Rattanavipanon
M. Steiner
Gene Tsudik
166
7
0
01 Nov 2018
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices
Nadarajah Asokan
Thomas Nyman
Norrathep Rattanavipanon
A. Sadeghi
Gene Tsudik
185
85
0
13 Jul 2018
ERASMUS: Efficient Remote Attestation via Self- Measurement for Unattended Settings
Xavier Carpent
Norrathep Rattanavipanon
Gene Tsudik
81
60
0
27 Jul 2017
1
Page 1 of 1
