ProVerif

ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

Security is one of the major challenges that affect the deployment of the biosensors that form Wireless Body Sensor Networks…

2017

—Dual connectivity (DC) has been included in the Release 12 of the long-term evolution (LTE) standard. In this paper, we perform…

2015

Public Key Regime (PKR) was proposed as an alternative to certificate based PKI in securing Vehicular Networks (VNs). It…

2014

We present a general idea of using formal methods in the verification of security protocols. In particular we show how to…

2014

2014

We consider a class of two-party function evaluation protocols in which the parties are allowed to use ideal functionalities as…

2012

Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions…

2010

We present a system that enables secure user authentication by leveraging a portable USB-based trusted device. The heart of our…

2008

Automatic code generation from formal models is an important approach for the secure implementation of cryptographic protocols…

2006

Virtual organizations are dynamic associations of business partners that join forces to achieve a common goal. Because partners…