Login / Signup
Akshay Kumar Jaiswal
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Verification Method
Temporal Logic
Model Checking
Security Properties
Top Venues
VLSI Design
</>
Publications
</>
Binod Kumar
,
Akshay Kumar Jaiswal
,
V. S. Vineesh
,
Rushikesh Shinde
Analyzing Hardware Security Properties of Processors through Model Checking.
VLSI Design
(2020)