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
2011Weak Oblivious Transfer from Strong One-Way Functions.Keisuke Tanaka, Akihiro Yamada, Kenji Yasunaga
2011Identity-Based Trace and Revoke Schemes.Duong Hieu Phan, Viet Cuong Trinh
2011TMQV: A Strongly eCK-Secure Diffie-Hellman Protocol without Gap Assumption.Jiaxin Pan, Libin Wang
2011Secure Two-Party Computation over a Z-Channel.Paolo Palmieri, Olivier Pereira
2011Randomness Leakage in the KEM/DEM Framework.Hitoshi Namiki, Keisuke Tanaka, Kenji Yasunaga
2011Security of Practical Cryptosystems Using Merkle-Damgrd Hash Function in the Ideal Cipher Model.Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta
2011Key-Dependent Message Security for Division Function: Discouraging Anonymous Credential Sharing.Xianhui Lu, Bao Li, Qixiang Mei, Haixia Xu
2011General Construction of Chameleon All-But-One Trapdoor Functions.Shengli Liu, Junzuo Lai, Robert H. Deng
2011Efficient Identity-Based Signcryption in the Standard Model.Fagen Li, Fahad Bin Muhaya, Mingwu Zhang, Tsuyoshi Takagi
2011Strongly Secure One Round Authenticated Key Exchange Protocol with Perfect Forward Security.Hai Huang
2011Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption.Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura
2011Optimal Structure-Preserving Signatures.Jens Groth
2011Secure Composition of Cryptographic Protocols.Vipul Goyal
2011A Novel Framework for Protocol Analysis.Kristian Gjsteen, George Petrides, Asgeir Steine
2011Precise Time and Space Simulatable Zero-Knowledge.Ning Ding, Dawu Gu
2011Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Computation-Cost.Cheng Chen, Zhenfeng Zhang, Dengguo Feng
2011Secure Obfuscation of Encrypted Verifiable Encrypted Signatures.Rong Cheng, Bo Zhang, Fangguo Zhang
2011Generalized Learning Problems and Applications to Non-commutative Cryptography.Gilbert Baumslag, Nelly Fazio, Antonio Nicolosi, Vladimir Shpilrain, William E. Skeith III
2011Verifiable Security of Boneh-Franklin Identity-Based Encryption.Gilles Barthe, Federico Olmedo, Santiago Zanella-Bguelin
2010Toward an Easy-to-Understand Structure for Achieving Chosen Ciphertext Security from the Decisional Diffie-Hellman Assumption.Shota Yamada, Goichiro Hanaoka, Noboru Kunihiro
2010A Suite of Non-pairing ID-Based Threshold Ring Signature Schemes with Different Levels of Anonymity (Extended Abstract).Patrick P. Tsang, Man Ho Au, Joseph K. Liu, Willy Susilo, Duncan S. Wong
2010Identity Based Public Verifiable Signcryption Scheme.S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan
2010Interpreting Hash Function Security Proofs.Juraj Sarinay
2010Formal and Precise Analysis of Soundness of Several Shuffling Schemes.Kun Peng, Feng Bao
2010Efficient Broadcast Encryption with Personalized Messages.Go Ohtake, Goichiro Hanaoka, Kazuto Ogawa
351375 of 450← PreviousNext →

Comparable venues

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