DepSky: Dependable and Secure Storage in a Cloud-of-Clouds
Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa
Proceedings of the 6th ACM SIGOPS/EuroSys European Systems Conference – EuroSys’11. Salzburg, Austria. April 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:

• El Pais (Spain)
• http://sociedad.elpais.com/sociedad/2011/10/28/actualidad/

• Frankfurter Allgemeine Zeitung (Germany)
• http://www.faz.net/artikel/C31277/schutzbeduerftige-it-systeme-einst-sehr-sicher-heute-unsicher-30435904.html

• Der Standard (Austria)
• http://derstandard.at/1304551384181/Avoiding-a-cyber-triggered-catastrophe

Next scheduled publications:

• Irish Times (Ireland)
• Rzcespospolita (Poland)

FNAC Colombo will host the launch ceremony on October 19, 2010, at 19:00.

Official invitation (in portuguese)

In 2008, Miguel P. Correia and myself decided to write a book on software security. Two years (of really hard work) after, it is finally available!

The book covers many themes related to software security, namely:

• Vulnerabilities, Attacks and Intrusions
• Buffer overflows, Cross-site scripting, SQL injection
• Protecting against Copy and Modification of Software
• Software Testing and Attack Injection
• Static Code Analysis
• Dynamic Protection Mechanisms
• Virtualization
• Trusted Computing

More details about the book (in portuguese) can be found at its official website, at the publisher (FCA) website, and it can be bought online at FCA | FNAC | Wook

Since 1-September-2010, I’m Director of Research & Innovation at Maxdata.

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
IEEE Transactions on Parallel and Distributed Systems, vol. 21, no. 4, pp. 452-465, Apr. 2010.

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
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
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.