Formal Analysis of Security Data Paths in RTL Design.

Jamil Mazzawi Ziyad Hanna

Published in: Haifa Verification Conference (2012)

Keyphrases

formal analysis
data sets
database
data analysis
data integrity
data collection
data points
knowledge based systems
building blocks
high dimensional data
cost effective
case study
machine learning
data mining techniques
user interface
access control
data distribution