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
Rosto de Luísa Maria Abrantes

“A professora Luísa Maria Abrantes será sempre recordada pela sua enorme dedicação e empenho durante os 40 anos de serviço a esta casa”, refere o seu colega e amigo Jorge P. Correia.

A FCUL volta a marcar presença na Futurália, na FIL, no Parque das Nações, juntamente com outras unidades orgânicas da UL, entre 13 e 16 de março.

“Foi o professor Henrique Leitão que me alertou para o facto de a questão do real impacto de Pedro Nunes na náutica do seu tempo estar por resolver.

“Foi o professor Henrique Leitão que me alertou para o facto de a questão do real impacto de Pedro Nunes na náutica do seu tempo estar por resolver. A tese e o prémio foram passos saborosos de um caminho longo mas que tem todo o potencial de ser gratificante e divertido”, reforça Bruno Almeida, vencedor do Prémio Cultura 2012 atribuído pela Sociedade de Geografia de Lisboa.

A reportagem multimédia sobre o Dia Aberto em Ciências inclui testemunhos de candidatos ao ensino superior, alunos e professores da FCUL, colaboradores desta iniciativa.

Prémio SAHFC 2012 - Marta Macedo

Prémio SAHFC

  A Comissão Executiva da Secção Autónoma de História e Filosofia das Ciências (SAHFC) atribui a anualmente o Prémio SAHFC.

O Grupo de Surdez do BioFIG-FCUL, coordenado por Graça Fialho, já analisou cerca de 400 famílias portuguesas afetadas com surdez hereditária. A primeira tese de doutoramento realizada em Portugal na área da genética da surdez foi defendida em 2012, na UL, por Tiago Matos.

Anfiteatro da FCUL

Cerca de 100 alunos de 15 escolas secundárias da zona de Lisboa participaram na 9.ª edição da ação de divulgação da Física de Partículas.

“Portugal é o principal destino dos estudantes brasileiros de graduação bolsistas do Programa Ciência sem Fronteiras.

“Acho que este tipo de ações é bastante útil porque, nesta altura, precisamos de todas as informações possíveis para podermos fazer uma escolha certa”, declara Maria Buzaglo, aluna do 12.º ano, a frequentar o curso de Ciências e Tecnologias na Escola Secundária de Pedro Nunes.

Alunos no átrio do C3

O Gabinete de Mobilidade, Estágios e Inserção Profissional organizou uma sessão de acolhimento aos cerca de 30 novos alunos de mobilidade para o 2.º semestre.

Em 2000, a UL atribuiu o título de doutor honoris causa a Laurens de Haan. Em 2013, outro gigante dos Extremos, Ross Leadbetter, honrará a UL ao aceitar a mesma distinção. Quando a universidade honra investigadores desta importância está também a honrar-se.

O Departamento de Matemática da FCUL e o CMAF organizam dois mini-cursos de Sistemas Dinâmicos de 17 a 24 de Abril 2013. Os oradores serão Rafael Ortega da Universidade de Granada e Pedro Miguel Duarte do DM da FCUL.

Gulf Labor Markets and Migration Program (GLMMP), a joint program of the European University Institute (EUI - Florence) and the Gulf Research Center (GRC - Jeddah, Geneva, Cambridge), seeks two Research Assistants (Demographer/Statistician and Lawyer).

Rosto de Vanda Brotas

Estudar a clorofila, único parâmetro biológico visível do espaço, constitui uma ferramenta essencial para se perceber se o clima está a mudar. Este artigo foi publicado no jornal "Público" no passado dia 16 de fevereiro.

Servidor da FCUL

As ações de modernização e de alargamento do Centro de Dados da FCUL ocorreram no verão de 2012. A Unidade de Informática continua a apostar na renovação das condições tecnológicas do campus.

Ilustração de animais

A Âncora Editora define-se como uma editora generalista, que tem vindo a dedicar-se, sobretudo, à publicação de autores portugueses. Até agora A. M. Galopim de Carvalho é o autor com o maior número de livros editados.

O projecto de investigação NAADIR que envolve a Faculade de Arquitectura da Universidade Técnica de Lisboa e a Faculdade de Ciências da Universidade de L

Átrio do C6

Para os SASUL ainda é prematuro avaliar o Programa Alimentação UL, cujo orçamento se estima ser na ordem dos 192.000,00 €.

Iain Mattaj, diretor-geral do EMBL

“Estou impressionado com a energia que existe na Faculdade e o número de pessoas que aqui trabalham. Acho que estão bem organizados para trabalhar em equipa!”, declara Iain Mattaj, diretor-geral do European Molecular Biology Laboratory, depois de visitar alguns dos laboratórios da FCUL.

Logotipo da inicativa Programa Alimentação UL

O Menu Estudante custa 2,40€ e inclui sopa, prato principal, sobremesa, pão e bebida. A partir de fevereiro o Espaço Estudante, localizado no edifício C6, também vai dispor de micro-ondas permitindo dessa forma o aquecimento de refeições.

Ester Luísa Rodrigues Dias, professora jubilada do extinto Departamento de Educação da FCUL, faleceu no dia 11 de fevereiro de 2013.

As ações de formação e de sensibilização em segurança e saúde do trabalho procuram divulgar conhecimentos teóricos e práticos de maneira a prevenir acidentes de trabalho e doenças profissionais, permitindo também  intervenções eficazes e eficientes em casos de emergência.

Páginas