Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Federico Olmedo" ( http://dblp.L3S.de/Authors/Federico_Olmedo )

  Author page on DBLP  Author page in RDF  Community of Federico Olmedo in ASPL-2

Publication years (Num. hits)
2009 (1) 2011 (1) 2012 (2)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
IEEE Symposium on Security and...(1) POPL(1) POST(1) ProvSec(1)
Authors
Federico Olmedo(4) Gilles Barthe(4) Santiago Zanella Béguelin(4) Benjamin Grégoire(2) Boris Köpf(1) Sylvain Heraud(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin Verified Indifferentiable Hashing into Elliptic Curves. Search on Bibsonomy POST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin Probabilistic relational reasoning for differential privacy. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin Verifiable Security of Boneh-Franklin Identity-Based Encryption. Search on Bibsonomy ProvSec The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo Formally Certifying the Security of Digital Signature Schemes. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.