|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 20 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manuel Barbosa, Pooya Farshim |
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation.  |
CT-RSA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren |
Practical Realisation and Elimination of an ECC-Related Software Bug Attack. |
CT-RSA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren |
Practical realisation and elimination of an ECC-related software bug attack. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva |
Type Checking Cryptography Implementations. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira |
A Deductive Verification Platform for Cryptographic Software. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira |
Deductive verification of cryptographic software. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003 |
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles. |
ACISP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Strong Knowledge Extractors for Public-Key Encryption Schemes. |
ACISP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003 |
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Andrew Moss, Dan Page |
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography. |
J. Cryptology |
2009 |
DBLP DOI BibTeX RDF |
Compilers, Optimisation, Implementation, Elliptic curve cryptography (ECC), Specialisation |
| 1 | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira |
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. |
AFRICACRYPT |
2009 |
DBLP DOI BibTeX RDF |
Key Agreement, Timestamp, Entity Authentication |
| 1 | Manuel Barbosa, Pooya Farshim |
Certificateless Signcryption. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa |
Secure Biometric Authentication With Improved Accuracy. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa |
Secure Biometric Authentication with Improved Accuracy. |
ACISP |
2008 |
DBLP DOI BibTeX RDF |
Secure Biometric Authentication, Cryptography, Classifier |
| 1 | Manuel Barbosa, Pooya Farshim |
Certificateless signcryption. |
ASIACCS |
2008 |
DBLP DOI BibTeX RDF |
insider security, signcryption, certificateless |
| 1 | Manuel Barbosa, Andrew Moss, Dan Page |
Compiler Assisted Elliptic Curve Cryptography. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Andrew Moss, Dan Page |
Compiler Assisted Elliptic Curve Cryptography. |
OTM Conferences |
2007 |
DBLP DOI BibTeX RDF |
Compilers, Optimisation, Implementation, Elliptic Curve Cryptography (ECC), Specialisation |
| 1 | Manuel Barbosa, Pooya Farshim |
Randomness Reuse: Extensions and Improvements. |
IMA Int. Conf. |
2007 |
DBLP DOI BibTeX RDF |
Randomness Reuse, Multi-Recipient, Hybrid Encryption |
| 1 | Manuel Barbosa, Pooya Farshim |
Secure Cryptographic Workflow in the Standard Model. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Secure Cryptographic Workflow in the Standard Model. |
INDOCRYPT |
2006 |
DBLP DOI BibTeX RDF |
Cryptographic Workflow, Key Encapsulation, Secret Sharing, Identity-Based Encryption |
| 1 | Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto |
Recursion patterns and time-analysis. |
SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Efficient Identity-Based Key Encapsulation to Multiple Parties. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart |
First Steps Toward a Cryptography-Aware Language and Compiler. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Dan Page |
On the Automatic Construction of Indistinguishable Operations. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuel Barbosa, Pooya Farshim |
Efficient Identity-Based Key Encapsulation to Multiple Parties. |
IMA Int. Conf. |
2005 |
DBLP DOI BibTeX RDF |
Key Encapsulation Mechanism (KEM), Provable Security, Identity Based Cryptography, Hybrid Encryption |
| 1 | Manuel Barbosa, Dan Page |
On the Automatic Construction of Indistinguishable Operations. |
IMA Int. Conf. |
2005 |
DBLP DOI BibTeX RDF |
Indistinguishable Operations, Countermeasures, Simple Power Analysis, Side-channel Cryptanalysis |
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")