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, “Efficient Storage of Whole Human Genomes”, in Poster in the 11th European Conference on Computer Systems (EuroSys 2016), London, UK, Apr. 2016. Poster Presentation Award
- 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.
- 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.
- 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.
- 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.
- 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.
|Sebastian Zug||presents||GNSS Quality Forecasting for UAV Trajectory Planning in Urban Environments|
|André Correia||presents||Discovering security threats in social networks|
|Pedro Costa||presents||Medusa: An Efficient Cloud Fault-Tolerant MapReduce|
(Friday, 2016-Mar-25 Easter break -- No Navtalk)
|Frederico Brito||presents||Towards Resilient Segment Routing|
|Joel Alcantara||presents||Low-cost Cloud-based Disaster Recovery for Transactional Databases|
| Fabien Charmet |
(Telecom Sud Paris)
|presents||Implementation of security policy in SDN environment|
|Luis Ferrolho||presents||Secure and Dependable Virtual Network Embedding|
|Pedro Ferreira||presents||Entropy based unsupervised selection of data sets for improved model fitting|
|José Soares||presents||Live migration of networks in a multi-cloud environment|
|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