Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Gene Tsudik (CoRR, 2020)

On the TOCTOU Problem in Remote Attestation. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CCS, 2021)

DIALED: Data Integrity Attestation for Low-end Embedded Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Gene Tsudik (DAC, 2021)

Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Gene Tsudik (DATE, 2021)

CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Youngil Kim; Gene Tsudik (ICCAD, 2022)

Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Gene Tsudik (SP, 2022)

Poster: Control-Flow Integrity in Low-end Embedded Devices. - Sashidhar Jakkamsetti; Youngil Kim; Andrew Searles; Gene Tsudik (CCS, 2023)

Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence. - Sashidhar Jakkamsetti; Youngil Kim; Gene Tsudik (CCS, 2023)

$ mathcal{P} text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (ICCAD, 2023)

PARseL: Towards a Verified Root-of-Trust over seL4. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2023)

Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence (Full Version). - Sashidhar Jakkamsetti; Youngil Kim; Gene Tsudik (CoRR, 2023)

Standard Model Time-Lock Puzzles: Defining Security and Constructing via Composition. - Karim Eldefrawy; Sashidhar Jakkamsetti; Ben Terner; Moti Yung (IACR Cryptol. ePrint Arch., 2023)

Scalable Private Signaling. - Sashidhar Jakkamsetti; Zeyu Liu 004; Varun Madathil (IACR Cryptol. ePrint Arch., 2023)

Root-of-Trust Architectures for Low-end Embedded Systems - Sashidhar Jakkamsetti (2023)

KESIC: Kerberos Extensions for Smart, IoT and CPS Devices. - Renascence Tarafder Prapty; Sashidhar Jakkamsetti; Gene Tsudik (ICCCN, 2024)

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2024)

Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (IEEE Commun. Mag., 2024)

EILID: Execution Integrity for Low-end IoT Devices. - Sashidhar Jakkamsetti; Youngil Kim; Andrew Searles; Gene Tsudik (DATE, 2025)

MADEA: A Malware Detection Architecture for IoT blending Network Monitoring and Device Attestation. - Renascence Tarafder Prapty; Rahmadi Trimananda; Sashidhar Jakkamsetti; Gene Tsudik; Athina Markopoulou (CoRR, 2025)