Random Post: Spring 2010
RSS .92| RSS 2.0| ATOM 0.3
  • Home
  • #6 (no title)
  •  

    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.


    JBP – Java Byzantine Paxos

    December 18th, 2008

    JBP aims to provide a complete, modular and clear implementation of the Byzantine Paxos agreement protocol in Java programming language. Since there are several variants of this algorithm, we choose to implement Paxos at War, by Piotr Zielinski, for consensus and extended it to for total order multicast adding only one communication step and maintaining the quadratic message complexity using the usual technique proposed by Leslie Lamport in the Classical Paxos algorithm and later extended by Castro and Liskov in the BFT system.

    JBP was developed because there was no implementation of a fast Byzantine fault-tolerant Total order multicast protocol in Java. Moreover, JBP implementation follow the same line of the BFT system (implemented in C), but we want to separate state management (basically, checkpoints) from the core total order multicast algorithm.

    JBP is available to download, you are welcome to try it!


    Segurança e Disponibilidade através de Resiliência Proactiva

    July 9th, 2008

    Segurança e Disponibilidade através de Resiliência Proactiva (in portuguese)
    Paulo Sousa
    Prémio Científico IBM 2007 | IBM 2007 Scientific Award
    Available as Technical Report DI/FCUL TR-08-15.
    (media coverage)


    Proactive Resilience

    October 25th, 2006

    Proactive Resilience
    [paper | slides PPS | slides PDF]
    Paulo Sousa
    In Sixth European Dependable Computing Conference (EDCC-6) Supplementary Volume. Coimbra, Portugal, pages 27-32, October 2006.
    Also presented at the ReSIST Student Seminar: [slides PPS | slides PDF | video]


    Resilient State Machine Replication

    December 20th, 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.