Bárbara Vieira

13 papers C 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — conf
A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics.
QRS Companion
Achilleas Xypolytos, Haiyun Xu, Bárbara Vieira, Amr M. T. Ali-Eldin
2015 — conf
A security architecture for the publish/subscribe C-DAX middleware.
ICC Workshops
Florian Heimgaertner, Michael Hoefling, Bárbara Vieira, Erik Poll, Michael Menth
2015 J jnl
An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks.
IEEE Trans. Smart Grid
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
2015 — conf
Securing the Information Infrastructure for EV Charging.
WISATS
Fabian van den Broek, Erik Poll, Bárbara Vieira
2014 J jnl
CAOVerif: An open-source deductive verification platform for cryptographic software implementations.
Sci. Comput. Program.
José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira
2014 C conf
Supporting smart electric vehicle charging with information-centric networking.
QSHINE
Konstantinos V. Katsaros, Wei Koong Chai, Bárbara Vieira, George Pavlou
2013 — conf
A security protocol for information-centric networking in smart grids.
SEGS@CCS
Bárbara Vieira, Erik Poll
2013 J jnl
Formal verification of side-channel countermeasures using self-composition.
Sci. Comput. Program.
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
2012 — —
Formal verification of cryptographic software implementations
Bárbara Vieira
2010 J jnl
A Deductive Verification Platform for Cryptographic Software.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira
2010 J jnl
Deductive verification of cryptographic software.
Innov. Syst. Softw. Eng.
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
2009 — conf
Deductive Verification of Cryptographic Software.
NASA Formal Methods
Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira
2009 C conf
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
FMICS
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira