|
Universidade do Minho >
Browsing by author Barbosa, Manuel Bernardo
Showing results 1 to 20 of 23.
| Issue Date | Title | Author(s) | Type | | 2008 | Certificateless sIgncryption | Barbosa, Manuel Bernardo; Farshim, P. | article |
| 18-May-2012 | A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols | Almeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel Bernardo, et al. | article |
| 2007 | Compiler assisted elliptic curve cryptography | Barbosa, Manuel Bernardo; Moss, Andrew; Page, D. | article |
| 2009 | Constructive and destructive use of compilers in elliptic curve cryptography | Barbosa, Manuel Bernardo; Moss, Andrew; Page, Dan | article |
| 2010 | Deductive verification of cryptographic software | Almeida, José Bacelar; Barbosa, Manuel Bernardo; Pinto, Jorge Sousa, et al. | article |
| 2010 | A deductive verification platform for cryptographic software | Barbosa, Manuel Bernardo; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa, et al. | article |
| 2012 | Delegatable homomorphic encryption with applications to secure outsourcing of computation | Barbosa, Manuel Bernardo; Farshim, P. | preprint |
| 2005 | Efficient identity-based key encapsulation to multiple parties | Barbosa, Manuel Bernardo; Farshim, P. | conferenceObject |
| 2011 | Formal verification of side channel countermeasures using self-composition | Almeida, José Bacelar; Barbosa, Manuel Bernardo; Pinto, Jorge Sousa, et al. | article |
| 30-Jun-2005 | Identity based cryptography from bilinear pairings | Barbosa, Manuel Bernardo | report |
| 2004 | A model-based approach to the development of distributed control systems | Barbosa, Manuel Bernardo; Fernandes, João M. | conferenceObject |
| 2005 | On the automatic construction of indistinguishable operations | Barbosa, Manuel Bernardo; Page, D. | conferenceObject |
| 2013 | On the semantic security of functional encryption schemes | Barbosa, Manuel Bernardo; Farshim, Pooya | conferenceObject |
| 2012 | Practical realisation and elimination of an ECC-related software bug attack | Brumley, B. B.; Barbosa, Manuel Bernardo; Page, D., et al. | preprint |
| 2007 | Randomness reuse : extensions and improvements | Barbosa, Manuel Bernardo; Farshim, P. | article |
| May-2005 | Recursion patterns and time-analysis | Barbosa, Manuel Bernardo; Cunha, Alcino; Pinto, Jorge Sousa | article |
| 2010 | Relations among notions of complete non-malleability : indistinguishability characterisation and efficient construction without random oracles | Barbosa, Manuel Bernardo; Farshim, P. | article |
| 2008 | Secure biometric authentication with improved accuracy | Barbosa, Manuel Bernardo; Sousa, Simão Melo de; Brouard, Thierri, et al. | article |
| 2006 | Secure cryptographic workflow in the standard model | Barbosa, Manuel Bernardo; Farshim, P. | conferenceObject |
| 2009 | Security analysis of standard authentication and key agreement protocols utilising timestamps | Barbosa, Manuel Bernardo; Farshim, P. | article |
Showing results 1 to 20 of 23.
|
