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

Armaiti Ardeshiricham, Wei Hu, Joshua Marxen, Ryan Kastner

Browse the full DATE paper archive.