Information flow analysis for VHDL
Information flow analysis for VHDL-download
Abstract. We describe a fragment of the hardware description language VHDL that is suitable
for implementing the Advanced Encryption Stan- dard algorithm. We then define an Information
Flow analysis as required by the international standard Common Criteria. The goal of the