This paper reviews some of the difficulties that arise in the verification of kernelized secure
systems and suggests new techniques for their resolution. It is proposed that secure systems …

Efforts to build" secure" computer systems have now been underway for more than a
decade. Many designs have been proposed, some prototypes have been constructed, and a …

Abstract The Affect-in-the-Wild (Aff-Wild) Challenge proposes a new comprehensive
benchmark for assessing the performance of facial affect/behaviour analysis …

Today's smartphone operating systems frequently fail to provide users with visibility into how
third-party applications collect and share their private data. We address these shortcomings …

Smart contracts on permissionless blockchains are exposed to inherent security risks due to
interactions with untrusted entities. Static analyzers are essential for identifying security risks …

Program slicing is a method for automatically decomposing programs by analyzing their
data flow and control flow. Starting from a subset of a program's behavior, slicing reduces …

Current standard security practices do not provide substantial assurance that the end-to-end
behavior of a computing system satisfies important security policies such as confidentiality …

Electronic computers have evolved from exiguous experimental enterprises in the 1940s to
prolific practical data processing systems in the 1980s. As we have come to rely on these …

A promising technique for protecting privacy and integrity of sensitive data is to statically
check information flow within programs that manipulate the data. While previous work has …

Ensuring secure information flow within programs in the context of multiple sensitivity levels
has been widely studied. Especially noteworthy is Denning's work in secure flow analysis …