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
Imagem de uma figura feminina

Cláudio Pina Fernandes, coordenador do GAPsi Ciências ULisboa, escreve sobre a complexidade das emoções e alerta: "é importante termos estratégias que nos permitam regulá-las".

Navio oceanográfico alemão Meteor

“Pela 1.ª vez foi possível realizar um estudo completo e sistemático ao longo de um segmento da fronteira de placas Açores/Gibraltar”, diz João C. Duarte, professor do Departamento de Geologia (DG) da Ciências ULisboa, investigador do Instituto Dom Luiz (IDL) e um dos membros da equipa portuguesa presente na campanha oceanográfica M162 – GLORIA FLOW.

Artigo de opinião realça a importância dos jornalistas confirmarem as suas fontes

“Um estudo isolado pode sempre, ser, apenas uma coincidência, uma imperfeição estatística, um acaso”, escreve Tiago Marques, professor do DBA Ciências ULisboa e investigador do CEAUL, num artigo que realça a importância dos jornalistas confirmarem as suas fontes.

Ciências ULisboa vai criar um Centro de Testes à COVID-19

Ciências ULisboa vai criar um Centro de Testes (CT) à COVID-19 no seu campus, no Campo Grande, em Lisboa. Os testes de despistagem à COVID-19 deverão começar daqui a duas semanas consistindo, numa primeira fase, em cerca de 100 análises diárias, estando  também previsto a sequenciação e o rastreamento epidemiológico.

Imagem com um ponto de interrogação

Andreia Santos, psicóloga no GAPsi Ciências ULisboa, escreve sobre os diálogos internos que se manifestam numa sensação de urgência, insuficiência e falta de controlo, que são reflexo de um sentimento de culpa. Conheça algumas dicas que podem ajudar a lidar com estas dúvidas, que são tão comuns como naturais.

Imagem gráfica da rubrica Radar Tec Labs

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

Imagem gráfica do projeto "O que faço aqui?"

Rodrigo Amaro e Silva, Patrícia Jordão, Sérgio Chozas, Ana Cristina Pires e Miguel Inácio são os primeiros entrevistados no âmbito do projeto “O que faço aqui?”, lançado recentemente nas redes sociais e no site da Faculdade.

Composição fotográfica alusiva à missão da Faculdade

“Portugal pode por isso estar certo de que, nesta época de crise, toda a comunidade da Ciências Ulisboa beneficia de um ambiente de trabalho seguro e sustentável, que não compromete a qualidade da sua missão”, escreve Pedro Almeida, subdiretor da Faculdade.

Tec Labs - Centro de Inovação Ciências ULisboa

No Tec Labs – Centro de Inovação e incubadora da Ciências ULisboa são várias as empresas, spin-off, proto-company e startups a trabalhar para encontrar soluções que ajudem doentes, profissionais, unidades hospitalares e autoridades governamentais nesta “luta”, que só poderá ser vencida pelo esforço conjunto.

Skype, Zoom e Houseparty são boas apostas para combinar eventos sociais

"Socializar por meio de momentos lúdicos, rir e partilhar ideias sobre novos projetos são excelentes formas de dirigir a nossa atenção para além da preocupação. Ajuda-nos a colocar o foco da nossa energia ao serviço daquilo que nos faz bem e sentirmo-nos ligados", escreve a psicóloga Andreia Santos.

Mapa

O Centro de Física Teórica e Computacional da Ciências ULisboa participa no desenvolvimento do mapa de risco de propagação da COVID-19 por contágio comunitário em Portugal, um projeto coordenado pelas Universitat Rovira i Virgili, em Tarragona, e Universidad de Zaragoza, em Zaragoza, ambas em Espanha e que em Portugal tem como parceiros a NOS, a Data Science Portuguese Association e a Closer Consulting.

Grupo de investigadores do HIT-CF Europe

Cerca de 502 pessoas com mutações raras de fibrose quística (FQ) foram recrutadas pelo projeto inovador HIT-CF Europe, financiado pela União Europeia através do Horizonte 2020 e que conta com a participação de Margarida Amaral, professora do Departamento de Química e Bioquímica da Ciências ULisboa, coordenadora do Instituto de Biossistemas e Ciências Integrativas (BioISI) e líder do grupo português neste consórcio.

Medicamentos

Ao longo dos últimos dias, vários colegas da Ciências ULisboa e de outras faculdades entraram em contacto com Manuel Carmo Gomes, professor do Departamento de Biologia Vegetal, manifestando disponibilidade para contribuir com o seu conhecimento e meios no auxílio à análise dos dados, modelação e projeção do futuro da epidemia.

O Conselho Pedagógico da Ciências ULisboa preparou um conjunto de orientações relacionadas com as ferramentas de apoio ao ensino à distância, disponíveis no site da Faculdade e que visam ajudar os professores, investigadores e alunos durante este período de tempo sem aulas presenciais, uma medida implementada no âmbito do Plano de Contingência em Ciências COVID-19.

Imagem gráfica associada ao Plano de Contingência em Ciências COVID-19

A Direção da Ciências ULisboa determinou um conjunto de medidas que pretendem contribuir para a contenção da propagação do novo coronavírus e que vigoram até ao próximo dia 27 de março, podendo ser ajustadas conforme a necessidade e a evolução da situação.

Reunião de arranque do Colégio POLAR2E

O POLAR2E tem como objetivo criar sinergias em áreas como as ciências da criosfera, a modelação climática, a ecologia de ambientes extremos, a deteção remota, a construção em ambientes extremos, a astrobiologia e a engenharia aeroespacial dentro da Universidade.

Grupo de campus ambassadors da Jerónimo Martins, de diferentes faculdades de todo o país

No ano letivo de 2019/2020, todos os estudantes da Faculdade com interesse e dúvidas quanto aos Young Talent Programmes da Jerónimo Martins (JM) poderão contactar Catarina Bernardo, por email ou via LinkedIn! A aluna finalista de Biologia da Faculdade está disponível para responder a dúvidas sobre as várias oportunidades da JM para jovens universitários.

Imagem gráfica da rubrica Radar Tec Labs

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

Na sequência das orientações da Direção-Geral da Saúde e procurando evitar desta forma alarmismos desnecessários, sem descurar uma atuação prudente e responsável, Ciências ULisboa elaborou o Plano de Contingência em Ciências COVID-19.

Primeira reunião do IDEA-FAST

Tiago Guerreiro, professor do DI e investigador do LASIGE Ciências ULisboa, participa no IDEA-FAST, um projeto inovador na área da saúde digital, com um orçamento de 42 milhões de euros.

Estatística

“O CEAUL tem pessoas com uma contribuição notável para a Estatística em Portugal”, escreve o investigador Tiago Marques, a propósito do último congresso da Sociedade Portuguesa de Estatística.

Golfinhos

Que espécies encontrarão os cadetes do NRP Sagres? Que informação se esconde na cor do mar? Estas são algumas das questões a que o CIRCULARES, um projeto de ciência cidadã irá responder durante a viagem de circum-navegação, que deverá terminar em janeiro de 2021.

Ana Rita Carlos

Ana Rita Carlos, investigadora no polo da Faculdade do Centro de Ecologia, Evolução e Alterações Ambientais (cE3c) e antiga aluna da Ciências ULisboa, é uma das quatro jovens cientistas portuguesas premiadas na 16ª edição das Medalhas de Honra L’Oréal Portugal para as Mulheres na Ciência, com um estudo sobre os mecanismos que desencadeiam as distrofias musculares congénitas.

José Cabrita Freitas e João Pinto Coelho integram o grupo de trabalho dedicado ao encandeamento por <i>laser</i> no visível, efeitos e proteção

José Cabrita Freitas e João Pinto Coelho, investigadores do Departamento de Física e do Laboratory of Optics, Lasers and Systems da Ciências ULisboa, foram distinguidos com o Scientific Achievement Award e com o SET Panel Excellence Award, pelo Conselho de Ciência e Tecnologia da NATO.

Encontro Nacional sobre Investigação em Alterações Climáticas

Mais de 500 pessoas inscreveram-se no Encontro Nacional sobre Investigação em Alterações Climáticas, uma iniciativa organizada pela Ciências ULisboa em parceria com o IDL e a CML, no âmbito da Lisboa Capital Verde Europeia 2020. O acontecimento visa debater a melhor investigação em alterações climáticas que é realizada em Portugal. O programa integra oito sessões temáticas e uma sessão de posters, com 47 trabalhos.

Páginas