Login / Signup
Jamil Mazzawi
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Machine Learning
Access Control
Formal Analysis
Building Blocks
Top Venues
Haifa Verification Conference
</>
Publications
</>
Jamil Mazzawi
,
Ziyad Hanna
Formal Analysis of Security Data Paths in RTL Design.
Haifa Verification Conference
(2012)