Login / Signup
Mark Tehranipoor
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Cellular Automaton
Relational Databases
Security Policies
State Machine
Top Venues
IACR Cryptol. ePrint Arch.
ASP-DAC
ITC
</>
Publications
</>
Shang Shi
,
Nitin Pundir
,
Hadi M. Kamali
,
Mark Tehranipoor
,
Farimah Farahmandi
SecHLS: Enabling Security Awareness in High-Level Synthesis.
ASP-DAC
(2023)
Rasheed Kibria
,
Farimah Farahmandi
,
Mark Tehranipoor
FSMx-Ultra: Finite State Machine Extraction from Gate-Level Netlist for Security Assessment.
IACR Cryptol. ePrint Arch.
2022 (2022)
Rasheed Kibria
,
M. Sazadur Rahman
,
Farimah Farahmandi
,
Mark Tehranipoor
RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications.
ITC
(2022)