RSS .92| RSS 2.0| ATOM 0.3
  • Home
  • #6 (no title)
  •  

    Cheap Intrusion-Tolerant Protection for CRUTIAL Things

    June 30th, 2009

    Cheap Intrusion-Tolerant Protection for CRUTIAL Things
    Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    Available as Technical Report DI/FCUL TR-2009-14.


    Intrusion-Resilient Middleware Design and Validation

    May 29th, 2009

    Intrusion-Resilient Middleware Design and Validation
    Paulo Veríssimo, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
    In Information Assurance, Security and Privacy Services (Handbooks in Information Systems, volume 4), Emerald Group Publishing Limited, pp. 615-678, 2009.


    Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection

    April 7th, 2009

    Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
    Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, Fábio Souto, Miguel Correia, Nuno F. Neves
    In Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, Jun-Jul 2009, to appear.


    HIDENETS: HIghly DEpendable ip-based NETworks and Services (2006-2009)

    April 2nd, 2009

    From Jan 2006 until March 2009, I was involved in the HIDENETS project, supported by the European Commission.


    TIUP 2009 – 2nd stage

    April 2nd, 2009

    TIUP 2009 – 2nd stage, April 22, 2009

    Summary (in portuguese):

    O Torneio Inter-Universitário de Programação (TIUP) é um torneio de programação para estudantes universitários que proporciona uma excelente oportunidade para estes testarem a sua capacidade de resolução de problemas. Para além do aspecto competitivo, o TIUP possibilita também o convívio e troca de experiências entre alunos e professores das Universidades portuguesas.

    O torneio é composto por cinco ou seis provas mensais, realizadas entre Março e Setembro. Cada prova é organizada por uma comissão científica de uma Universidade portuguesa, responsável pela elaboração dos problemas e pela preparação e gestão do sistema web de avaliação automática (Mooshak).

    A participação é feita de forma remota em cada Universidade. As provas do TIUP são disputadas por equipas com (no máximo) 3 elementos, tendo a duração de 3 horas para resolução de 5 a 6 problemas com recurso às linguagens de programação C, C++ ou Java (outras linguagens podem eventualmente vir a ser utilizadas).

    A 2ª prova do TIUP 2009 será organizada pelo Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa, no dia 22 de Abril, entre as 17h e as 20h. A comissão científica é composta pelos seguintes elementos (por ordem alfabética):

    Francisco Couto
    Carlos Duarte
    Luis Cruz Filipe
    Hugo Miranda
    Isabel Nunes
    João Sarmento
    Paulo Sousa

    O URL do avaliador automático será divulgado em breve.


    INForum 2009

    March 28th, 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.


    WEST: Wormhole-Enhanced State Transfer

    March 23rd, 2009

    WEST: Wormhole-Enhanced State Transfer
    Rogério Correia, Paulo Sousa
    In Proceedings of the DSN 2009 Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM), Estoril, Portugal, June 2009.


    Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity

    March 23rd, 2009

    Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity
    Alysson N. Bessani, Alessandro Daidone, Ilir Gashi, Rafael R. Obelheiro, Paulo Sousa, Vladimir Stankovic
    In Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), Estoril, Portugal, June 2009.


    BFT Services Programming with a Dependable Tuple Space

    March 11th, 2009

    BFT Services Programming with a Dependable Tuple Space
    François Aubry, Alysson Bessani, Paulo Sousa
    In Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) – Fast Abstract, Estoril, Portugal, June 2009.


    Transparent Byzantine Fault-Tolerant Directory Service using COTS components

    March 10th, 2009

    Transparent Byzantine Fault-Tolerant Directory Service using COTS components
    Francisco Vieira, Paulo Sousa, Alysson Bessani
    In Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) – Fast Abstract, Estoril, Portugal, June 2009.