Shervin Roshanisefat

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 14

Top Topics

Boolean Satisfiability

Top Venues

IEEE Trans. Very Large Scale Integr. Syst.

ACM Great Lakes Symposium on VLSI

Publications

Kimia Zamiri Azar, Hadi Mardani Kamali, Shervin Roshanisefat, Houman Homayoun, Christos P. Sotiriou, Avesta Sasan
Data Flow Obfuscation: A New Paradigm for Obfuscating Circuits. IEEE Trans. Very Large Scale Integr. Syst. 29 (4) (2021)
Shervin Roshanisefat, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan
RANE: An Open-Source Formal De-obfuscation Attack for Reverse Engineering of Logic Encrypted Circuits. ACM Great Lakes Symposium on VLSI (2021)
Shervin Roshanisefat, Hadi Mardani Kamali, Kimia Zamiri Azar, Sai Manoj Pudukotai Dinakarrao, Naghmeh Karimi, Houman Homayoun, Avesta Sasan
DFSSD: Deep Faults and Shallow State Duality, A Provably Strong Obfuscation Solution for Circuits with Restricted Access to Scan Chain. CoRR (2020)
Shervin Roshanisefat, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan
SAT-hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain. CoRR (2020)
Shervin Roshanisefat, Hadi Mardani Kamali, Kimia Zamiri Azar, Sai Manoj Pudukotai Dinakarrao, Naghmeh Karimi, Houman Homayoun, Avesta Sasan
DFSSD: Deep Faults and Shallow State Duality, A Provably Strong Obfuscation Solution for Circuits with Restricted Access to Scan Chain. VTS (2020)
Hadi Mardani Kamali, Kimia Zamiri Azar, Shervin Roshanisefat, Ashkan Vakil, Avesta Sasan
ExTru: A Lightweight, Fast, and Secure Expirable Trust for the Internet of Things. CoRR (2020)
Shervin Roshanisefat, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan
SAT-Hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain. IEEE Trans. Very Large Scale Integr. Syst. 28 (4) (2020)
Kimia Zamiri Azar, Farnoud Farahmand, Hadi Mardani Kamali, Shervin Roshanisefat, Houman Homayoun, William Diehl, Kris Gaj, Avesta Sasan
COMA: Communication and Obfuscation Management Architecture. RAID (2019)
Kimia Zamiri Azar, Farnoud Farahmand, Hadi Mardani Kamali, Shervin Roshanisefat, Houman Homayoun, William Diehl, Kris Gaj, Avesta Sasan
COMA: Communication and Obfuscation Management Architecture. CoRR (2019)
Shervin Roshanisefat, Hadi Mardani Kamali, Avesta Sasan
SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware. CoRR (2018)
Shervin Roshanisefat, Hadi Mardani Kamali, Avesta Sasan
SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware. ACM Great Lakes Symposium on VLSI (2018)
Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj, Houman Homayoun, Avesta Sasan
Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes. CoRR (2018)
Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj, Houman Homayoun, Avesta Sasan
Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes. IOLTS (2018)
Seyyed Hossein Seyyedaghaei Rezaei, Mehdi Modarressi, Masoud Daneshtalab, Shervin Roshanisefat
A Three-Dimensional Networks-on-Chip Architecture with Dynamic Buffer Sharing. PDP (2016)