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
Pilar com frase

Valorizar o conhecimento é a oportunidade para dar a conhecer um outro Portugal que tantas vezes passa despercebido. O press kit da Faculdade tem uma página de especialistas com 162 nomes e mais de 200 temas científicos. É fundamental que os mass media coloquem a ciência no centro das atenções.

O terceiro meeting científico da ação COST EUTOPIA ocorreu entre 15 e 17 de fevereiro passado.Trata-se de um projeto de colaboração interdisciplinar que explora a importância crescente da topologia em sistemas físicos e biológicos, e no desenvolvimento de novos materiais. Esta ação reúne 29 países e mais de 100 participantes. Portugal está representado em dois dos cinco grupos de trabalho temáticos e Patrícia Faísca é responsável pela liderança de um deles.

Perspetiva dos Valles Marineris de Marte

"Os objetivos destas missões compreendem: a preparação clara de uma futura colónia humana em Marte, e a tentativa de responder à questão se houve vida em Marte", escreve o cientista Pedro Mota Machado.

Pisco-de-peito-ruivo

+Biodiversidade@CIÊNCIAS: Mobilizar a comunidade de Ciências para a promoção da sustentabilidade no Campus” é uma iniciativa do Laboratório Vivo para a Sustentabilidade. Para colaborar neste projeto basta participar nas ações de monitorização, através da plataforma BioDiversity4All ou da app iNaturalist/BioDiversity4All.

Uma pessoa a trabalhar no Centro de Testes

O Centro de Testes (CT) da Ciências ULisboa  atingiu 100% de concordância nas provas a que foi submetido no âmbito do programa mundial de controlo de qualidade da Organização Mundial de Saúde - OMS “WHO Global Round of Laboratory Proficiency Testing” e no Programa Nacional de Avaliação Externa da Qualidade promovido pelo Instituto Nacional de Saúde Dr. Ricardo Jorge (INSA).

Logotipo do projeto

A participação no Projeto Lisboa Romana (Felicitas Iulia Olisipo) vem na sequência de vários anos de colaboração entre os geólogos da Ciências ULisboa e várias equipas de arqueólogos que têm por missão o estudo e a salvaguarda do património arqueológico que ocorre durante as escavações associadas a várias obras na região de Lisboa.

Pessoas no topo de uma colina

O Young Leaders Access Program visa ajudar jovens, entre os 18 e os 26 anos, a impactar as suas comunidades. Leia a crónica de Vasco Medeiros, um dos 50 jovens selecionados em 2020 para realizar este programa. As candidaturas à edição de 2021 terminam em março.

Pessoa

"Existem várias teorias que dão contexto a este medo, mas sobretudo há uma ideia subjacente: o medo de não viver, sentir ou fazer qualquer coisa em vida, uma sensação de vida não vivida", escreve Andreia Santos, psicóloga no GAPsi Ciências ULisboa.

Vários números desenham um coração

Brainteaser é o nome do consórcio que coloca a inteligência artificial ao serviço da saúde, nomeadamente dos doentes com Esclerose Lateral Amiotrófica e Esclerose Múltipla. A Universidad Politécnica de Madrid lidera o consórcio composto por 11 parceiros de Espanha, Itália, Portugal, Sérvia, Irlanda e Bélgica.

CLOUD

As partículas de aerossol atmosférico podem modificar as nuvens e o clima ou contribuir para a poluição urbana. O estudo “Role of iodine oxoacids in atmospheric aerosol nucleation” publicado na Science apresenta os resultados da experiência CLOUD (Cosmics Leaving Outdoor Droplets), anuncia o CERN. Este artigo é assinado por mais de cem investigadores, entre os quais se contam João Almeida, António Amorim, António Dias e António Tomé.

Logotipo Radar

O primeiro Radar Tec Labs de 2021, dedicado às atividades do Centro de Inovação da Faculdade, tem como empresa em destaque a Delta Soluções.

José Artur Martinho Simões

A ideia para esta entrevista surgiu na sequência da publicação do livro "A Anatomia das Moléculas", de José Artur Martinho Simões, pela Imprensa da ULisboa. É um livro curto que numa linguagem simples, precisa e atraente, acompanhada de muitas imagens, nos dá a conhecer o admirável mundo das moléculas, as suas propriedades, ligações e reações.

Pessoa a tomar notas num caderno

Desde que o atual site da Faculdade foi lançado, há cerca de nove anos, foram publicados 1800 géneros jornalísticos relacionados com o ensino, a investigação e a transferência do conhecimento e da inovação nas áreas das ciências exatas e naturais e das tecnociências. Em 2020 publicamos 144 géneros jornalísticos, no ano anterior 121. Este mês demos visibilidade a mais de uma mão cheia de assuntos diferentes.

Monitor com gráfico

Um artigo da autoria de investigadores do Centro de Estatística e Aplicações da Universidade de Lisboa - Luzia Gonçalves, Maria Antónia Amaral Turkman, Carlos Geraldes, Tiago A. Marques e Lisete Sousa - chama a atenção para o uso de forma incorreta de modelos estatísticos, evidenciado durante a pandemia da COVID-19. 

Campus Ciências ULisboa

A Universidade de Stanford divulgou uma lista com os principais cientistas mais citados do mundo em várias áreas científicas. Portugal está representado com 385 cientistas afiliados a instituições portuguesas, 104 são profissionais afiliados a faculdades ou institutos da ULisboa.Ciências ULisboa está representada nesta lista com 14 cientistas.

CGD/MATHFCUL vai participar na final nacional do GMC 2020

A CGD/MATHFCUL participa na final nacional do Global Management Challenge 2020. A 41.ª final nacional do GMC decorre a 15 de março, os resultados serão anunciados a 16 de março de 2021. A equipa vencedora nacional da edição 2020 vai representar Portugal na final internacional.

Pormenor da radiogaláxia gigante MGTC J095959.63+024608.6, detetada com o radiotelescópio MeerKAT

A descoberta de duas novas galáxias gigantes na emissão no rádio sugere que muitas mais destas estruturas impressionantes estarão prestes a revelar-se, segundo um estudo internacional que contou com a colaboração do Instituto de Astrofísica e Ciências do Espaço.

Agregação amilóide na doença de Alzheimer e mecanismos neuronais de proteção

“Estou muito grato por este reconhecimento que nos impele a fazer mais e melhor”, conta Cláudio M. Gomes, a propósito da menção honrosa que recebeu no âmbito dos Prémios Científicos Universidade de Lisboa/Caixa Geral de Depósitos 2019.

Reunião de coconstrução das Rotas da Caravana AgroEcológica no Instituto Politécnico de Viseu, em janeiro de 2020

A Caravana AgroEcológica é um projeto participativo criado pelo grupo de investigação MITE2 do cE3c, Ciências ULisboa com o objetivo de aproximar produtores, consumidores e investigadores através da agroecologia. A CA desenvolve atualmente cinco iniciativas paralelas.

European Mathematical Society

Jorge Buescu, professor do Departamento de Matemática da Ciências ULisboa, é vice-presidente da European Mathematical Society (EMS). É a primeira vez que um português é eleito vice-presidente da EMS. O mandato de Jorge Buescu começa em janeiro deste ano e termina no final de 2024.

Oceano

A redução de oxigénio nos oceanos é o fator com mais impacto negativo nos organismos marinhos. Esta é a principal conclusão de um estudo publicado na revista Nature Ecology and Evolution, liderado por membros do Laboratório Marítimo da Guia do Centro de Ciências do Mar e do Ambiente, polo da Ciências ULisboa, segundo comunicado de imprensa emitido esta segunda-feira.

Modelo digital de superfície da duna de Porto Santo, com evidência da perturbação da duna frontal atualmente sujeita a deflação eólica

Ciências ULisboa integra o consórcio do projeto LIFE DUNAS que prevê a requalificação e restauro da morfologia dunar na praia do Porto Santo, Madeira, no âmbito do programa LIFE Climate Change Adaptation. Ana Nobre Silva é responsável deste projeto na Faculdade.

Polvo e peixes

Um grupo de investigadores do Laboratório Marítimo da Guia do Centro de Ciências do Mar e do Ambiente (MARE), polo da Ciências ULisboa e do Max Planck Institute of Animal Behavior relatam vários eventos de diferentes polvos (Octopus cyanea) deslocando peixes com um “soco” ou “murro”, isto é, um movimento explosivo e direto com um braço.

Jovem a ler um livro perto de uma janela

Conhece a Técnica do Pomodoro? Esta prática monitoriza o estudo, garantindo períodos de alta produtividade e concentração. Leia as dicas de João Oliveira, estagiário no GAPsi Ciências ULisboa, sobre como gerir as distrações e manter a organização.

Logotipo Radar

Décima primeira rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade.

Páginas