Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,347,849 papers from all fields of science
Search
Sign In
Create Free Account
CryptoVerif
CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet. Contrary to ProVerif by the same…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Authentication
Concrete security
Cryptographic primitive
Cryptographic protocol
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
An Analysis of Hybrid Public Key Encryption
Benjamin Lipp
IACR Cryptology ePrint Archive
2020
Corpus ID: 214642102
. Hybrid Public Key Encryption (HPKE) is a cryptographic primitive being standardized by the Crypto Forum Research Group (CFRG…
Expand
2017
2017
Explorer How to Simulate It in Isabelle : Towards Formal Proof for Secure Multi-Party Computation
D. Butler
,
David Aspinall
,
A. Gascón
2017
Corpus ID: 6643530
In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping…
Expand
2014
2014
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model
Weijin Wang
,
Yu Qin
,
Dengguo Feng
Information Security Practice and Experience
2014
Corpus ID: 648131
We present the first automated proof of the authorization protocols in TPM 2.0 in the computational model. The Trusted Platform…
Expand
Review
2012
Review
2012
Verification of Resistance of Denial of Service Attacks in Extended Applied Pi Calculus with ProVerif
Bo Meng
,
Wei Wang
,
Wei Chen
Journal of Computers
2012
Corpus ID: 6201713
Owning to the damage of denial of service attacks in security protocols, resistance of denial of service attacks plays an…
Expand
2012
2012
Computer Assisted Proof of Resistance of Denial of Service Attacks in Security Protocols Based on Events with CryptoVerif in Computational Model
Bo Meng
,
Wei Chen
2012
Corpus ID: 11980211
Owning to the huge damage and difficulty of prevention of denial of service attacks in security protocols, people pay serious…
Expand
2011
2011
Computer Aided Verification of Accountability in Electronic Payment Protocol with CryptoVerif
Bo Meng
2011
Corpus ID: 17452273
During the past few decades electronic payment protocols has been studied. A lot of electronic payment protocols, for example…
Expand
2011
2011
Computationally Sound Mechanized Proofs for Electronic Payment Protocol in a Probabilistic Polynomial Calculus with CryptoVerif
Bo Meng
,
Lin Li
,
Fei Shao
2011
Corpus ID: 61476283
During the past few decades electronic payment protocols has been studied. A lot of electronic payment protocols have been…
Expand
2011
2011
Automatic Verification of Deniable Authentication Protocol in a Probabilistic Polynomial Calculus with Cryptoverif
Bo Meng
2011
Corpus ID: 61319260
2010
2010
Robust RFID Authentication Protocol with Formal Proof and Its Feasibility
Miyako Ohkubo
,
Shin'ichiro Matsuo
,
Yoshikazu Hanatani
,
K. Sakiyama
,
K. Ohta
IACR Cryptology ePrint Archive
2010
Corpus ID: 15107326
The proloferation of RFID tags enhances everyday activities, such as by letting us reference the price, origin and circulation…
Expand
Review
2009
Review
2009
Refining Computationally Sound Mechanized Proofs for Kerberos
B. Blanchet
,
A. D. Jaggard
,
J. Rao
,
A. Scedrov
,
Joe-Kai Tsay
2009
Corpus ID: 16120261
Kerberos is designed to allow a user to repeatedly authenticate herself to multiple servers based on a single login. The PKINIT…
Expand