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
2014Password-Based Authenticated Key Exchange: An Overview.Michel Abdalla
2013Towards Anonymous Ciphertext Indistinguishability with Identity Leakage.Tsz Hon Yuen, Cong Zhang, Sherman S. M. Chow, Joseph K. Liu
2013Efficient, Pairing-Free, Authenticated Identity Based Key Agreement in a Single Round.S. Sree Vivek, S. Sharmila Deva Selvi, Layamrudhaa Renganathan Venkatesan, C. Pandu Rangan
2013On Modeling Terrorist Frauds - Addressing Collusion in Distance Bounding Protocols.Serge Vaudenay
2013Computationally Efficient Dual-Policy Attribute Based Encryption with Short Ciphertext.Y. Sreenivasa Rao, Ratna Dutta
2013Improved Authenticity Bound of EAX, and Refinements.Kazuhiko Minematsu, Stefan Lucks, Tetsu Iwata
2013A Short Universal Hash Function from Bit Rotation, and Applications to Blockcipher Modes.Kazuhiko Minematsu
2013How to Remove the Exponent GCD in HK09.Xianhui Lu, Bao Li, Yamin Liu
2013k-time Proxy Signature: Formal Definition and Efficient Construction.Weiwei Liu, Guomin Yang, Yi Mu, Jiannan Wei
2013Translation-Randomizable Distributions via Random Walks.Nirattaya Khamsemanan, William E. Skeith III
2013RKA Secure PKE Based on the DDH and HR Assumptions.Dingding Jia, Xianhui Lu, Bao Li, Qixiang Mei
2013Factoring-Based Proxy Re-Encryption Schemes.Toshiyuki Isshiki, Manh Ha Nguyen, Keisuke Tanaka
2013Authenticated Key Exchange Protocols Based on Factoring Assumption.Hai Huang
2013Towards a Secure Certificateless Proxy Re-Encryption Scheme.Hui Guo, Zhenfeng Zhang, Jiang Zhang, Cheng Chen
2013CIL Security Proof for a Password-Based Key Exchange.Cristian Ene, Clmentine Gritti, Yassine Lakhnech
2013Indistinguishability against Chosen Ciphertext Verification Attack Revisited: The Complete Picture.Angsuman Das, Sabyasachi Dutta, Avishek Adhikari
2013Anonymous Signcryption against Linear Related-Key Attacks.Hui Cui, Yi Mu, Man Ho Au
2013Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges.Ioana Boureanu, Serge Vaudenay
2013The Security of the OCB Mode of Operation without the SPRP Assumption.Kazumaro Aoki, Kan Yasuda
2013Non Observability in the Random Oracle Model.Prabhanjan Ananth, Raghav Bhaskar
2012Codes Based Tracing and Revoking Scheme with Constant Ciphertext.Xingwen Zhao, Hui Li
2012Efficient Escrow-Free Identity-Based Signature.Yunmei Zhang, Joseph K. Liu, Xinyi Huang, Man Ho Au, Willy Susilo
2012Efficient and Random Oracle-Free Conditionally Anonymous Ring Signature.Shengke Zeng, Zhiguang Qin, Qing Lu, Qinyi Li
2012Symmetric Inner-Product Predicate Encryption Based on Three Groups.Masayuki Yoshino, Noboru Kunihiro, Ken Naganuma, Hisayoshi Sato
2012LR-UESDE: A Continual-Leakage Resilient Encryption with Unbounded Extensible Set Delegation.Bo Yang, Mingwu Zhang
301325 of 450← PreviousNext →

Comparable venues

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