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
2010A Calculus for Game-Based Security Proofs.David Nowak, Yu Zhang
2010Automating Computational Proofs for Public-Key-Based Key Exchange.Long Ngo, Colin Boyd, Juan Manuel Gonzlez Nieto
2010Cryptographic Protocols from Lattices.Eike Kiltz
2010A Framework for Constructing Convertible Undeniable Signatures.Ryo Kikuchi, Le Trieu Phong, Wakaha Ogata
2010Fully Secure Threshold Unsigncryption.Javier Herranz, Alexandre Ruiz, Germn Sez
2010Collision Resistant Double-Length Hashing.Ewan Fleischmann, Christian Forler, Michael Gorski, Stefan Lucks
2010A Timed-Release Proxy Re-encryption Scheme and Its Application to Fairly-Opened Multicast Communication.Keita Emura, Atsuko Miyaji, Kazumasa Omote
2010An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company's Reputation.Keita Emura, Atsuko Miyaji, Kazumasa Omote
2010Improved Zero-Knowledge Identification with Lattices.Pierre-Louis Cayrel, Richard Lindner, Markus Rckert, Rosemberg Silva
2010Distinguishing Distributions Using Chernoff Information.Thomas Baignres, Pouyan Sepehrdad, Serge Vaudenay
2010Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks.Hiroaki Anada, Seiko Arita
2010Efficient Confirmer Signatures from the "Signature of a Commitment" Paradigm.Laila El Aimani
2009Spatial Encryption under Simpler Assumption.Muxin Zhou, Zhenfu Cao
2009Identity-Based Verifiably Encrypted Signatures without Random Oracles.Lei Zhang, Qianhong Wu, Bo Qin
2009Self-enforcing Private Inference Control.Yanjiang Yang, Yingjiu Li, Jian Weng, Jianying Zhou, Feng Bao
2009Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge.Keita Xagawa, Keisuke Tanaka
2009Symbolic Methods for Provable Security.Bogdan Warinschi
2009ComparingBerkant Ustaoglu
2009GUC-Secure Set-Intersection Computation.Yuan Tian, Hao Zhang
2009Breaking and Fixing of an Identity Based Multi-Signcryption Scheme.S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan
2009Twin Signature Schemes, Revisited.Sven Schge
2009Anonymous Signatures Revisited.Vishal Saraswat, Aaram Yun
2009Efficient Non-interactive Universally Composable String-Commitment Schemes.Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka
2009An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles.Daisuke Moriyama, Tatsuaki Okamoto
2009Server-Controlled Identity-Based Authenticated Key Exchange.Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li
376400 of 450← PreviousNext →

Comparable venues

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