Avinash Ayalasomayajula

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Secret Information

Biometric Identification

Hardware Designs

Information Flows

Top Venues

IEEE Trans. Inf. Forensics Secur.

Publications

Nusrat Farzana Dipu, Avinash Ayalasomayajula, Mark M. Tehranipoor, Farimah Farahmandi
AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities. IEEE Trans. Inf. Forensics Secur. 19 (2024)
Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi
Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs. HOST (2024)
Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark M. Tehranipoor
SAIF: Automated Asset Identification for Security Verification at the Register Transfer Level. VTS (2021)