Dinesh Reddy Ankireddy
Scholar

Dinesh Reddy Ankireddy

Google Scholar ID: w1LQFT8AAAAJ
University of Florida
Formal Methods and Hardware Security
Google Scholar↗
Citations & Impact
All-time
Citations
3
 
H-index
1
 
i10-index
0
 
Publications
3
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
1 items
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
2025
Cited
0
Resume (English only)
Co-authors
4 total
Sudipta Paria
Sudipta Paria
University of Florida
Aritra Dasgupta
Aritra Dasgupta
Graduate Research Assistant at University of Florida
Swarup Bhunia
Swarup Bhunia
University of Florida
Sandip Ray
Sandip Ray
Professor, Department of Electrical and Computer Engineering, University of Florida at Gainesville