Login / Signup
Khitam M. Alatoun
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Databases
Parallel Algorithm
Computationally Expensive
Information Flows
Top Venues
ICCD
ACM Great Lakes Symposium on VLSI
</>
Publications
</>
Khitam M. Alatoun
,
Ranga Vemuri
Efficient Method for Timing-based Information Flow Verification in Hardware Designs.
ACM Great Lakes Symposium on VLSI
(2022)
Khitam M. Alatoun
,
Shanmukha Murali Achyutha
,
Ranga Vemuri
Efficient Methods for SoC Trust Validation Using Information Flow Verification.
ICCD
(2021)