Avinash Ayalasomayajula

According to our database, Avinash Ayalasomayajula authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

2024

AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities.

Nusrat Farzana Dipu, Avinash Ayalasomayajula, Mark M. Tehranipoor, Farimah Farahmandi

IEEE Trans. Inf. Forensics Secur., 2024

2021

SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level.

Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor

Proceedings of the 39th IEEE VLSI Test Symposium, 2021