Author Search Results

1

Formal verification of side-channel countermeasures using self-composition

by Almeida, José Bacelar

Published 2013

Access document

Article

2

Formal verification of side channel countermeasures using self-composition

by Almeida, José Bacelar

Published 2011

Access document

Article

3

A tool for programming with interaction nets

by Almeida, José Bacelar

Published 2008

Access document

Article

4

Deductive verification of cryptographic software

by Almeida, José Bacelar

Published 2010

Access document

Article

5

A local graph-rewriting system for deciding equality in sum-product theories

by Almeida, José Bacelar

Published 2007

Access document

Article

6

Token-passing nets for functional languages

by Almeida, José Bacelar

Published 2008

Access document

Article

7

CAOVerif: an open-source deductive verification platform for cryptographic software implementations

by Almeida, José Bacelar

Published 2014

Access document

Article

8

Do consentimento para a utilização de testemunhos de conexão (cookies)

by Fontaínhas, Emília Golim

Published 2016

Other Authors: “...Almeida, José Bacelar...”
Access document

Article

9

Some applications of the formalization of the pumping lemma for context-free languages

by Ramos, Marcus V. M.

Published 2019

Other Authors: “...Almeida, José Bacelar...”
Access document

Article

10

Formalization of the pumping lemma for context-free languages

by Ramos, M. V. M.

Published 2016

Other Authors: “...Almeida, José Bacelar...”
Access document

Article