FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection.

Nusrat Farzana Dipu, Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor

Browse the full ASPDAC paper archive.