Bárbara Vieira
AuthID: R-001-QVJ
1
TÃTULO: Optimizing coastal protection: Nature-based engineering for longitudinal drift reversal and erosion reduction Full Text
AUTORES: Vieira, Barbara; Pinho, Jose; Barros, Joaquim; do Carmo, Jose Antunes;
PUBLICAÇÃO: 2024, FONTE: OCEAN & COASTAL MANAGEMENT, VOLUME: 256
AUTORES: Vieira, Barbara; Pinho, Jose; Barros, Joaquim; do Carmo, Jose Antunes;
PUBLICAÇÃO: 2024, FONTE: OCEAN & COASTAL MANAGEMENT, VOLUME: 256
2
TÃTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
3
TÃTULO: Formal verification of side-channel countermeasures using self-composition Full Text
AUTORES: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
AUTORES: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7
4
TÃTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
