Computer-aided cryptography is an active area of research that develops and applies
formal, machine-checkable approaches to the design, analysis, and implementation of …

Internet of Things (IoT) has become one of the most significant technologies in recent years
because of possessing the diverse application domains. The variety of applications results …

A brief overview is presented of MetiTarski 4, an automatic theorem prover for real-valued
special functions: ln, \exp, sin, cos, etc. MetiTarski operates through a unique interaction …

Remote attestation is the activity of making a claim about properties of a target by supplying
evidence to an appraiser over a network. We identify five central principles to guide …

Security Properties | SpringerLink Skip to main content Advertisement SpringerLink Account
Menu Find a journal Publish with us Track your research Search Cart Book cover …

With the rise of Internet of Things (IoT) and Cyber-Physical Systems (CPS), the need for
smart embedded devices is rapidly increasing, and so does the security and privacy risk …

We present a general technique for modeling remote electronic voting protocols in the
applied pi-calculus and for automatically verifying their security. In the first part of this paper …

Abstract The Internet of things (IoT) is an indispensable part of our daily lives, bringing us
many conveniences, including e-commerce and m-commerce services. Unfortunately, IoT …

Verifpal is a new automated modeling framework and verifier for cryptographic protocols,
optimized with heuristics for common-case protocol specifications, that aims to work better …

The standard definition of security for digital signatures-existential unforgeability-does not
ensure certain properties that protocol designers might expect. For example, in many …