Work

Theoretical analysis of gate level information flow tracking