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 | 79 | 2013 |
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 | 78 | 2015 |
A security protocol for Information-Centric Networking in smart grids B Vieira, E Poll SEGS 2013: Smart Energy Grid Security Workshop, 2013 | 26 | 2013 |
Securing the information infrastructure for EV charging F van den Broek, E Poll, B Vieira Wireless and Satellite Systems: 7th International Conference, WiSATS 2015 …, 2015 | 19 | 2015 |
Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6, 203-218, 2010 | 19 | 2010 |
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 | 14 | 2009 |
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 | 13 | 2015 |
Supporting smart electric vehicle charging with information-centric networking GP Konstantinos V. Katsaros, Wei Koong Chai, Barbara Vieira QSHINE 2014, 2014 | 13* | 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 | 12 | 2010 |
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 | 7 | 2014 |
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 | 5 | 2014 |
Formal verification of cryptographic software implementations BIS Vieira | 3 | 2012 |
Securing the Information Infrastructure for EV Charging F den Broek, E Poll, B Vieira Wireless and Satellite Systems. 7th International Conference, WiSATS 2015 …, 2015 | 1 | 2015 |
Improving smart grid security using smart cards M Baeten, E Poll, B Vieira Master’s thesis, Radboud University Nijmegen, Faculty of Computer Science, 2014 | 1 | 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 | 1 | 2010 |
C-DAX Deliverable D2. 2 H Bontius, W Smith, M Hoefling, F Heimgaertner, M Menth, M Strobbe, ... | | 2015 |
Formal verification of security policies B Vieira, M Barbosa, JS Pinto, JB Almeida, JC Filliātre | | 2011 |