B Blanchet - Foundations and Trends® in Privacy and …, 2016 - nowpublishers.com
ProVerif is an automatic symbolic protocol verifier. It supports a wide range of cryptographic primitives, defined by rewrite rules or by equations. It can prove various security properties …
Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of …
TLS 1.3 is the next version of the Transport Layer Security (TLS) protocol. Its clean-slate design is a reaction both to the increasing demand for low-latency HTTPS connections and …
Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol …
Many popular web applications incorporate end-toend secure messaging protocols, which seek to ensure that messages sent between users are kept confidential and authenticated …
We study the interaction of the programming construct “new,” which generates statically scoped names, with communication via messages on channels. This interaction is crucial in …
AK Jain, B Yu - Pattern recognition, 1998 - Elsevier
Textual data is very important in a number of applications such as image database indexing and document understanding. The goal of automatic text location without character …
This manual describes the ProVerif software package version 2.05. ProVerif is a tool for automatically analyzing the security of cryptographic protocols. Support is provided for, but …
EMV is the leading international standard for payment smartcards, used by over a billion cards worldwide. EMV is not a single protocol, but a large family of complex protocols, with …