Statistics
Publications
2
Citations
25
H-Index
2
Active since
2023
Affiliations
University of Florida(Current)
Shams Tarek is an author at University of Florida specializing in security verification, computer science, and formal security verification.
Publications per year
2023–2025
2
2
1–2 of 2