Prémio Test-of-Time

Informáticos distinguidos internacionalmente na área da confiabilidade

codigo html

Aplicar diversidade de softwares é uma das formas de combater os ataques informáticos

Unsplash - Markus Spiske

OS Diversity for Intrusion Tolerance: Myth or Reality?” foi a pergunta à qual cinco cientistas da área da Informática procuraram dar resposta em 2011, durante a 41st International Conference on Dependable Systems & Networks (DSN), uma iniciativa promovida pelas organizações IEEE e pela IFIP. Decorridos dez anos desde a publicação do artigo, este feito valeu-lhes o prémio Test-of-Time, atribuído em junho deste ano, durante a 51ª edição DSN da referida conferência internacional.

Alysson Bessani e Nuno Neves, professores do Departamento de Informática (DI) e investigadores do LASIGE Ciências ULisboa, são coautores do artigo premiado, juntamente com Miguel Garcia, à data aluno de mestrado em Informática na Ciências ULisboa; Ilir Gashi, investigador do Center for Software Reliability da City, University of London, no Reino Unido onde preside o Departamento de Ciência da Computação; e Rafael Obelheiro, investigador do Departamento de Ciência da Computação da Universidade do Estado de Santa Catarina, no Brasil.

 O artigo “High-performance broadcast for primary-backup systems”, da autoria de Flavio P. Junqueira, Benjamin C. Reed e Marco Serafini, foi igualmente merecedor deste prémio internacional.

Miguel Garcia entrou na Ciências ULisboa em 2006 onde se licenciou em Tecnologias de Informação, fez o mestrado em Informática e terminou, em 2019, o doutoramento na mesma área, Informática. Atualmente é engenheiro de software na Sensei, onde também aplica os conhecimentos em confiabilidade.

Alysson Bessani é professor do DI Ciências ULisboa, doutorado pela Universidade Federal de Santa Catarina (2006). Foi professor visitante na Universidade de Carnegie Mellon em 2010 e investigador visitante no laboratório da Microsoft Research Lab - Cambridge em 2014. É um dos cofundadores da Vawlt, uma das empresas incubadas no Tec Labs.

Nuno Neves é professor e presidente do DI Ciências ULisboa, doutorado em 1998 pela Universidade de Illinois Urbana-Champaign, nos EUA. É membro da Conselho Coordenador do LASIGE Ciências ULisboa, lidera um dos grupos desta unidade de investigação - Navigators - e preside ao Technical Committee on Dependable Computing and Fault Tolerance do IEEE.

“O prémio foi o reconhecimento de um trabalho em que investimos muito esforço na altura. É muito gratificante ver esse trabalho ser reconhecido pela comunidade de confiabilidade em sistemas e redes.” Alysson Bessani

“OS Diversity for Intrusion Tolerance: Myth or Reality?” procura demonstrar de que forma é possível reduzir as vulnerabilidades dos sistemas a ataques informáticos através da utilização de diferentes sistemas operativos (SO).

Para os menos entendidos na matéria, é melhor “trocar isto por miúdos”. Os sistemas replicados/réplicas, isto é, servidores com informações redundantes, atuam como um só servidor. No entanto, se todas as réplicas forem iguais no seu software, também as vulnerabilidades e bugs são iguais em todas as suas réplicas, e o sistema fica mais exposto a ataques maliciosos. Desta forma, a replicação como solução para as falhas e intrusões deixa de ser eficaz.

Antes do surgimento deste estudo, vários trabalhos na área da confiabilidade assumiam que existiria algum tipo de mecanismo de diversidade capaz de eliminar essas falhas, mas praticamente nenhum dos trabalhos oferecia evidências para suportar esta hipótese. Neste artigo os autores tentam dar resposta a esse problema, demonstrando, com base em dados reais de vulnerabilidades, que a diversidade de sistemas operativos (exemplos: Windows, Linux, BSD) é eficaz na redução de vulnerabilidades comuns em sistemas replicados. Na prática, aplicar diversidade de software “dificulta a vida” a um atacante.

Na pesquisa, os investigadores analisaram dados do National Vulnerability Database (NVD), a base de dados do National Institute of Standards and Technology (NIST), tendo analisado dados de 11 SO distintos, num período de 15 anos.

Alysson Bessani afirma que, aquando da sua publicação, o artigo “dava uma resposta fundamentada para um problema identificado há alguns anos, substanciando com dados intuições que os investigadores da área já tinham”. Como explica o cientista, foi por isso um trabalho inovador, com impacto sentido ao longo dos anos, tanto pela sua publicação no âmbito da conferência, como mais tarde, com a edição da sua versão extensa na revista Software: Practice and Experience, publicada online na Wiley Online Library em 2014.

O artigo acabou por se tornar uma referência na área da Informática para motivar a implementação de diversidade nos SO dos sistemas replicados, tendo sido alvo de diversas referências em citações noutros trabalhos posteriormente publicados sobre o tema.

 O Test-of-Time é um prémio concedido a dois artigos de maior impacto na área dos sistemas confiáveis e pesquisa de computação de redes, que tenham sido publicados na conferência internacional da DSN há dez anos. O prémio é atribuído anualmente desde 2019 e terá a sua próxima edição em 2022, em Baltimore, nos EUA, durante a 52ª edição da IEEE/IFIP DSN.

prémio test-of-time
Prémio Test-of-Time 2021
Fonte AB

Marta Tavares, Área de Comunicação e Imagem Ciências ULisboa
info.ciencias@ciencias.ulisboa.pt
fotografia de grupo

Foi assinado um protocolo de cooperação entre Ciências ULisboa, a FCiências.ID, o cE3c e a empresa dinamarquesa Copenhagen Infrastructure Partners, que visa a investigação e mitigação dos impactos da exploração eólica offshore ao largo da Figueira da Foz.

Logotipo da ACL

Cristina Branquinho e Isabel Trigo foram eleitas em 2023 respetivamente sócias correspondentes nacionais da Classe de Ciências -  Ciências Biológicas e Ciências da Terra e do Espaço – da Academia das Ciências de Lisboa (ACL).

O projeto EDUCOAST, promovido pelo Instituto Português do Mar e da Atmosfera, desenvolve programas educacionais para diversos níveis de ensino e para profissionais, na área das geociências costeiras e marinhas, tendo como base o trabalho de campo e as práticas experimentais.

Conceção artística do telescópio espacial Euclid no espaço

A missão espacial Euclid da Agência Espacial Europeia (ESA) irá penetrar nos últimos 10 mil milhões de anos de história do Universo para tentar compreender pela primeira vez o que está a acelerar a expansão do Universo. O lançamento do telescópio espacial Euclid está previsto para 1 de julho. O telescópio vai observar durante seis anos mais de um terço do céu. A participação portuguesa na missão Euclid é coordenada pelo Instituto de Astrofísica e Ciências do Espaço.

João Pedro e Vera no laboratório

Ciências ULisboa integrou recentemente o projeto “Autonomia 21”, um projeto da Associação Pais 21 cujo objetivo é integrar jovens com Trissomia 21 no mercado de trabalho. O dinamizador desta ideia na Faculdade foi Federico Herrera, professor do DQB e investigador do BioISI. No âmbito deste projeto, Ciências ULisboa recebeu dois jovens que estão neste momento a estagiar num dos laboratórios da Faculdade.

José Pedro Granadeiro e Rui Rebelo

A expedição Selvagens 50 organizada pelo Instituto das Florestas e Conservação da Natureza da Madeira reuniu cerca de 40 especialistas de diversas instituições, entre os quais se incluem os professores do Departamento de Biologia Animal da Ciências ULisboa, José Pedro Granadeiro (aves marinhas) e Rui Rebelo (répteis terrestres).

Conceção artística de um exoplaneta semelhante a Vénus, em órbita da sua estrela

Uma equipa de investigadores escolheu um planeta a 106 anos-luz, com 1,37 vezes o diâmetro da Terra, descoberto em 2022, para apresentar a primeira simulação a três dimensões do clima de um planeta de tipo rochoso com as características que atualmente conhecemos em Vénus.

Grupo de alunos e professores

A 9.ª edição da final nacional das Olimpíadas Portuguesas da Geologia decorreu nos dias 3 e 4 de junho, no Centro Ciência Viva de Estremoz / Pólo de Estremoz da Universidade de Évora, com a participação de 25 estudantes vindos de diversas regiões do País, incluindo uma delegação dos Açores (São Roque do Pico).

Rádão

O professor do DQB Ciências ULisboa e investigador do BioISI Ciências ULisboa é o primeiro autor de um novo artigo publicado no jornal Physical Chemistry – Chemical Physics da Royal Society of Chemistry, onde foram estudados diferentes compostos de rádon e xénon - dois gases nobres – e onde as suas propriedades energéticas e de ligação química foram analisadas.

Fundo do oceano

Ricardo Melo, professor do Departamento de Biologia Vegetal da Ciências ULisboa e investigador do MARE, integra o júri do Prémio Mário Ruivo – Gerações Oceânicas. As candidaturas da 3.ª edição deste prémio decorrem até 31 de julho.

Carlos Nieto de Castro

Carlos Nieto de Castro chegou à Faculdade em 1982 com a missão de criar uma escola de Termodinâmica e Processos de Transporte. Em abril de 2019 jubilou-se. Ainda assim, o seu trabalho enquanto investigador continua: todos os dias úteis chega à Faculdade pelas 8h30/9h00. Conheça o percurso do cientista.

3 alunos numa mesa, na semana da sustentabilidade

Neste Dia Mundial do Ambiente recordamos a Semana da Sustentabilidade, organizada por núcleos de estudantes da Faculdade, com o apoio da Associação de Estudantes e do Laboratório Vivo para a Sustentabilidade.

José Guerreiro, docente do Departamento de Biologia Animal e investigador do MARE, iniciou funções esta quinta-feira, dia 1 de junho, como presidente do Instituto Português do Mar e da Atmosfera (IPMA).

Miguel Miranda e a plateia

O professor e geofísico Jorge Miguel Miranda deu a sua última aula na passada sexta-feira, e despediu-se do Instituto Português do Mar e da Atmosfera, laboratório do Estado que presidiu nos últimos dez anos.

pessoas numa sala com computadores

Esta segunda-feira, dia 29 de maio, Ciências ULisboa recebeu a visita de Oksana Zholnovych, ministra da Política Social da Ucrânia, e Miguel Fontes, secretário de Estado do Trabalho. Os governantes visitaram uma turma durante uma ação de formação do programa UPskill, com o intuito de ficar a conhecer melhor este projeto.

12 finalistas do 3 MT

Patrícia Chaves foi distinguida com o segundo lugar, na primeira edição da competição 3MT – Três Minutos de Tese dinamizada pela Universidade de Lisboa. O pódio ficou completo com Catarina Botelho, em primeiro lugar, e Matteo Pisano, em terceiro lugar, ambos do Instituto Superior Técnico. Os nossos parabéns aos vencedores e a todos os finalistas!

Auditório com pessoas

Ciências ULisboa está de parabéns! 100% dos seus ciclos de estudos avaliados no segundo ciclo de avaliação (2017-2022) foram acreditados sem condições, pelo período máximo (seis anos), pela Agência de Avaliação e Acreditação do Ensino Superior (A3ES).

Grupo de pessoas

Entre os dias 13 e 17 de março deste ano realizou-se a excursão geológica de campo na Bacia Lusitânica (bacia sedimentar mesozóica na região centro-oeste de Portugal), a pedido da SHELL e organizada pela empresa GeoLogica (Portugal), do geólogo Pedro Barreto, antigo aluno de Geologia da Faculdade.

Jorge Miguel Miranda

No próximo dia 26 de maio, pelas 11h00, terá lugar no Grande Auditório da Faculdade a cerimónia de jubilação de Jorge Miguel Miranda, professor do Departamento de Engenharia Geográfica, Geofísica e Energia na Ciências ULisboa, investigador do Instituto Dom Luís (IDL) e presidente do Instituto Português do Mar e da Atmosfera (IPMA).

oceano

José Guerreiro, professor do Departamento de Biologia Animal da Ciências ULisboa e investigador do Centro de Ciências do Mar e do Ambiente (MARE), foi nomeado perito da World Ocean Assessment III junto da Division for Ocean Affairs and the Law of the Sea (DOALOS) – ONU.

Médicos avaliam funções respiratórias de bébe

Carlos Farinha, professor do Departamento de Química e Bioquímica da Ciências ULisboa e investigador principal do grupo de investigação em Fibrose Quística do Instituto de Biossistemas & Ciências Integrativas, foi distinguido com um financiamento de 220 mil USD (€ 204.100,57), pela associação Emily’s Entourage.

Filipa Rocha

A estudante de doutoramento na Ciências ULisboa e professora assistente no IST desenvolveu um sistema que utiliza blocos tangíveis para promover a aprendizagem digital inclusiva para crianças com deficiência visual, ensinando assim literacia digital e eliminando barreiras educativas.

cérebro

O primeiro grande modelo de Inteligência Artificial generativa para a língua portuguesa, para cada uma das variantes, do Brasil e de Portugal, gratuito, em código aberto e com acesso universal está disponível desde este mês e tem 900 milhões de parâmetros. "Trata-se de um marco histórico muito importante na preparação tecnológica da língua portuguesa para a era digital", diz António Branco, professor do DI Ciências ULisboa.

Joaquim Alvez Gaspar

Encontra a resposta a esta pergunta na exposição final do projeto Medea-Chart - As Cartas Náuticas Medievais e Renascentistas: origem, uso e evolução, inaugurada a 18 de maio, no Instituto Hidrográfico e em exibição até setembro deste ano. Joaquim Alves Gaspar, investigador principal do projeto, efetuou uma visita guiada à exposição.

Grande auditório com pessoas

A ULisboa é uma das melhores universidades portuguesas, segundo o portal Research.com, com 131 cientistas entre os mais influentes, dos quais 29 dizem respeito a investigadores, cujo trabalho tem sido realizado na Faculdade e nas suas unidades de investigação.

Páginas