Information flow policies are confidentiality policies that control information leakage through
program execution. A common way to enforce secure information flow is through information …

End-to-End security of mobile code requires that the code neither intentionally nor
accidentally propagates sensitive information to an adversary. Although mobile code is …

Previous approaches to designing random pattern testable circuits use post-synthesis test
point insertion to eliminate random pattern resistant (rpr) faults. The approach taken in this …

This work aims at providing a solution to confidentiality issues in multiapplicative systems:
ensuring security for an application running on small and autonomous systems by verifying …

We present a calculus for tracking equality relationships between values through pairs of
bytecode programs. The calculus may serve as a certification mechanism for non …

Abstract The Information-Flow property of Non-Interference was recently relaxed into
Abstract Non-Interference (ANI), a weakened version where attackers can only observe …