Machine-Checked Security Proofs of Cryptographic Signature Schemes

Lecture Notes in Computer Science - Germany
doi 10.1007/11555827_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2013English

Optimal Security Proofs for PSS and Other Signature Schemes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Computer-Aided Cryptographic Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Security Proof for Partial-Domain Hash Signature Schemes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Security of Digital Signature Schemes in Weakened Random Oracle Models

English

Identity Based Encryption and Identity Based Signature Scheme on Security Schemes

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Adaptive Security in the Threshold Setting: From Cryptosystems to Signature Schemes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

On the Joint Security of Signature and Encryption Schemes Under Randomness Reuse: Efficiency and Security Amplification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

GQ and Schnorr Identification Schemes: Proofs of Security Against Impersonation Under Active and Concurrent Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy