swMATH ID: 1350
Software Authors: McComb, Tim; Wildman, Luke
Description: SIFA: a tool for evaluation of high-grade security devices We describe a tool for analysing information flow in security hardware. It identifies both sub-circuits critical to the preservation of security as well as the potential for information flow due to hardware failure. The tool allows for the composition of both logical and physical views of circuit designs. An example based on a cryptographic device is provided.
Homepage: http://sourceforge.net/projects/sifa/
Related Software:
Referenced in: 2 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
SIFA: a tool for evaluation of high-grade security devices. Zbl 1127.68390
McComb, Tim; Wildman, Luke

Referenced in 1 Serial

1 Studia Logica

Referencing Publications by Year