Security Framework to Verify the Low Level Implementation Codes.

Haeng-Kon Kim, Hae Sool Yang

Browse the full ICCSA paper archive.