Register transfer level information flow tracking for provably secure hardware design.

Armaiti Ardeshiricham Wei Hu Joshua Marxen Ryan Kastner

Published in: DATE (2017)

Keyphrases

information flow
hardware design
provably secure
hardware implementation
real time
social networks
key management
communication networks
supply chain
fpga hardware
databases
information security
security model