Verifying Cryptographic Software Correctness with Respect to Reference Implementations. - José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira (FMICS, 2009)

A Deductive Verification Platform for Cryptographic Software. - Manuel Barbosa; Jorge Sousa Pinto; Jean-Christophe Filliâtre; Bárbara Vieira (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Deductive verification of cryptographic software. - José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira (Innov. Syst. Softw. Eng., 2010)

Formal verification of cryptographic software implementations - Bárbara Vieira (2012)

A security protocol for information-centric networking in smart grids. - Bárbara Vieira; Erik Poll (SEGS@CCS, 2013)

Formal verification of side-channel countermeasures using self-composition. - José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira (Sci. Comput. Program., 2013)

Supporting smart electric vehicle charging with information-centric networking. - Konstantinos V. Katsaros; Wei Koong Chai; Bárbara Vieira; George Pavlou (QSHINE, 2014)

CAOVerif: An open-source deductive verification platform for cryptographic software implementations. - José Bacelar Almeida; Manuel Barbosa; Jean-Christophe Filliâtre; Jorge Sousa Pinto; Bárbara Vieira (Sci. Comput. Program., 2014)

A security architecture for the publish/subscribe C-DAX middleware. - Florian Heimgaertner; Michael Hoefling; Bárbara Vieira; Erik Poll; Michael Menth (ICC Workshops, 2015)

Securing the Information Infrastructure for EV Charging. - Fabian van den Broek; Erik Poll; Bárbara Vieira (WISATS, 2015)

An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks. - Wei Koong Chai; Ning Wang 001; Konstantinos V. Katsaros; George Kamel; George Pavlou; Stijn Melis; Michael Hoefling; Bárbara Vieira; Paolo Romano 001; Styliani Sarri; Teklemariam Tsegay Tesfay; Binxu Yang; et al. (IEEE Trans. Smart Grid, 2015)

A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics. - Achilleas Xypolytos; Haiyun Xu; Bárbara Vieira; Amr M. T. Ali-Eldin (QRS Companion, 2017)