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
2009How to Prove Security of a Signature with a Tighter Security Reduction.Fuchun Guo, Yi Mu, Willy Susilo
2009On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions.Eiichiro Fujisaki, Ryo Nishimaki, Keisuke Tanaka
2009Anonymous Conditional Proxy Re-encryption without Random Oracle.Liming Fang, Willy Susilo, Jiandong Wang
2009Password Authenticated Key Exchange Based on RSA in the Three-Party Settings.E. Dongna, Qingfeng Cheng, Chuangui Ma
2009A Brief History of Security Models for Confidentiality.Alexander W. Dent
2009Chosen-Ciphertext Secure RSA-Type Cryptosystems.Benot Chevallier-Mames, Marc Joye
2009Oracle Separation in the Non-uniform Model.Ahto Buldas, Sven Laur, Margus Niitsoo
2009Is the Notion of Divisible On-Line/Off-Line Signatures Stronger than On-Line/Off-Line Signatures?Man Ho Au, Willy Susilo, Yi Mu
2008The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version.Zhenchao Zhu, Yuqing Zhang, Fengjiao Wang
2008Round Optimal Universally Composable Oblivious Transfer Protocols.Huafei Zhu
2008Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005.Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li
2008Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps.Jia Yu, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li
2008Leaky Random Oracle (Extended Abstract).Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta
2008Server-Aided Verification Signatures: Definitions and New Constructions.Wei Wu, Yi Mu, Willy Susilo, Xinyi Huang
2008Efficient and Provably Secure Certificateless Multi-receiver Signcryption.S. Sharmila Deva Selvi, S. Sree Vivek, Deepanshu Shukla, C. Pandu Rangan
2008Relationship of Three Cryptographic Channels in the UC Framework.Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
2008Tweakable Pseudorandom Permutation from Generalized Feistel Structure.Atsushi Mitsuda, Tetsu Iwata
2008Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.Zhengqin Luo
2008Secure Proxy Multi-signature Scheme in the Standard Model.Zhenhua Liu, Yupu Hu, Hua Ma
2008Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.Peeter Laud, Long Ngo
2008On the Equivalence of Generic Group Models.Tibor Jager, Jrg Schwenk
2008Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem.Huawei Huang, Bo Yang, Shenglin Zhu, Guozhen Xiao
2008A Tamper-Evident Voting Machine Resistant to Covert Channels.Wei Han, Tao Hao, Dong Zheng, Kefei Chen, Xiaofeng Chen
2008Optimal Online/Offline Signature: How to Sign a Message without Online Computation.Fuchun Guo, Yi Mu
2008Round-Optimal Blind Signatures from Waters Signatures.Kristian Gjsteen, Lillian Krkmo
401425 of 450← PreviousNext →

Comparable venues

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