Bárbara Vieira

According to our database1, Bárbara Vieira authored at least 11 papers between 2009 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2015
An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks.
IEEE Trans. Smart Grid, 2015

Securing the Information Infrastructure for EV Charging.
Proceedings of the Wireless and Satellite Systems, 2015

A security architecture for the publish/subscribe C-DAX middleware.
Proceedings of the IEEE International Conference on Communication, 2015

2014
CAOVerif: An open-source deductive verification platform for cryptographic software implementations.
Sci. Comput. Program., 2014

Supporting smart electric vehicle charging with information-centric networking.
Proceedings of the 10th International Conference on Heterogeneous Networking for Quality, 2014

2013
Formal verification of side-channel countermeasures using self-composition.
Sci. Comput. Program., 2013

A security protocol for information-centric networking in smart grids.
Proceedings of the SEGS'13, 2013

2010
Deductive verification of cryptographic software.
Innov. Syst. Softw. Eng., 2010

A Deductive Verification Platform for Cryptographic Software.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009


  Loading...