Avinash Ayalasomayajula

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

Collaborative distances:

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

2024

Automatic Asset Identification for Assertion-Based SoC Security Verification.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 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

LASP: LLM Assisted Security Property Generation for SoC Verification.

Avinash Ayalasomayajula, Rui Guo, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi

Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD, 2024

Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs.

Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 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