Browsing by author 1719

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 20 of 21.  next >
Issue DateTitleAuthor(s)TypeAccess
2004Bounded version vectorsAlmeida, José Bacelar; Almeida, Paulo Sérgio; Baquero, CarlosBook partOpen access
2014CAOVerif : an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.ArticleOpen access
2013Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Conference paperOpen access
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al.Conference paperOpen access
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArticleOpen access
May-2016Do consentimento para a utilização de testemunhos de conexão (cookies)Fontaínhas, Emília Golim; Andrade, Francisco Carneiro Pacheco; Almeida, José BacelarArticleOpen access
30-Oct-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Conference paperOpen access
2011Formal verification of side channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArticleOpen access
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArticleOpen access
28-May-2016Formalization of the pumping lemma for context-free languagesRamos, M. V. M.; Queiroz, R. J. G. B. de; Moreira, Nelma, et al.ArticleOpen access
2012Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsAlmeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al.Conference paperOpen access
30-Oct-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelConference paperOpen access
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArticleOpen access
2006A local graph-rewriting system for deciding equality in sum-product theoriesPinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, MiguelConference paperOpen access
2016On the formalization of some results of context-free language theoryMidena Ramos, Marcus Vinicius; de Queiroz, Ruy J. G. B.; Moreira, Nelma, et al.Conference paperOpen access
2011Partial derivative automata formalized in CoqAlmeida, José Bacelar; Moreira, Nelma; Pereira, David, et al.Conference paperOpen access
2008Token-passing nets for functional languagesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArticleOpen access
2008A tool for programming with interaction netsAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArticleOpen access
Jul-2016Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Conference paperOpen access
10-Aug-2016Verifying constant-time implementationsAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Conference paperOpen access