Achintya Desai

According to our database, Achintya Desai authored at least 10 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Program Analysis Guided LLM Agent for Proof-of-Concept Generation.

Achintya Desai, Md Shafiuzzaman, Wenbo Guo, Tevfik Bultan

CoRR, April, 2026

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery.

Md Shafiuzzaman, Achintya Desai, Wenbo Guo, Tevfik Bultan

CoRR, April, 2026

2025

Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security.

Achintya Desai, Ruochen Dai, Yanju Chen, Ky Ho, Austin Kee, Sophie Bulatovic, Md Shafiuzzaman, Ken Yihang Bai, Il Ung Jeong, David Siu, Tuba Yavuz, Tevfik Bultan

Proceedings of the 3rd USENIX Symposium on Vehicle Security and Privacy, 2025

2024

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis.

Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan

CoRR, 2024

Syntactic Robustness for LLM-based Code Generation.

Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan

CoRR, 2024

STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation.

Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

S-BAN: Secure Biometric Authentication using Noise.

Praguna Manvi, Achintya M. Desai, Kannan Srinathan, Anoop M. Namboodiri

Proceedings of the Fourteenth Indian Conference on Computer Vision, 2023

2022

SIAN: Secure Iris Authentication using Noise.

Praguna Manvi, Achintya Desai, Kannan Srinathan, Anoop M. Namboodiri

Proceedings of the IEEE International Joint Conference on Biometrics, 2022

2021

A Survey of Privacy-Preserving Techniques for Encrypted Traffic Inspection over Network Middleboxes.

Geong Sen Poh, Dinil Mon Divakaran, Hoon Wei Lim, Jianting Ning, Achintya Desai

CoRR, 2021

2020

Multiplicative Depth Independent & Efficient MPC in the Presence of Mixed Adversary.

Achintya Desai, Shubham Raj, Kannan Srinathan

IACR Cryptol. ePrint Arch., 2020