A proof-producing machine-code analyzer for secure information flow

• Main Authors: Muthana, Abdulrahman Ahmad Abdu, Abd Ghani, Abdul Azim, Mahmod, Ramlan, Selamat, Mohd Hasan
• Format: Conference or Workshop Item
• Language: English
• Published: IEEE 2008
• Online Access: http://psasir.upm.edu.my/id/eprint/68795/1/A%20proof-producing%20machine-code%20analyzer%20for%20secure%20information%20flow.pdf; http://psasir.upm.edu.my/id/eprint/68795/

An approach enabling end-users to verify that a downloaded untrusted code will not leak confidential data to unauthorized parties is presented. The approach certifies RISC-style assembly programs for secure information flow by statically analyzing the code based on the idea of Proof Carrying Code (P...