Login / Signup
Isadora: Automated Information Flow Property Generation for Hardware Designs.
Calvin Deutschbein
Andres Meza
Francesco Restuccia
Ryan Kastner
Cynthia Sturton
Published in:
ASHES@CCS (2021)
Keyphrases
</>
information flow
hardware designs
flow analysis
social networks
information flows
functional modules
communication networks
supply chain
information security
flow graph
model based diagnosis
reactive systems
data processing
np complete
random walk
pattern recognition
computer vision
databases