Bárbara Vieira

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Formal Verification

Scripting Language

Security Architecture

Top Venues

Sci. Comput. Program.

Publications

Achilleas Xypolytos, Haiyun Xu, Bárbara Vieira, Amr M. T. Ali-Eldin
A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics. QRS Companion (2017)
Florian Heimgaertner, Michael Hoefling, Bárbara Vieira, Erik Poll, Michael Menth
A security architecture for the publish/subscribe C-DAX middleware. ICC Workshops (2015)
Fabian van den Broek, Erik Poll, Bárbara Vieira
Securing the Information Infrastructure for EV Charging. WISATS (2015)
Wei Koong Chai, Ning Wang, Konstantinos V. Katsaros, George Kamel, George Pavlou, Stijn Melis, Michael Hoefling, Bárbara Vieira, Paolo Romano, Styliani Sarri, Teklemariam Tsegay Tesfay, Binxu Yang, Florian Heimgaertner, Marco Pignati, Mario Paolone, Michael Menth, Erik Poll, Marcel Mampaey, Herman H. I. Bontius, Chris Develder
An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks. IEEE Trans. Smart Grid 6 (4) (2015)
Konstantinos V. Katsaros, Wei Koong Chai, Bárbara Vieira, George Pavlou
Supporting smart electric vehicle charging with information-centric networking. QSHINE (2014)
José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira
CAOVerif: An open-source deductive verification platform for cryptographic software implementations. Sci. Comput. Program. 91 (2014)
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
Formal verification of side-channel countermeasures using self-composition. Sci. Comput. Program. 78 (7) (2013)
Bárbara Vieira, Erik Poll
A security protocol for information-centric networking in smart grids. SEGS@CCS (2013)
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
Deductive verification of cryptographic software. Innov. Syst. Softw. Eng. 6 (3) (2010)
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira
A Deductive Verification Platform for Cryptographic Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira
Deductive Verification of Cryptographic Software. NASA Formal Methods (2009)
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS (2009)