default search action

combined dblp search
author search
venue search
publication search

ask others

Avinash Ayalasomayajula

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/AyalasomayajulaDTF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/AyalasomayajulaDTF24
Avinash Ayalasomayajula, Nusrat Farzana Dipu, Mark M. Tehranipoor, Farimah Farahmandi:
Automatic Asset Identification for Assertion-Based SoC Security Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(10): 3264-3277 (2024)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tifs/DipuATF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tifs/DipuATF24
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: 1794-1809 (2024)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/host/AyalasomayajulaFPF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/host/AyalasomayajulaFPF24
Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi:
Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs. HOST 2024: 128-138
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mlcad/Ayalasomayajula24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlcad/Ayalasomayajula24
Avinash Ayalasomayajula, Rui Guo, Jingbo Zhou, Sujan Kumar Saha, Farimah Farahmandi:
LASP: LLM Assisted Security Property Generation for SoC Verification. MLCAD 2024: 29:1-29:7
2021
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/FarzanaARFT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/FarzanaARFT21
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: 1-7

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.