Sashidhar Jakkamsetti

Orcid: 0000-0002-5338-3522

According to our database1, Sashidhar Jakkamsetti authored at least 14 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices.
CoRR, 2024

2023
Scalable Private Signaling.
IACR Cryptol. ePrint Arch., 2023

Standard Model Time-Lock Puzzles: Defining Security and Constructing via Composition.
IACR Cryptol. ePrint Arch., 2023

Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence (Full Version).
CoRR, 2023

PARseL: Towards a Verified Root-of-Trust over seL4.
CoRR, 2023

$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Poster: Control-Flow Integrity in Low-end Embedded Devices.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021
Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

DIALED: Data Integrity Attestation for Low-end Embedded Devices.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

On the TOCTOU Problem in Remote Attestation.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

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


  Loading...