Vaibhavi Joshi

According to our database, Vaibhavi Joshi authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Constraint Discovery for Structured Generation via LLM-Guided SMT Inference.

Hrishikesh Karmarkar, Supriya Agrawal, Siddhesh Pagar, Vaibhavi Joshi, Sagar Verma, Naman Paul

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2025

2024

Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models.

Hrishikesh Karmarkar, Vaibhavi Joshi, R. Venkatesh

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024