- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c6 |      | José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. ACM Conference on Computer and Communications Security 2012: 488-500 |
| i3 | | José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptology ePrint Archive 2012: 258 (2012) |
| 2010 | ||
| j4 | | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Deductive verification of cryptographic software. ISSE 6(3): 203-218 (2010) |
| c5 | | José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS 2010: 151-167 |
| c4 | | José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa: Partial Derivative Automata Formalized in Coq. CIAA 2010: 59-68 |
| i2 | | José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. IACR Cryptology ePrint Archive 2010: 339 (2010) |
| 2009 | ||
| c3 | | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52 |
| c2 |  | Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira: Deductive Verification of Cryptographic Software. NASA Formal Methods 2009: 146-155 |
| 2008 | ||
| j3 | | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: Token-passing Nets for Functional Languages. Electr. Notes Theor. Comput. Sci. 204: 181-198 (2008) |
| j2 | | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Tool for Programming with Interaction Nets. Electr. Notes Theor. Comput. Sci. 219: 83-96 (2008) |
| i1 | | |
| 2007 | ||
| j1 | | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. Electr. Notes Theor. Comput. Sci. 176(1): 139-163 (2007) |
| 2004 | ||
| c1 | | José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero: Bounded Version Vectors. DISC 2004: 102-116 |
Colors in the list of coauthors
Last update Mon May 20 15:45:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page