Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sabrina Tarento
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Optimal Security Proofs for PSS and Other Signature Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computer-Aided Cryptographic Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Proof for Partial-Domain Hash Signature Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security of Digital Signature Schemes in Weakened Random Oracle Models
Identity Based Encryption and Identity Based Signature Scheme on Security Schemes
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Adaptive Security in the Threshold Setting: From Cryptosystems to Signature Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Joint Security of Signature and Encryption Schemes Under Randomness Reuse: Efficiency and Security Amplification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
GQ and Schnorr Identification Schemes: Proofs of Security Against Impersonation Under Active and Concurrent Attacks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
