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

    Avoiding a cyber-triggered catastrophe

    October 28th, 2011

    An article I wrote two years ago (2009) for Atomium Culture was accepted one year ago (2010) and as a consequence it will be published in many European newspapers.

    I’ll be adding here the links to the articles as they get published:

    Next scheduled publications:

    • Irish Times (Ireland)
    • Rzcespospolita (Poland)


    João Sousa (Master student, finished)

    August 30th, 2010

    João Catarino de Sousa, Typhon: um Serviço de Autenticação e Autorização Tolerante a Intrusões, Master/Mestrado em Engenharia Informática (co-advised with Alysson Neves Bessani), July 2010.

    ReD: Resilient Database Clusters

    April 1st, 2010

    ReD is a two-year research project (Apr 2010-Mar 2012) funded by the Fundação para a Ciência e a Tecnologia.

    Looking for Creative Minds

    February 23rd, 2010

    If you feel that you are up to this challenge, please apply:

    Deadline: 26-March-2010

    REGENESYS: Regeneration of Replicated Systems

    January 6th, 2010

    REGENESYS is a three-year research project (Jan 2010-Dec 2012) funded by the Fundação para a Ciência e a Tecnologia.

    We have scholarships available to Master and PhD students that want to participate in this project. If you are interested in participating in this project, please send me an email.

    SMaRt replication library

    December 13th, 2009

    SMaRt is a high performance Byzantine-fault-tolerant state machine replication protocol developed in Java with simplicity and robustness as primary requirements. Our main objective is to provide a code base that can be used to build dependable services and also extended to create new protocols.

    Check the most recent release at

    Carnegie Mellon|Portugal Security and Dependability Academy

    December 1st, 2009

    14-15th December, 2009
    Faculdade de Ciências, Universidade de Lisboa

    *see the Academy brochure*

    The Carnegie Mellon|Portugal Security and Dependability Academy is an opportunity for professionals of computer science and engineering or related areas, interested in improving their skills, to get in touch with the experts involved in the Dual Carnegie Mellon University – University of Lisboa Master of Science in Information Technology–Information Security (MSIT-IS).

    The Academy will provide a sample of the topics taught during the MSIT-IS program through a set of exciting technical lectures and hands-on experiments in the program’s lab, where the attendees will get the chance to try live cyber-attack and defense technologies.

    Although inspired by the MSIT-IS, the academy will be interesting on its own as a forum for discussion of the latest concepts in Security and Dependability.

    After the lectures and laboratory experiments, the academy will close with the Pen Testing Trophy, where a victim machine will be subject to penetration testing by willing participants competing for a mysterious trophy.

    Check the Program, Lectures details, Instructors, etc.

    Efficient State Transfer for Recovery-Based Byzantine-Fault-Tolerant State Machine Replication

    September 1st, 2009

    Efficient State Transfer for Recovery-Based Byzantine-Fault-Tolerant State Machine Replication
    Rogério Correia, Paulo Sousa
    In Actas do INForum – Simpósio de Informática 2009, Lisbon, Portugal, September 2009.

    Francisco Vieira (BSc internship, finished)

    July 31st, 2009

    Francisco Vieira, Transparent Intrusion-Tolerant Name and Directory Service, BSc internship (Co-advised with Alysson Neves Bessani), September 2008 – July 2009.

    Rogério Correia (Master student, finished)

    July 22nd, 2009

    Rogério Paulo Fonseca Correia, WEST – Wormhole-Enhanced State Transfer, Master/Mestrado em Engenharia Informática, July 2009.