Statistics
Publications
2
Citations
30
H-Index
2
Active since
2021
Affiliations
University of Florida(Current)
Avinash Ayalasomayajula is an author at University of Florida specializing in computer science, threat modeling, and threat assessment models.
Publications per year
2021–2024
2
2
LASP: LLM Assisted Security Property Generation for SoC Verification
Avinash Ayalasomayajula, Rui Guo, Jingbo Zhou et al. · 2024 · 13 citations
1–2 of 2