Author Info
Name
Affiliation
Papers
BÁRBARA VIEIRA
CCTC / Departamento de Informática, Universidade do Minho, Braga, Portugal 4710
6
Collaborators
Citations 
PageRank 
7
32
2.87
Referers 
Referees 
References 
91
186
121
Search Limit
100186
Title
Citations
PageRank
Year
CAOVerif: An open-source deductive verification platform for cryptographic software implementations.10.372014
A security protocol for information-centric networking in smart grids50.462013
Formal verification of side-channel countermeasures using self-composition110.622013
A Deductive Verification Platform for Cryptographic Software50.492010
Deductive verification of cryptographic software50.482010
Verifying Cryptographic Software Correctness with Respect to Reference Implementations50.462009