Skip to content

Nusrat Farzana

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2019–2022

Best venue rank

National

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2022VTSFSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security.Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor
2021VTSSAIF: Automated Asset Identification for Security Verification at the Register Transfer Level.Nusrat Farzana, Avinash Ayalasomayajula, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2019ITCSoC Security Verification using Property Checking.Nusrat Farzana, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi