Barbara Vieira
Barbara Vieira
ABN AMRO
Verified email at nl.abnamro.com - Homepage
Title
Cited by
Cited by
Year
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
502015
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
412013
A security protocol for Information-Centric Networking in smart grids
B Vieira, E Poll
SEGS 2013: Smart Energy Grid Security Workshop, 2013
182013
Deductive verification of cryptographic software
JB Almeida, M Barbosa, JS Pinto, B Vieira
Innovations in Systems and Software Engineering 6 (3), 203-218, 2010
172010
Verifying cryptographic software correctness with respect to reference implementations
JB Almeida, M Barbosa, JS Pinto, B Vieira
International Workshop on Formal Methods for Industrial Critical Systems, 37-52, 2009
132009
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
122015
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
122010
Supporting smart electric vehicle charging with information-centric networking
GP Konstantinos V. Katsaros, Wei Koong Chai, Barbara Vieira
QSHINE 2014, 2014
8*2014
Securing the information infrastructure for EV charging
F Van Den Broek, E Poll, B Vieira
International Conference on Wireless and Satellite Systems, 61-74, 2015
72015
CAOVerif: An open-source deductive verification platform for cryptographic software implementations
JB Almeida, M Barbosa, JC Filliātre, JS Pinto, B Vieira
52014
Formal verification of cryptographic software implementations
BIS Vieira
22012
Improving smart grid security using smart cards
M Baeten, E Poll, B Vieira
Master’s thesis, Radboud University Nijmegen, Faculty of Computer Science, 2014
12014
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
12010
Comparison of 1DH and 2DH mathematical models for modelling wave hydrodynamics in Ofir beach
B Vieira, JLS Pinho, L Vieira
2018
C-DAX Deliverable D2. 2
H Bontius, W Smith, M Hoefling, F Heimgaertner, M Menth, M Strobbe, ...
2015
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
2014
The system can't perform the operation now. Try again later.
Articles 1–16