Barbara Vieira
Barbara Vieira
Unknown affiliation
Verified email at - Homepage
Cited by
Cited by
An information-centric communication infrastructure for real-time state estimation of active distribution networks
WK Chai, N Wang, KV Katsaros, G Kamel, G Pavlou, S Melis, M Hoefling, ...
IEEE Transactions on Smart Grid 6 (4), 2134-2146, 2015
Formal verification of side-channel countermeasures using self-composition
JB Almeida, M Barbosa, JS Pinto, B Vieira
Science of Computer Programming 78 (7), 796-812, 2013
A security protocol for Information-Centric Networking in smart grids
B Vieira, E Poll
SEGS 2013: Smart Energy Grid Security Workshop, 2013
Deductive verification of cryptographic software
JB Almeida, M Barbosa, JS Pinto, B Vieira
Innovations in Systems and Software Engineering 6 (3), 203-218, 2010
A security architecture for the publish/subscribe C-DAX middleware
F Heimgaertner, M Hoefling, B Vieira, E Poll, M Menth
2015 IEEE International Conference on Communication Workshop (ICCW), 2616-2621, 2015
Verifying cryptographic software correctness with respect to reference implementations
JB Almeida, M Barbosa, J Sousa Pinto, B Vieira
International Workshop on Formal Methods for Industrial Critical Systems, 37-52, 2009
Securing the information infrastructure for EV charging
F Broek, E Poll, B Vieira
International Conference on Wireless and Satellite Systems, 61-74, 2015
Supporting smart electric vehicle charging with information-centric networking
GP Konstantinos V. Katsaros, Wei Koong Chai, Barbara Vieira
QSHINE 2014, 2014
A deductive verification platform for cryptographic software
M Barbosa, JS Pinto, JC Filliātre, BIS Vieira
European Association of Software Science and Technology (EASST), 2010
CAOVerif: An open-source deductive verification platform for cryptographic software implementations
JB Almeida, M Barbosa, JC Filliātre, JS Pinto, B Vieira
Science of Computer Programming 91, 216-233, 2014
An end-to-end security design for smart ev-charging for enexis and elaadnl
M van Eekelen, E Poll, E Hubbers, B Vieira, F van den Broek
ElaadNL: Arnhem, The Netherlands, 2014
Formal verification of cryptographic software implementations
BIS Vieira
Improving smart grid security using smart cards
M Baeten, E Poll, B Vieira
Master’s thesis, Radboud University Nijmegen, Faculty of Computer Science, 2014
Formal Verification of Security Policies of Crypto-graphic Software
B Vieira
2010-09-03). http://www3. dsi. uminho. pt/seeum2010/CD/abstracts/2165-4. pdf, 2010
Securing the Information Infrastructure for EV Charging
F den Broek, E Poll, B Vieira
Wireless and Satellite Systems. 7th International Conference, WiSATS 2015 …, 2015
C-DAX Deliverable D2. 2
H Bontius, W Smith, M Hoefling, F Heimgaertner, M Menth, M Strobbe, ...
Formal verification of security policies
B Vieira, M Barbosa, JS Pinto, JB Almeida, JC Filliātre
The system can't perform the operation now. Try again later.
Articles 1–17