INForum 2009

March 28, 2009

INForum 2009Computer and Communications Security Track, Sep 10-11, 2009.

Summary (in portuguese):

O INForum tem como objectivo ser um evento privilegiado de reunião da comunidade nacional nas diversas vertentes da informática e ambiciona ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos. O INForum surge com particular oportunidade como palco para a estreia de jovens investigadores que buscam a divulgação, a crítica construtiva e o encorajamento ao seu trabalho.

O 1º INForum pretende ser abrangente e dinâmico no conjunto de tópicos abordados. Apresentará um conjunto de tópicos propostos e seleccionados anualmente, com sessões organizadas e realizadas de forma independente. Promove-se assim a massa crítica para o fortalecimento e evolução da informática no país criando-se, simultaneamente, espaço à evolução do contexto da conferência e fomentando a reunião de investigadores em áreas emergentes.

O 1º INForum decorrerá nos dias 10 e 11 de Setembro de 2009 na Faculdade de Ciências da Universidade de Lisboa.


Carlos Silva (Master student, ongoing)

February 27, 2009

Carlos Silva, Replicated Antivirus Engine, Mestrado em Segurança Informática (University of Lisboa) & Master Of Science in Information Technology – Information Security (Carnegie Mellon University)


FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery

December 31, 2008

FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery
Alysson Neves Bessani, Hans P. Reiser, Paulo Sousa, Ilir Gashi, Vladimir Stankovic, Tobias Distler, Rüdiger Kapitza, Alessandro Daidone, Rafael R. Obelheiro
In Middleware (Companion),  Leuven, Belgium, pages 99-101, December 2008.


Miguel Garcia (BSc internship, ongoing)

September 1, 2008

Miguel Garcia, Coexistence of different operating systems using Xen, BSc internship (Co-advised with Alysson Neves Bessani)


Proactive Resilience through Architectural Hybridization

April 21, 2006

Proactive Resilience through Architectural Hybridization
[paper | slides]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC) – Volume 1, Dijon, France, pages 686-690, April 2006.


Resilient State Machine Replication

December 20, 2005

Resilient State Machine Replication
[paper | slides with animations | slides without animations]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005.


How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?

June 30, 2005

How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
[paper | slides with animations | slides without animations]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN’05). Yokohama, Japan, pages 98-107, June 2005.