5 citations · 13 across the 12 of their papers we have counts for
12 papers · 1 filter
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…
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…
KESIC: Kerberos Extensions for Smart, IoT and CPS Devices
Renascence Tarafder Prapty, Sashidhar Jakkamsetti, Gene Tsudik
Secure and efficient multi-user access mechanisms are increasingly important for the growing number of Internet of Things (IoT) devices being used today. Kerberos is a well-known a…
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon +1
Lower-end IoT devices typically have strict cost constraints that rule out usual security mechanisms available in general-purpose computers or higher-end devices. To secure low-end…
Poster: Control-Flow Integrity in Low-end Embedded Devices
Sashidhar Jakkamsetti, Youngil Kim, Andrew Searles +1
Embedded, smart, and IoT devices are increasingly popular in numerous everyday settings. Since lower-end devices have the most strict cost constraints, they tend to have few, if an…
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence (Full Version)
Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik
As many types of IoT devices worm their way into numerous settings and many aspects of our daily lives, awareness of their presence and functionality becomes a source of major conc…
PARseL: Towards a Verified Root-of-Trust over seL4
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti +2
Widespread adoption and growing popularity of embedded/IoT/CPS devices make them attractive attack targets. On low-to-mid-range devices, security features are typically few or none…
CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim +1
Guaranteeing runtime integrity of embedded system software is an open problem. Trade-offs between security and other priorities (e.g., cost or performance) are inherent, and resolv…
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…
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…
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…
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…