We are the Navigators, a research team on distributed systems, their architectures, their algorithms, in their several skins: fault tolerance, real-time, security, and combinations thereof.
We also pursue the quest for the right balance between science and technology. Some people say that Informatics (a.k.a. computer science and engineering) belongs to a new breed, of what are called techno-sciences. We believe that techno-scientists should accompany theoretical mastery with a deep knowledge of their environment — computer technology — as well as astro-physicists know the sky, or marine biologists know the sea.
We study new theories to explain distributed systems, and new algorithms to take advantage from them. But we also like to do proof-of-concept experiments about the theory we work on. We try that our papers and theses tell a good story as clearly as possible. We work hard for our demonstrations to be convincing and captivating. Because we believe science is made for others.
- (19/Jan/2016) A H2020 research project lead by the Navigators group was accepted by EC. The project is called: DiSIEM - Diversity enhancements for SIEMs
- (1/Sep/2015) A research project was accepted by FCT. The project is called: IRCoC - Intelligent Resilience for Cloud-of-Clouds Services
- (1/Set/2015) A collaboration project with colleagues from Brasil was accepted by CAPES-FCT. The project is called: Resilient Supervision and Control in Smart Grids
- (1/Feb/2015) A new European project has started, called SUPERCLOUD - User-Centric Management of Security and Dependability in Cloud of Clouds
- (1/Oct/2014) A new European project has started, called SEGRID - Security for smart Electricity GRIDs
- Pedro Costa, Xiao Bai, Fernando Ramos, Miguel Correia, “Medusa: An Efficient Cloud Fault-Tolerant MapReduce”, in IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), May 2016.
- Vinicius Vielmo Cogo, Alysson Bessani, “From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories”, Communications and Innovations Gazette (ComInG), vol. 1, no. 1, pp. 1–11, Jan. 2016.
- Max Alaluna, Fernando Ramos, Nuno Ferreira Neves, “(Literally) above the clouds: virtualizing the network over multiple clouds”, arXiv, Tech. Rep., Dec. 2015.
- Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Methods and Tools for Assessment of Wireless Networks in Extreme Environments”, in IEEE International Conference on Wireless for Space and Extreme Environments 2015 (WiSEE), Miami, Florida, United States of America, Dec. 2015.
- Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Verissimo, “A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data”, in Proceedings of the Workshop on Privacy in the Electronic Society (WPES 2015), Denver, CO, US, Oct. 2015.
- Catia Alexandra Bimbo Magalhaes, “Towards Secure Software-Defined Networks”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 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.
- 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, Lisbon, 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, Lisbon, Portugal, Sept. 2015.
- Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.
|Diogo Duarte||presents||Vulnerability Detection in SDN Switches|
|Tiago Oliveira||presents||Exploring Key-Value Stores in register emulations|
|Nuno Neves||presents||Making WAP Really Discover 0-day Vulnerabilities with Less Errors|
|Pedro Maia||presents||Resilient Communications in Smart Grids|
Past Navtalk Events