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
Mulher sentada em banco junto ao rio Tejo

Um grupo multidisciplinar de cientistas propõe a criação de um roteiro nacional para a realização de testes serológicos em Portugal e defende que a avaliação rigorosa e concertada da prevalência da doença COVID-19 é a única forma de conhecer a real vulnerabilidade da população e monitorizar a dinâmica da epidemia.

Logotipo da rubrica Rardar

Quinta rubrica Radar Tec Labs dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a THEREUS.

ETAR de Serzedelo

A primeira etapa do COVIDETECT já está concluída e com sucesso anunciou esta quarta-feira a AdP - Águas de Portugal. Ciências ULisboa assegura a coordenação científica do projeto, financiado através do programa Compete 2020.

Papel e caneta, num ato de estudo

"Estudar em tempos da COVID-19 é novo e exigente. No entanto, temos recursos para tomar as rédeas, mesmo numa situação desta dimensão, e retomar o controlo", escreve Madalena Pintão, estagiária académica do GAPsi Ciências ULisboa. Conheça as suas sugestões...

Médicos e enfermeiros

"Independentemente das soluções adotadas, a crise sanitária da COVID-19 vem inequivocamente demonstrar que a Bioética, para além de uma vertente mais teórica e fundamental, tem uma vertente prática que atua no terreno e dá um contributo importante para a estabilização do funcionamento dos sistemas de saúde." Opinião de Jorge Marques da Silva, professor do Departamento de Biologia Vegetal da Ciências ULisboa e investigador do polo da Faculdade do BioISI. 

Centro de Testes

O Centro de Testes da Ciências ULisboa atualmente inteiramente dedicado à investigação, diagnóstico e rastreio do SARS-CoV-2 e suas variantes começou a sua atividade a 1 de maio, tendo já realizado mais de mil testes de diagnóstico à COVID-19, com a ajuda de cerca de 50 voluntários, sendo que mais de 300 pessoas manifestaram interesse em colaborar voluntariamente nesta nova infraestrutura da Faculdade.

Pormenor do protótipo da câmara de descontaminação transportável

A Delox foi distinguida recentemente com o Born from Knowledge (BfK) Awards no âmbito do protótipo de uma câmara de descontaminação transportável, que permitirá reutilizar máscaras respiratórias e que está a desenvolver em parceria com o Exército Português. A propósito desta distinção entrevistamos um dos fundadores da spin-off fundada há cerca de dois anos – Fernando Antunes, professor do DQB e investigador do polo da Faculdade do CQE.

Porta entreaberta

"Estar em casa, da forma como se tem estado, pode surgir como o 'único lugar' seguro, dando uma forte sensação de proteção. Em oposição, a ideia de sair torna-se ameaçadora. Esta é uma ideia que é preciso cuidar, para que não se torne avassaladora e angustiante no processo de retomar, no encontro entre o 'mundo cá dentro' e o 'mundo lá fora'", escreve a psicóloga Andreia Santos.

Páginas de livros

"Neste exercício permanente de experimentar será que ganhamos uma impressão do que é uma Teoria Geral da Complexidade?" Mais um ensaio "No Campus com Helder Coelho", em destaque no Dia Nacional dos Cientistas.

“A nossa Faculdade tem uma oferta vasta, diversificada e de enorme qualidade”, diz Fernanda Oliveira, subdiretora da Faculdade em comunicado de imprensa emitido recentemente a propósito dos dias virtuais que têm como público alvo sobretudo candidatos ao ensino superior e que acontecem nos dias 21 de maio e 3 de junho de 2020.

Figura humana em destaque

"No restabelecimento do contacto com o mundo alguns receios e ansiedades poderão estar presentes, a recuperação fisiológica e emocional é um processo, e como tal, leva o seu tempo." Mais um artigo do GAPsi, com nova sugestão, convidando a refletir sobre aquilo que era a vida de cada um de nós, exatamente, há um ano atrás.

4th International Conference on the Computational Processing of Portuguese

Rodrigo Santos, atualmente estudante de doutoramento em Informática na Ciências ULisboa, foi galardoado este ano com o prémio da melhor dissertação de mestrado sobre o Processamento de Língua Portuguesa no período de 2017-2019, durante a PROPOR – “14th International Conference on the Computational Processing of Portuguese”, ocorrida em Évora. 

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

O consórcio da missão Euclid, um telescópio que irá penetrar no lado escuro do Universo e que tem lançamento previsto para 2022, atribuiu o prémio Euclid STAR 2020 na categoria “equipa” a um dos grupos do consórcio com uma forte participação portuguesa, nomeadamente de investigadores do Instituto de Astrofísica e Ciências do Espaço (IA) e da Ciências ULisboa.

Balões com sorrisos

"Embora a realidade externa seja muito semelhante para todos, a forma como olhamos para ela não é igual. Por isso, alguns de nós estão desejosos que este período de isolamento termine e outros (secretamente ou não) desejam que a vida pudesse seguir um rumo parecido ao que se vive atualmente", escreve a psicóloga Inês Ventura na habitual rubrica do GAPsi.

“O cruzamento da história das ciências com a banda desenhada foi uma aposta arriscada e uma concretização genuinamente coletiva, cujo resultado final é mais do que o somatório das partes. É para nós uma grande satisfação que o universo da banda desenhada em Portugal o tenha reconhecido”, comentam Ana Simões e Ana Matilde Sousa, autoras da obra distinguida com o Prémio de Melhor Publicação Nacional com Distribuição Comercial.

Imagem gráfica da rubrica Radar Tec Labs

Quarta rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a ONTOP.

Máscara respiratória

O consórcio REUSE coordenado pelo CQE Ciências ULisboa surge na sequência do apoio especial a projetos de implementação rápida para soluções inovadoras de resposta à COVID-19 e tem como objetivo a descontaminação de máscaras respiratórias para posterior reutilização.

Teletrabalho

"É verdade, as coisas precisam ser feitas, mas, se não fizermos uma boa gestão de nós próprios, estamos potencialmente a acabar com a única fonte que pode produzir - nós", alerta a psicóloga Andreia Santos, na rubrica habitual do GAPsi, deixando também algumas dicas para quem está em teletrabalho.

Imagem artística relacionada com uma nuvem de pensamentos

“Após pequenas ou grandes tempestades que se passem dentro de casa, vem o diálogo e a negociação para que os tempos de cada um sejam respeitados”, escreve Madalena Pintão, estagiária académica do GAPsi Ciências ULisboa, na rubrica habitual.

ETAR de Alcântara

O Ministério do Ambiente e Ação Climática anunciou o lançamento do projeto de investigação COVIDETECT e a criação de um sistema de alerta precoce da presença do vírus SARS-CoV-2, agente etiológico da COVID-19, através da análise de águas residuais. O projeto de investigação começa a 20 de abril. Ciências ULisboa assegura a coordenação científica.

O aniversário da Ciências ULisboa será celebrado online com todos aqueles que se puderem juntar a 22 de abril no Facebook da Faculdade. A celebração incluirá a tradicional mensagem de Luís Carriço, diretor da Faculdade; as distinções e prémios atribuídos a alunos, professores e funcionários; entre outras surpresas e desafios, que serão partilhados nos próximos dias nas redes sociais. Fique atento e participe!

Imagem artística da precessão de Schwarzschild

Observações levadas a cabo pelo Very Large Telescope (VLT) do European Southern Observatory (ESO), situado no deserto chileno do Atacama, revelam pela primeira vez que a S2, uma das estrelas em órbita do buraco negro supermassivo, situado no centro da Via Láctea, se desloca tal como previsto pela Teoria da Relatividade Geral de Einstein.

Livro e caneta

Mais um artigo da equipa do GAPsi Ciências ULisboa, desta vez da psicóloga Bruna Francisco, que deixa uma questão em forma de desafio: “O que tens descoberto sobre ti, durante esta quarentena?”.

Fotografia de peixe do género Squalius em Portugal

O projeto “Acaso ou maldição? As consequências da hibridação num mundo em mudança”, premiado recentemente com uma bolsa Young Investigator pelo Human Frontier Science Program (HFSP), no valor de cerca de 1,1 milhões de euros, vai procurar responder a esta grande questão da Biologia, nos próximos três anos, de acordo com comunicado de imprensa emitido recentemente.

Maria de Sousa

Maria de Sousa, imunologista, professora emérita da Universidade do Porto e do Instituto de Ciências Biomédicas Abel Salazar e investigadora honorária do Instituto de Investigação e Inovação em Saúde, faleceu durante a madrugada de dia 14 de abril. A Faculdade lamenta o triste acontecimento, apresentando as condolências aos familiares, amigos e colegas.

Páginas