Nusrat Farzana

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Cryptographic Protocols

Information Security

Security Properties

Top Venues

IACR Cryptol. ePrint Arch.

ACM J. Emerg. Technol. Comput. Syst.

Publications

Avinash Ayalasomayajula, Nusrat Farzana, Debjit Pal, Farimah Farahmandi
Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs. HOST (2024)
Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark M. Tehranipoor
FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security. VTS (2022)
Nusrat Farzana, Farimah Farahmandi, Mark M. Tehranipoor
SoC Security Properties and Rules. IACR Cryptol. ePrint Arch. 2021 (2021)
M. Tanjidur Rahman, Nusrat Farzana, Dhwani Mehta, Shahin Tajik, Mark M. Tehranipoor, Navid Asadizanjani
CONCEALING-Gate: Optical Contactless Probing Resilient Design. ACM J. Emerg. Technol. Comput. Syst. 17 (3) (2021)
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)
Nusrat Farzana, Fahim Rahman, Mark M. Tehranipoor, Farimah Farahmandi
SoC Security Verification using Property Checking. ITC (2019)