Scholar
Dinesh Reddy Ankireddy
Google Scholar ID: w1LQFT8AAAAJ
University of Florida
Formal Methods and Hardware Security
Follow
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
University of Florida
Aritra Dasgupta
Graduate Research Assistant at University of Florida
Swarup Bhunia
University of Florida
Sandip Ray
Professor, Department of Electrical and Computer Engineering, University of Florida at Gainesville
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up