activity
20202025
most citedTiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution

4 citations · 4 across the 5 of their papers we have counts for

collaborators

6 papers

cs.CR2025

MADEA: A Malware Detection Architecture for IoT blending Network Monitoring and Device Attestation

Renascence Tarafder Prapty, Rahmadi Trimananda, Sashidhar Jakkamsetti +2

Internet-of-Things (IoT) devices are vulnerable to malware and require new mitigation techniques due to their limited resources. To that end, previous research has used periodic Re…

cs.CR2025

EILID: Execution Integrity for Low-end IoT Devices

Sashidhar Jakkamsetti, Youngil Kim, Andrew Searles +1

Prior research yielded many techniques to mitigate software compromise for low-end Internet of Things (IoT) devices. Some of them detect software modifications via remote attestati…

cs.CR2022

Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti +1

There are many well-known techniques to secure sensed data in IoT/CPS systems, e.g., by authenticating communication end-points, encrypting data before transmission, and obfuscatin…

cs.CR2021

DIALED: Data Integrity Attestation for Low-end Embedded Devices

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik

Verifying integrity of software execution in low-end micro-controller units (MCUs) is a well-known open problem. The central challenge is how to securely detect software exploits w…

cs.CR20204 cited

Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik

The design of tiny trust anchors has received significant attention over the past decade, to secure low-end MCU-s that cannot afford expensive security mechanisms. In particular, h…

cs.CR2020

On the TOCTOU Problem in Remote Attestation

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon +1

We propose Remote Attestation with TOCTOU Avoidance (RATA): a provably secure approach to address the RA TOCTOU problem. With RATA, even malware that erases itself before execution…