Research Projects
| 2014 | ID-EDU |
| Description: The project aims to specify an academic id card to all brazilian univesities that is based on the ICAO 9303 document standard. This project also aims to materialise the federated enviroment credential enabling the use of biometric authentication. Funding: RNP |
| 2013 | ICAO 9303 Registration Authority |
| Description: The project implemented a registration authority to the Brazlian Academic PKI that automatically extract data and issues digital certificates based on ICAO 9303 documents (passports) .Funding: RNP |
| 2012 – 2013 | Bry Cloud |
| Description: The project aims to implement a cloud storage scheme for private keys running under an autorisation framework based on mobile devices. The goal is to provide digital signatures valid under the Brazilian standard on the cloud .Funding: FINEP/BRY |
| 2011 – 2013 | Mobile Identification Certificate for secure access to telemedicine a environments |
| Description: The project aims to implement computational schemes and multiple access control mechanisms which can provide certainty in authentication transactions and access control for health professionals. The protocols and software developed must be run from mobile devices which are present in the daily life of such professionals .Funding: FINEP |
| 2010 – 2011 | Multifactor Authentication in Computer Systems |
| Description: This project aims to specify, analyze and implement a protocol to perform authentication using digital certificates and, optionally, biometric fingerprints on a distributed computer systems.Funding: Softplan |
| 2006 – 2011 | Verifying Multicast Based Security Protocols |
| Description: We developed a new set of theories capable of representing all the known message casting frameworks. Our theories enable the Inductive Method to rea- son about a whole new set of protocols. We also speci ed a basic abstraction of threshold cryptography as a way of proving the extensibility of the method regarding new cryptographic primitives. We shown the feasibility of our speci- cations by revisiting a classic protocol, now veri ed under our framework. A secrecy veri cation under a mixed environment of Multicast and Unicast was also done.Funding: CAPES |
| 2004 – 2006 | ICP EDU – II |
| Description: The GT ICP-EDU aims to develop a public key infrastructure for Brazilian universities. Among the products of this project is a system for managing the lifecycle of digital certificates and a cryptographic platform for the management of cryptographic keys .Funding: RNP |
| 2003 – 2004 | ICP-EDU I |
| Description: The GT ICP-EDU aims to develop a public key infrastructure for Brazilian universities. Among the products of this project is a system for managing the lifecycle of digital certificates.Funding: RNP |