Skip to content

International Conference on Provable Security

ProvSec

C

CORE rank

CORE rank (raw)

C

Fields of research

Cybersecurity and Privacy

Papers indexed

450

2007–2025

Papers per year

200734 peak2025

ProvSec papers

450 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2008Universally Composable Security Analysis of TLS.Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jrg Schwenk
2008A Universally Composable Framework for the Analysis of Browser-Based Security Protocols.Sebastian Gajek
2008Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks.Wei Du, Mingxing He
2008A CCA Secure Hybrid Damgrd's ElGamal Encryption.Yvo Desmedt, Duong Hieu Phan
2008Timed-Release Encryption Revisited.Sherman S. M. Chow, Siu-Ming Yiu
2008On Proofs of Security for DAA Schemes.Liqun Chen, Paul Morrissey, Nigel P. Smart
2008Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?.Ahto Buldas, Margus Niitsoo
2008How to Use Merkle-Damgrd - On the Security Relations between Signature Schemes and Their Inner Hash Functions.Emmanuel Bresson, Benot Chevallier-Mames, Christophe Clavier, Aline Gouget, Pascal Paillier, Thomas Peyrin
2007A Provably Secure Ring Signature Scheme in Certificateless Cryptography.Lei Zhang, Futai Zhang, Wei Wu
2007An Hybrid Approach for Efficient Multicast Stream Authentication over Unsecured Channels.Christophe Tartary, Huaxiong Wang, Josef Pieprzyk
2007Construction of a Hybrid HIBE Protocol Secure Against Adaptive Attacks.Palash Sarkar, Sanjit Chatterjee
2007On the Notions of PRP - RKA , KR and KR - RKA for Block Ciphers.Ermaliza Razali, Raphael C.-W. Phan, Marc Joye
2007Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication.Raphael C.-W. Phan, Kim-Kwang Raymond Choo, Swee-Huay Heng
2007A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function.Takahiro Matsuda, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai
2007Practical Threshold Signatures Without Random Oracles.Jin Li, Tsz Hon Yuen, Kwangjo Kim
2007Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature.Jin Li, Kwangjo Kim, Fangguo Zhang, Xiaofeng Chen
2007An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security.Wei Li, Dawu Gu
2007Stronger Security of Authenticated Key Exchange.Brian A. LaMacchia, Kristin E. Lauter, Anton Mityagin
2007Decryptable Searchable Encryption.Thomas Fuhr, Pascal Paillier
2007CCA2-Secure Threshold Broadcast Encryption with Shorter Ciphertexts.Vanesa Daza, Javier Herranz, Paz Morillo, Carla Rfols
2007Formal Security Treatments for Signatures from Identity-Based Encryption.Yang Cui, Eiichiro Fujisaki, Goichiro Hanaoka, Hideki Imai, Rui Zhang
2007Two Notes on the Security of Certificateless Signatures.Rafael Castro, Ricardo Dahab
2007Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use.Sbastien Canard, Iwen Coisel, Jacques Traor
2007Does Secure Time-Stamping Imply Collision-Free Hash Functions?Ahto Buldas, Aivo Jrgenson
2007Formal Proof of Provable Security by Game-Playing in a Proof Assistant.Reynald Affeldt, Miki Tanaka, Nicolas Marti
426450 of 450← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.