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

    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.


    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.


    Proactive Resilience through Architectural Hybridization

    April 21st, 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.


    RT-PSS: Real-time proactive secret sharing library for RTAI

    November 1st, 2005

    The Real-Time Proactive Secret Sharing Library (RT-PSS) for RTAI is an implementation of the Shamir’s secret sharing scheme and Herzberg’s proactive secret sharing algorithm. The library uses a port of GNU GMP in order to make multiple precision arithmetic operations.

    The current status of the implementation can be checked at SourceForge.net.

    Some initial experimental results can be found in here.


    A New Programming Model for Dependable Adaptive Real-Time Applications

    June 2nd, 2005

    A New Programming Model for Dependable Adaptive Real-Time Applications [paper (multimedia)]
    Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
    IEEE Distributed Systems Online, vol. 6, no. 5, 2005.


    Dependable Adaptive Real-Time Applications in Wormhole-based Systems

    June 28th, 2004

    Dependable Adaptive Real-Time Applications in Wormhole-based Systems [paper]
    Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
    In Proceedings of the International Conference on Dependable Systems and Networks (DSN’04), Florence, Italy, June 2004.


    CORTEX: CO-operating Real-time senTient objects: architecture and EXperimental evaluation (2001-2004)

    March 31st, 2004

    From 2001 until 2004, I participated in the CORTEX european project. My research work was primarily focused on building the support for dependable adaptive real-time applications.

    In this context, I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system. This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.


    TCB WinCE: Timely Computing Base for Windows CE

    November 13th, 2003

    I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system.

    The TCB is a distributed embedded component that provides a set of time related services to client applications: Timing Failure Detection of timed executions, Timely Execution of small functions, Duration Measurement of local or distributed computations. It can be used as a fundamental building block for the development of dependable real-time applications.

    This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.


    Concretização de um cenário de carros cooperantes num ambiente móvel sem fios

    September 30th, 2003

    Concretização de um cenário de carros cooperantes num ambiente móvel sem fios [paper in portuguese]
    Paulo Sousa, Pedro Martins, António Casimiro, Paulo Veríssimo
    In Actas da Sexta Conferência sobre Redes de Computadores (CRC’03), Bragança, Portugal, Set 2003.


    Towards a Cooperating Autonomous Car

    October 2nd, 2002

    Towards a Cooperating Autonomous Car [paper]
    Paulo Sousa, Paulo Veríssimo
    In Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002.