Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,935,567 papers from all fields of science
Search
Sign In
Create Free Account
ProVerif
ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Automated reasoning
CryptoVerif
Cryptographic protocol
Direct Anonymous Attestation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A Security Based Infrastructure for cloud Storage system in terms of Public Data
N. Rani
2017
Corpus ID: 168732081
: The framework cloud (IaaS) benefit demonstrate offers enhanced asset flexibility and accessibility, where occupants – protected…
Expand
2017
2017
Formal Verification of Key Establishment for Dual Connectivity in Small Cell LTE Networks
V. Vassilakis
,
I. Moscholios
,
M. Logothetis
,
M. Koukias
2017
Corpus ID: 51748192
—Dual connectivity (DC) has been included in the Release 12 of the long-term evolution (LTE) standard. In this paper, we perform…
Expand
2016
2016
ePassport Protocol on the Spi Calculus
Safa Saoudi
,
Souheib Yousfi
,
R. Robbana
International Workshop on Verification and…
2016
Corpus ID: 13416669
Electronic passport promises the possibility of a secure, simple and quick travel formalities. Many countries have started…
Expand
2016
2016
Results on the case studies
S. Delaune
,
I. Gazeau
2016
Corpus ID: 15622742
The results presented in this report is a summary of all the experiments that have been performed during the project on the case…
Expand
2014
2014
Utilization of Encryption for Security in SCADA Networks
Durgesh Pandey
,
Upendra Singh
,
S. Shukla
2014
Corpus ID: 212446456
: Supervisory control and data acquisition (SCADA) are applications that collect data from a system in order to automate the…
Expand
2014
2014
Automated algebraic analysis of structure-preserving signature schemes
Joeri de Ruiter
IACR Cryptology ePrint Archive
2014
Corpus ID: 215826819
Structure-preserving signature schemes can be very useful in the construction of new cryptographic operations like blind…
Expand
2012
2012
Business Process Access Control (BPAC) : workflow-based authorisation for complex systems
Derrick Newton
2012
Corpus ID: 36605879
Segregation of duties and least privilege are two business principles that protect an organisation’s valuable data from…
Expand
2012
2012
Sorted Psi-calculi with Generalised Pattern Matching
Johannes Borgstr¨om
,
Ramunas Gutkovas
,
J. Parrow
,
Björn Victor
,
Johannes Åman Pohjola
2012
Corpus ID: 17758142
Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions…
Expand
2011
2011
Formal Security Analysis of OpenID with GBA Protocol
Abu Shohel Ahmed
,
Peeter Laud
Security and Privacy in Mobile Information and…
2011
Corpus ID: 16604632
The paper presents the formal security analysis of 3GPP standardized OpenID with Generic Bootstrapping Architecture protocol…
Expand
2011
2011
Diffie-Hellman without Difficulty (Extended Version)
S. Mödersheim
2011
Corpus ID: 3753973
An excellent way for a protocol to obtain shared keys is Diffie-Hellman. For the automated verification of security protocols…
Expand