Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/provsec

Publication years (Num. hits)
2007 (18) 2008 (26) 2009 (22) 2010 (19) 2011 (29) 2012 (22) 2013 (20) 2014 (27) 2015 (28) 2016 (24) 2017 (30) 2018 (26) 2019 (25) 2020 (21) 2021 (22) 2022 (20) 2023 (24)
Publication types (Num. hits)
inproceedings(386) proceedings(17)
Venues (Conferences, Journals, ...)
ProvSec(403)
Authors
Willy Susilo(21) Yi Mu 0001(17) Goichiro Hanaoka(11) Man Ho Au(11) Keisuke Tanaka(10) Joseph K. Liu(9) Kazuki Yoneyama(9) Zhenfeng Zhang(9) C. Pandu Rangan(8) Mingwu Zhang(8) Ratna Dutta(8) Qiong Huang 0001(7) S. Sharmila Deva Selvi(7) Serge Vaudenay(7) Fangguo Zhang(6) Guomin Yang(6) More (+10 of total 804)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 99 occurrences of 68 keywords
Results
Found 403 publication records. Showing 403 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Rafael Castro, Ricardo Dahab Two Notes on the Security of Certificateless Signatures. Search on Bibsonomy ProvSec The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Forking Lemma, Signature Schemes, Certificateless Public-Key Cryptography
1Yang Cui 0001, Eiichiro Fujisaki, Goichiro Hanaoka, Hideki Imai, Rui Zhang 0002 Formal Security Treatments for Signatures from Identity-Based Encryption. Search on Bibsonomy ProvSec The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Reynald Affeldt, Miki Tanaka, Nicolas Marti Formal Proof of Provable Security by Game-Playing in a Proof Assistant. Search on Bibsonomy ProvSec The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #403 of 403 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license