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
Trajeto de transferência eletrónica num óxido metálico misto de molibdénio e tungsténio

Os fenómenos de transferência de eletrões são omnipresentes em toda a natureza e em Biologia Molecular representam ainda a “transdução de energia”, isto é o transporte de eletrões através de uma enzima ou proteína. Os resultados desta investigação podem ajudar a melhorar a compreensão de como os eletrões se movem nas junções moleculares em dispositivos eletrónicos, ou na transferência de eletrões em biomoléculas com mediação de espécies metálicas.

Pormenor da conceção artística do interior do futuro telescópio espacial de raios X Athena, da ESA

A componente ótica portuguesa, liderada pelo Instituto de Astrofísica e Ciências do Espaço, e que irá integrar o futuro telescópio espacial europeu nos raios X, passou na revisão de requisitos e entra agora na fase de projeto. O IA lidera o conceito e desenho de um sistema de metrologia, ou OBM (do inglês “Onboard Metrology System”), que permitirá orientar com exatidão o espelho do Athena, um telescópio espacial nos raios X, para o sensor de cada um dos dois instrumentos científicos desta missão.

Alunos e professor no campus da Faculdade

A equipa CGD/MATHFCUL ficou classificada em 5.º lugar na final nacional do Global Management Challenge 2020. Exigência foi a palavra escolhida pela equipa para classificar esta experiência. "Fico muito satisfeito e grato pela dedicação e crescimento destes meus alunos", diz João Telhada, professor do DEIO Ciências ULisboa e mentor da equipa.

Mulher esconde rosto com relógio

"O efeito da mudança de hora no consumo de energia é cada vez menos relevante nas nossas sociedades desenvolvidas e, por isso, a avaliação da sua premência deve valorizar sobretudo outros efeitos, como o impacto na saúde, na economia ou no bem-estar dos cidadãos", escreve Miguel Centeno Brito, professor do DEGGE Ciências ULisboa e investigador do IDL.

A distribuição potencial dos continentes no Arcaico e a profundidade do oceano em metros

Mattias Green, professor da Bangor University (BU), no Reino Unido, coorientador de Hannah Davies, estudante do programa doutoral Earthsystems, ganhou uma Bolsa Leverhulme no valor de 245.884,00 £, equivalente a 287.331,58 €, para estudar o clima da Terra no Arcaico, juntamente com João C Duarte, professor do Departamento de Geologia da Ciências ULisboa, investigador do Instituto Dom Luiz e membro da comissão coordenadora do referido programa. 

Pernas de crianças

Inês Lima, Leonor Pires, Mariana Oliveira e Raquel Sales Rebordão, estudantes de Engenharia Biomédica e Biofísica da Ciências ULisboa, classificaram-se em 2. º lugar na 3ª edição do BioMind – Make it in 24 hours! com o produto IMAGI, um projeto que conjuga técnicas de hipnoterapia e realidade virtual com o objetivo de reduzir e controlar a dor crónica em crianças.

Representação de uma bicamada fosfolipídica usada como modelo de uma membrana celular (à esquerda); representação de uma ligação de halogéneo (a amarelo) efetuada entre um átomo de bromo e um átomo de oxigénio de um fosfolípido (à direita)

Investigadores do BioISI Ciências ULisboa conseguiram demonstrar que moléculas halogenadas interagem com membranas biológicas por via de ligações de halogéneo, um fenómeno que pode ser determinante para a eficácia terapêutica de fármacos.

Arame

Mais um artigo do GAPsi Ciências ULisboa. Desta vez a temática é dedicada ao ciclo das relações abusivas.

painéis solares

A 38th European Photovoltaics Specialists Conference - EUPVSEC 2021 realiza-se de 6 a 10 de setembro de 2021, no formato online. João Serra, professor do Departamento de Engenharia Geográfica, Geofísica e Energia da Ciências ULisboa, é o chairman da maior e mais importante conferência europeia dedicada à energia fotovoltaica.

Helena Avelar de Carvalho

"A Helena era, sem qualquer dúvida, uma das melhores na sua área, no mundo inteiro, e a sua carreira académica estava só a começar", escreve Henrique Leitão, presidente do Departamento de Histórioa e Filosofia das Ciências.

Caneta e números

“A matemática é uma parte essencial do património cultural da humanidade”, dizem Ana Rute Domingos e Maria Manuel Torres, docentes do Departamento de Matemática da Ciências ULisboa, a propósito do Dia Internacional da Matemática, que se celebra a 14 de março.

Miguel Marques de Magalhães Ramalho, vulto destacado da comunidade geológica, que foi vários anos professor catedrático convidado da Ciências ULisboa, faleceu a 8 de março de 2021. "A ele se deve a introdução da conceção moderna de Estratigrafia no curso de Geologia do Departamento, enriquecida por saídas de campo de elevado valor didático", escreve a professora Ana Cristina Azerêdo. Ciências ULisboa apresenta sentidas condolências aos seus familiares, amigos e colegas.

Peixes

O primeiro “Guia de Peixes de Água Doce e Migradores de Portugal Continental” coordenado por Maria João Collares-Pereira, professora da Ciências ULisboa e do cE3c, publicado em 2021, já está à venda. Os peixes de água doce são um dos grupos de vertebrados mais ameaçados em todo o mundo. Portugal não é exceção, com mais de 60% das espécies nativas em risco de extinção.

Vinhas Douro, Portugal

A Comissão Nacional da Organização Internacional da Vinha e do Vinho premiou “The interplay between membrane lipids and phospholipase A family members in grapevine resistance against Plasmopara viticola” com a Distinção CNOIV 2020, atribuído ao melhor trabalho nacional de divulgação, experimentação ou investigação no domínio da viticultura, da autoria de um grupo de investigadores da Ciências ULisboa.

Cristina Santos, Margarida Amaral, Claudina Rodrigues-Pousada, Alexandre Quintanilha, Ana Ponces, Pedro Moradas-Ferreira, Ruy Pinto

É com grande tristeza que informamos o falecimento duma grande mulher cientista, a professora Claudina Rodrigues-Pousada, uma grande mentora de vida na Ciência pelo seu empenho, persistência, foco e determinação.

Joana Carvalho

Joana Carvalho, de 28 anos, investigadora na Fundação Champalimaud, alumna da Universidade de Groningen, na Holanda, e Ciências ULisboa, foi uma das cientistas galardoadas com a 17ª edição das Medalhas de Honra L’Oréal Portugal para Mulheres na Ciência e com uma Individual Fellowships Marie Skłodowska-Curie Actions.

Logotipo Radar

Décima terceira rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Lean Health Portugal.

Inês Fragata

Doutorada em Biologia Evolutiva pela Ciências ULisboa e atualmente investigadora de pós-doutoramento no cE3c Ciências ULIsboa é uma das quatro jovens cientistas portuguesas premiadas com as Medalhas e vai estudar a contaminação do solo por metais pesados através do tomateiro e ácaros-aranha.

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.

Páginas