Login / Signup
Abhishek Nair
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 7
Top Topics
Machine Learning
Sat Solvers
Space Exploration
Cognitive Map
Top Venues
CoRR
Appl. Soft Comput.
AsianHOST
FMCAD
</>
Publications
</>
Jonathan Cruz
,
Pravin Gaikwad
,
Abhishek Nair
,
Prabuddha Chakraborty
,
Swarup Bhunia
A Machine Learning Based Automatic Hardware Trojan Attack Space Exploration and Benchmarking Framework.
AsianHOST
(2022)
Abhishek Nair
,
Saranyu Chattopadhyay
,
Haoze Wu
,
Alex Ozdemir
,
Clark W. Barrett
Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.
CoRR
(2022)
Abhishek Nair
,
Saranyu Chattopadhyay
,
Haoze Wu
,
Alex Ozdemir
,
Clark W. Barrett
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.
FMCAD
(2022)
Jonathan Cruz
,
Pravin Gaikwad
,
Abhishek Nair
,
Prabuddha Chakraborty
,
Swarup Bhunia
Automatic Hardware Trojan Insertion using Machine Learning.
CoRR
(2022)
Abhishek Nair
,
Patanjali SLPSK
,
Chester Rebeiro
,
Swarup Bhunia
SIGNED: A Challenge-Response Based Interrogation Scheme for Simultaneous Watermarking and Trojan Detection.
CoRR
(2020)
Abhishek Nair
,
Diana Reckien
,
Martin F. A. M. van Maarseveen
Generalised fuzzy cognitive maps: Considering the time dynamics between a cause and an effect.
Appl. Soft Comput.
92 (2020)
Abhishek Nair
,
Diana Reckien
,
Martin F. A. M. van Maarseveen
A generalised fuzzy cognitive mapping approach for modelling complex systems.
Appl. Soft Comput.
84 (2019)