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 …

The book draws upon linguistic, psychological, philosophical, and sociolinguistic principles
and uses practical examples from second, foreign, and mother tongue teaching. It attempts …

We methodically expand protocol narrations into terms of a process algebra in order to
specify some of the checks that need to be made in a protocol. We then apply static analysis …

We have implemented an information flow framework for the Java virtual machine that
combines static and dynamic techniques to capture not only explicit flows, but also implicit …

We perform a systematic expansion of protocol narrations into terms of process algebra in
order to make precise some of the detailed checks that need to be made in a protocol. We …

Flow logic is an approach to static analysis that separates the specification of when an
analysis estimate is acceptable for a program from the actual computation of the analysis …

The advancement of the Internet of Things (IoT) has tremendously influenced many fields of
human life. The Internet of Medical Things, Internet of Flying Things, Internet of Floating …

The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart
objects that automatically collect and exchange data of various kinds, directly gathered from …

We present a new type system for verifying the security of reference implementations of
cryptographic protocols written in a core functional programming language. The type system …

We propose a methodology for the formal analysis of security protocols. This originates from
the observation that the verification of security protocols can be conveniently treated as the …