SEGRID: Security for smart Electricity GRIDs

From Navigators

• Research Line(s): Fault and Intrusion Tolerance in Open Distributed Systems (FIT)
• Sponsor: EU FP7
• Project Number: 607109
• Coordinator: NEDERLANDSE ORGANISATIE VOOR TOEGEPAST NATUURWETENSCHAPPELIJK ONDERZOEK - TNO
• Start Date: Estimate, Sept 2014
• Duration: 36 months
• Team at FCUL: Researchers including

Publications

• Pedro Maia, “Resilient Communications in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2018.

• Henrique Mendes, Ibéria Medeiros, Nuno Ferreira Neves, “Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework”, in Proceedings of the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun. 2018.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “SieveQ: A Layered BFT Protection System for Critical Services”, IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3, pp. 511–525, Jun. 2018.

• Henrique Mendes, “Security Auditing of a DLMS/COSEM Smart Grid Communication Protocol Implementation”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2018.

• André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “On the Challenges of Building a BFT SCADA,”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), 2018, pp. 8.

• Miguel Falé, “Improving Vulnerability Detection of WAP”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2017.

• Fabio Pereira, Nuno Ferreira Neves, Fernando Ramos, “Secure Network Monitoring Using Programmable Data Planes”, in Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), Nov. 2017.

• Miguel Falé, Ibéria Medeiros, Nuno Ferreira Neves, “Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• Fabio Pereira, “Secure Network Monitoring Using Programmable Data Planes”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.

• Bruno Vavala, Nuno Neves, Peter Steenkiste, “Secure Tera-scale Data Crunching with a Small TCB”, in Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Jun. 2017.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Beatriz, Miguel Correia, “Demonstrating a Tool for Injection Attack Prevention in MySQL”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN)., Jun. 2017.

• Luís Ferrolho, “Secure and Dependable Virtual Network Embedding”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2016.

• Nuno Pereira, “A Knowledge-based, Secure and Dependable Self-Healing Architecture for the Smart Grid”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.

• Frederico Brito, “Fast Reroute Usig Segment Routing for Smart Grids”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.

• Ibéria Medeiros, “Detection of Vulnerabilities and Automatic Protection for Web Applications”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Sept. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities”, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Jul. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Equipping WAP with Weapons to Detect Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.

• Fernando Ramos, Jon Crowcroft, Ian H White, “Blending Photons with Electrons to Reduce the Energy Footprint of IPTV Networks”, in IFIP Networking 2016, May 2016.

• Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Towards an Execution Environment for Intrusion-Tolerant Systems”, in Poster in the 11th European Conference on Computer Systems (EuroSys), London, UK, Apr. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining”, IEEE Transactions on Reliability, vol. 65, no. 1, pp. 54–69, Mar. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Hacking the DBMS to Prevent Injection Attacks”, in Proceedings of the ACM Conference on Data and Applications Security and Privacy (CODASPY), Mar. 2016.

• André Jesus, “Privacy Preserving Protocols for Smart Meters and Electric Vehicles”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.

• Radu Onica, Nuno Ferreira Neves, António Casimiro, “Fault-Tolerant Precision Time Protocol for Smart Grids”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.

• Rodrigo de Medeiros, “Secure Monitoring for a Secure Smart Grid”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.

• Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Securing Passive Replication Through Verification”, in Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, Sept. 2015.

• Fernando Alves, “Vulnerability Discovery in Power Line Communications”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.

• Radu Onica, “Secure GPS Clock Synchronization in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.

• Alysson Bessani, João Sousa, Eduardo Alchieri, “State Machine Replication for the Masses with BFT-SMART”, in Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• David Matos, Nuno Ferreira Neves, Alysson Bessani, “SITAN: Services for Ad Hoc Networks with Unknown Participants”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• José Lopes, Nuno Ferreira Neves, “Stopping a Rapid Tornado with a Puff”, in Proceedings of the IEEE Symposium on Security and Privacy (Oakland), San Jose, USA, May 2014.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives”, in Proceedings of the International World Wide Web Conference (WWW), Seoul, Korea, Apr. 2014.

BibTeX

Navigators - SEGRID project

Projects

Current projects:

VEDLIoT, SATO, ADMORPH, SEAL, AQUAMON, UPVN, REDBOOK, ThreatAdapt, SEL, Xivt

Past projects:

TCLOUDS, MASSIF, MAFTIA, RESIST NoE, DiSIEM, KARYON, HIDENETS, CORTEX, CRUTIAL, TRONE, SITAN, ReD, IRCoC, DIVERSE, CloudFIT, READAPT, REGENESYS, RC-Clouds, TACID, DARIO, RITAS, AJECT, MICRA, DEAR-COTS, COPE, DEFEATS, MOOSCO, TOPCOM, RE:DY, NORTH, Abyss, SUPERCLOUD, COST Action IC1402, SEGRID, BioBankCloud, SAPIENT, PROPHECY, SecFuNet, FTH-Grid, AIR-II, AIR, ESFORS, CaberNet, GODC, BROADCAST, CoDiCom, Delta-4, RAPTOR