Search results for "ProvSec"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shengli Liu 0001, Junzuo Lai, Robert H. Deng	General Construction of Chameleon All-But-One Trapdoor Functions.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura	Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Rafael Tonicelli, Bernardo Machado David, Vinícius de Morais Alves	Universally Composable Private Proximity Testing.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Mingwu Zhang, Takashi Nishide, Bo Yang 0003, Tsuyoshi Takagi	Anonymous Encryption with Partial-Order Subset Delegation Functionality.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Qianhong Wu, Bo Qin, Lei Zhang 0009, Josep Domingo-Ferrer	Fully Distributed Broadcast Encryption.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Liting Zhang, Wenling Wu, Peng Wang 0009	PolyE+CTR: A Swiss-Army-Knife Mode for Block Ciphers.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Jiaxin Pan, Libin Wang	TMQV: A Strongly eCK-Secure Diffie-Hellman Protocol without Gap Assumption.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Jens Groth	Optimal Structure-Preserving Signatures.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Kristian Gjøsteen, George Petrides, Asgeir Steine	A Novel Framework for Protocol Analysis.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Hai Huang	Strongly Secure One Round Authenticated Key Exchange Protocol with Perfect Forward Security.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Paolo Palmieri 0001, Olivier Pereira	Secure Two-Party Computation over a Z-Channel.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Kazuki Yoneyama, Yunlei Zhao	Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Fushan Wei, Chuangui Ma, Zhenfeng Zhang	Gateway-Oriented Password-Authenticated Key Exchange Protocol with Stronger Security.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Xianhui Lu, Bao Li 0001, Qixiang Mei, Haixia Xu 0002	Key-Dependent Message Security for Division Function: Discouraging Anonymous Credential Sharing.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Ning Ding 0001, Dawu Gu	Precise Time and Space Simulatable Zero-Knowledge.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin	Verifiable Security of Boneh-Franklin Identity-Based Encryption.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Cheng Chen, Zhenfeng Zhang, Dengguo Feng	Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Computation-Cost.	ProvSec	2011	DBLP DOI BibTeX RDF
1	Gilbert Baumslag, Nelly Fazio, Antonio Nicolosi, Vladimir Shpilrain, William E. Skeith III	Generalized Learning Problems and Applications to Non-commutative Cryptography. (Extended Abstract)	ProvSec	2011	DBLP DOI BibTeX RDF
1	Ryo Kikuchi, Le Trieu Phong, Wakaha Ogata	A Framework for Constructing Convertible Undeniable Signatures.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Patrick P. Tsang, Man Ho Au, Joseph K. Liu, Willy Susilo, Duncan S. Wong	A Suite of Non-pairing ID-Based Threshold Ring Signature Schemes with Different Levels of Anonymity (Extended Abstract).	ProvSec	2010	DBLP DOI BibTeX RDF
1	Javier Herranz, Alexandre Ruiz, Germán Sáez	Fully Secure Threshold Unsigncryption.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Thomas Baignères, Pouyan Sepehrdad, Serge Vaudenay	Distinguishing Distributions Using Chernoff Information.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Kun Peng, Feng Bao 0001	Formal and Precise Analysis of Soundness of Several Shuffling Schemes.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Pierre-Louis Cayrel, Richard Lindner, Markus Rückert, Rosemberg Silva	Improved Zero-Knowledge Identification with Lattices.	ProvSec	2010	DBLP DOI BibTeX RDF
1	S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan	Identity Based Public Verifiable Signcryption Scheme.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Laila El Aimani	Efficient Confirmer Signatures from the "Signature of a Commitment" Paradigm.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Hiroaki Anada, Seiko Arita	Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Shota Yamada 0001, Goichiro Hanaoka, Noboru Kunihiro	Toward an Easy-to-Understand Structure for Achieving Chosen Ciphertext Security from the Decisional Diffie-Hellman Assumption.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Ewan Fleischmann, Christian Forler, Michael Gorski, Stefan Lucks	Collision Resistant Double-Length Hashing.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Juraj Sarinay	Interpreting Hash Function Security Proofs.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Go Ohtake, Goichiro Hanaoka, Kazuto Ogawa	Efficient Broadcast Encryption with Personalized Messages.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Eike Kiltz	Cryptographic Protocols from Lattices.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Keita Emura, Atsuko Miyaji, Kazumasa Omote	An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company's Reputation.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Long Ngo, Colin Boyd, Juan Manuel González Nieto	Automating Computational Proofs for Public-Key-Based Key Exchange.	ProvSec	2010	DBLP DOI BibTeX RDF
1	David Nowak, Yu Zhang	A Calculus for Game-Based Security Proofs.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Keita Emura, Atsuko Miyaji, Kazumasa Omote	A Timed-Release Proxy Re-encryption Scheme and Its Application to Fairly-Opened Multicast Communication.	ProvSec	2010	DBLP DOI BibTeX RDF
1	Swee-Huay Heng, Kaoru Kurosawa (eds.)	Provable Security - 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings	ProvSec	2010	DBLP DOI BibTeX RDF
1	Keita Xagawa, Keisuke Tanaka	Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge.	ProvSec	2009	DBLP DOI BibTeX RDF	proof of plaintext knowledge, identification, code, zero knowledge, proof of knowledge, NTRU, lattice-based cryptography
1	E. Dongna, Qingfeng Cheng, Chuangui Ma	Password Authenticated Key Exchange Based on RSA in the Three-Party Settings.	ProvSec	2009	DBLP DOI BibTeX RDF	e-Residue Attack, RSA, Password Authenticated Key Exchange
1	Sven Schäge	Twin Signature Schemes, Revisited.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Muxin Zhou, Zhenfu Cao	Spatial Encryption under Simpler Assumption.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Liming Fang 0001, Willy Susilo, Jiandong Wang	Anonymous Conditional Proxy Re-encryption without Random Oracle.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Bogdan Warinschi	Symbolic Methods for Provable Security.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Lei Zhang 0009, Qianhong Wu, Bo Qin	Identity-Based Verifiably Encrypted Signatures without Random Oracles.	ProvSec	2009	DBLP DOI BibTeX RDF	Provable Security, Fair Exchange, Identity-Based Cryptography, Verifiably Encrypted Signature
1	Fuchun Guo, Yi Mu 0001, Willy Susilo	How to Prove Security of a Signature with a Tighter Security Reduction.	ProvSec	2009	DBLP DOI BibTeX RDF	Signature, Security Proof, Chameleon Hash
1	Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka	Efficient Non-interactive Universally Composable String-Commitment Schemes.	ProvSec	2009	DBLP DOI BibTeX RDF	non-interactive string commitment, all-but-one trapdoor functions, homomorphism, universal composability
1	Benoît Chevallier-Mames, Marc Joye	Chosen-Ciphertext Secure RSA-Type Cryptosystems.	ProvSec	2009	DBLP DOI BibTeX RDF	RSA-based encryption schemes, instance-independence assumptions, one-time mappable chameleon hashing, standard model, public-key encryption, Chosen-ciphertext security
1	Eiichiro Fujisaki, Ryo Nishimaki, Keisuke Tanaka	On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Josef Pieprzyk, Fangguo Zhang (eds.)	Provable Security, Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings	ProvSec	2009	DBLP DOI BibTeX RDF
1	Hua Guo, Yi Mu 0001, Xiyong Zhang, Zhoujun Li 0001	Server-Controlled Identity-Based Authenticated Key Exchange.	ProvSec	2009	DBLP DOI BibTeX RDF	Provable Security, Key Exchange, Identity-based Cryptography
1	Yuan Tian 0036, Hao Zhang	GUC-Secure Set-Intersection Computation.	ProvSec	2009	DBLP DOI BibTeX RDF	Secure Set-Intersection Computation, Anonymous Identity-based Encryption, Generalized Universally Composable Security, Secure Multiparty Computation
1	Alexander W. Dent	A Brief History of Security Models for Confidentiality.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Vishal Saraswat, Aaram Yun	Anonymous Signatures Revisited.	ProvSec	2009	DBLP DOI BibTeX RDF	anonymous signature, unpreten- dability, anonymity, signature
1	Yanjiang Yang, Yingjiu Li, Jian Weng 0001, Jianying Zhou 0001, Feng Bao 0001	Self-enforcing Private Inference Control.	ProvSec	2009	DBLP DOI BibTeX RDF	self-enforcing, database, Inference control
1	Berkant Ustaoglu	Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols.	ProvSec	2009	DBLP DOI BibTeX RDF	leaking ephemeral secrets, postponed ephemeral key derivation, pseudo-static keys, Key agreement protocols
1	Daisuke Moriyama, Tatsuaki Okamoto	An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Ahto Buldas, Sven Laur, Margus Niitsoo	Oracle Separation in the Non-uniform Model.	ProvSec	2009	DBLP DOI BibTeX RDF
1	S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan	Breaking and Fixing of an Identity Based Multi-Signcryption Scheme.	ProvSec	2009	DBLP DOI BibTeX RDF	Multi-Signcryption, Cryptanalysis, Provable Security, Bilinear Pairing, Signcryption, Random Oracle Model, Identity Based Cryptography
1	Man Ho Au, Willy Susilo, Yi Mu 0001	Is the Notion of Divisible On-Line/Off-Line Signatures Stronger than On-Line/Off-Line Signatures?	ProvSec	2009	DBLP DOI BibTeX RDF	on-line/off-line signatures, divisible on-line/off-line signatures, OS-EU-CMA, DOS-EU-CMA
1	Zhengqin Luo	Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	Relationship of Three Cryptographic Channels in the UC Framework.	ProvSec	2008	DBLP DOI BibTeX RDF	Secure Channel (SC), Two-Anonymous Channel (2AC), Direction-Indeterminable Channel (DIC), Universal Composability (UC), Probabilistic Input/Output Automaton (PIOA)
1	Liqun Chen 0002, Paul Morrissey, Nigel P. Smart	On Proofs of Security for DAA Schemes.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Zhenchao Zhu, Yuqing Zhang, Fengjiao Wang	The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version.	ProvSec	2008	DBLP DOI BibTeX RDF	provably secure, signcryption, Identity based cryptography
1	Wei Du, Mingxing He	Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks.	ProvSec	2008	DBLP DOI BibTeX RDF	security, Key distribution, self-healing, WSNs, collusion attack
1	Fuchun Guo, Yi Mu 0001	Optimal Online/Offline Signature: How to Sign a Message without Online Computation.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Sherman S. M. Chow, Siu-Ming Yiu	Timed-Release Encryption Revisited.	ProvSec	2008	DBLP DOI BibTeX RDF	release-time confidentiality, Timed-release encryption
1	Huawei Huang, Bo Yang 0003, Shenglin Zhu, Guozhen Xiao	Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem.	ProvSec	2008	DBLP DOI BibTeX RDF	matrix semigroup action, DDH problem, public key cryptosystem, semantically secure
1	Huafei Zhu	Round Optimal Universally Composable Oblivious Transfer Protocols.	ProvSec	2008	DBLP DOI BibTeX RDF	Double trap-door cryptosystems, simulator, oblivious transfer, universally composable
1	Jia Yu 0003, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li	Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005.	ProvSec	2008	DBLP DOI BibTeX RDF	digital signature, provable security, forward security, key exposure
1	Zhenhua Liu 0001, Yupu Hu, Hua Ma	Secure Proxy Multi-signature Scheme in the Standard Model.	ProvSec	2008	DBLP DOI BibTeX RDF	proxy multi-signature, provable security, bilinear pairings, standard model
1	S. Sharmila Deva Selvi, S. Sree Vivek, Deepanshu Shukla, C. Pandu Rangan	Efficient and Provably Secure Certificateless Multi-receiver Signcryption.	ProvSec	2008	DBLP DOI BibTeX RDF	Multi-receiver, Bilinear Pairing, Signcryption, Certificateless
1	Atsushi Mitsuda, Tetsu Iwata	Tweakable Pseudorandom Permutation from Generalized Feistel Structure.	ProvSec	2008	DBLP DOI BibTeX RDF	Luby-Rackoff theory, generalized Feistel structure, security proofs, tweakable blockcipher
1	Joonsang Baek, Feng Bao 0001, Kefei Chen, Xuejia Lai (eds.)	Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings	ProvSec	2008	DBLP DOI BibTeX RDF
1	Wei Wu 0001, Yi Mu 0001, Willy Susilo, Xinyi Huang 0001	Server-Aided Verification Signatures: Definitions and New Constructions.	ProvSec	2008	DBLP DOI BibTeX RDF	Server-aided computation, server-aided verification, BLS, ZSS, untrusted server, random oracle
1	Wei Han, Tao Hao, Dong Zheng 0001, Kefei Chen, Xiaofeng Chen 0001	A Tamper-Evident Voting Machine Resistant to Covert Channels.	ProvSec	2008	DBLP DOI BibTeX RDF	tamper-evident, receipt-free, electronic voting, covert channel
1	Tibor Jager, Jörg Schwenk	On the Equivalence of Generic Group Models.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Emmanuel Bresson, Benoît Chevallier-Mames, Christophe Clavier, Aline Gouget, Pascal Paillier, Thomas Peyrin	How to Use Merkle-Damgård - On the Security Relations between Signature Schemes and Their Inner Hash Functions.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Jia Yu 0003, Fanyu Kong, Xiangguo Cheng, Rong Hao, Guowen Li	Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps.	ProvSec	2008	DBLP DOI BibTeX RDF	digital signature, forward security, bilinear maps, computation Diffie-Hellman problem
1	Sebastian Gajek	A Universally Composable Framework for the Analysis of Browser-Based Security Protocols.	ProvSec	2008	DBLP DOI BibTeX RDF	browser-based protocols, security model, Universal Composability
1	Kristian Gjøsteen, Lillian Kråkmo	Round-Optimal Blind Signatures from Waters Signatures.	ProvSec	2008	DBLP DOI BibTeX RDF	Waters signatures, Blind signatures
1	Peeter Laud, Long Ngo	Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta	Leaky Random Oracle (Extended Abstract).	ProvSec	2008	DBLP DOI BibTeX RDF	hash list, provable security, leakage, standard model, random oracle model
1	Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk	Universally Composable Security Analysis of TLS.	ProvSec	2008	DBLP DOI BibTeX RDF	TLS/SSL, secure sessions, key exchange, Universal Composability
1	Yvo Desmedt, Duong Hieu Phan	A CCA Secure Hybrid Damgård's ElGamal Encryption.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Ahto Buldas, Margus Niitsoo	Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Raphael C.-W. Phan, Kim-Kwang Raymond Choo, Swee-Huay Heng	Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication.	ProvSec	2007	DBLP DOI BibTeX RDF	mutual athentication, leakage-resilient, Key establishment
1	Sébastien Canard, Iwen Coisel, Jacques Traoré	Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use.	ProvSec	2007	DBLP DOI BibTeX RDF
1	Ermaliza Razali, Raphael C.-W. Phan, Marc Joye	On the Notions of PRP - RKA , KR and KR - RKA for Block Ciphers.	ProvSec	2007	DBLP DOI BibTeX RDF	pseudorandom permutation (PRP), key recovery (KR), related key attacks (RKA), block cipher, Provable security
1	Jin Li 0002, Tsz Hon Yuen, Kwangjo Kim	Practical Threshold Signatures Without Random Oracles.	ProvSec	2007	DBLP DOI BibTeX RDF	CDH problem, Threshold Signature, Bilinear groups
1	Vanesa Daza, Javier Herranz, Paz Morillo, Carla Ràfols	CCA2-Secure Threshold Broadcast Encryption with Shorter Ciphertexts.	ProvSec	2007	DBLP DOI BibTeX RDF
1	Wei Li 0013, Dawu Gu	An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security.	ProvSec	2007	DBLP DOI BibTeX RDF
1	Willy Susilo, Joseph K. Liu, Yi Mu 0001 (eds.)	Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings	ProvSec	2007	DBLP DOI BibTeX RDF
1	Ahto Buldas, Aivo Jürgenson	Does Secure Time-Stamping Imply Collision-Free Hash Functions?	ProvSec	2007	DBLP DOI BibTeX RDF
1	Thomas Fuhr 0001, Pascal Paillier	Decryptable Searchable Encryption.	ProvSec	2007	DBLP DOI BibTeX RDF
1	Palash Sarkar 0001, Sanjit Chatterjee	Construction of a Hybrid HIBE Protocol Secure Against Adaptive Attacks.	ProvSec	2007	DBLP DOI BibTeX RDF
1	Lei Zhang 0009, Futai Zhang, Wei Wu 0001	A Provably Secure Ring Signature Scheme in Certificateless Cryptography.	ProvSec	2007	DBLP DOI BibTeX RDF	Provable Security, Random Oracle model, Ring Signature, Certificateless Cryptography
1	Takahiro Matsuda 0002, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai	A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function.	ProvSec	2007	DBLP DOI BibTeX RDF	target collision resistant hash function, digital signature, standard model, strong unforgeability
1	Jin Li 0002, Kwangjo Kim, Fangguo Zhang, Xiaofeng Chen 0001	Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature.	ProvSec	2007	DBLP DOI BibTeX RDF	Bilinear pairings, Proxy signature, Random oracle, Aggregate signature
1	Brian A. LaMacchia, Kristin E. Lauter, Anton Mityagin	Stronger Security of Authenticated Key Exchange.	ProvSec	2007	DBLP DOI BibTeX RDF
1	Christophe Tartary, Huaxiong Wang, Josef Pieprzyk	An Hybrid Approach for Efficient Multicast Stream Authentication over Unsecured Channels.	ProvSec	2007	DBLP DOI BibTeX RDF	Unsecured Channel, Erasure Code, Stream Authentication, Merkle Hash Tree, Polynomial Reconstruction

Publications at "ProvSec"( http://dblp.L3S.de/Venues/ProvSec )