Login / Signup
Nusrat Farzana Dipu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Buffer Overflow
Cryptographic Protocols
Information Leakage
Formal Analysis
Top Venues
IEEE Trans. Inf. Forensics Secur.
ICCAD
</>
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)
Muhammad Monir Hossain
,
Nusrat Farzana Dipu
,
Kimia Zamiri Azar
,
Fahim Rahman
,
Farimah Farahmandi
,
Mark M. Tehranipoor
TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing.
ICCAD
(2023)