Publications/All

From Navigators

• André Gil, “Platform architecture and data management for cloud-based buildings energy self-assessment and optimization”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Jan. 2022.

• Vasco Leitão, Ibéria Medeiros, “SRXCRM: Discovering Association Rules Between System Requirements and Product Specifications”, in In Proceedings of the International Workshop on Natural Language Processing for Requirements Engineering (NLP4RE), Apr. 2021.

• João Caseirito, Ibéria Medeiros, “Improving Web Application Vulnerability Detection Leveraging Ensemble Fuzzing”, in In Proceedings of the International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Apr. 2021.

• Wilson S. Melo Jr, Luis V. G. Tarelho, Bruno A. Rodrigues Filho, Alysson Bessani, Luiz F. R. C. Carmo, “Field surveillance of fuel dispensers using IoT-based metering and blockchains”, Journal of Network and Computer Applications, vol. 175, Feb. 2021.

• Fernando Alves, Aurélien Bettini, Pedro M. Ferreira, Alysson Bessani, “Processing Tweets for Cybersecurity Threat Awareness”, Information Systems, vol. 95, Jan. 2021.

• Miguel Moreira, “Imposição de Segurança em Aplicações Web a partir de Linguagem Intermédia”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2021.

• João Caseirito, Ibéria Medeiros, “Finding Web Application Vulnerabilities with an Ensemble Fuzzing (fast abstract)”, in In Proceedings of the 51st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'21), Jun. 2021.

• Gustavo Gonzalez-Granadillo, Mario Faiella, Ibéria Medeiros, Rui Azevedo, Susana Gonzalez-Zarzosa, “ETIP: An Enriched Threat Intelligence Platform for Improving OSINT Correlation, Analysis, Visualisation and Sharing Capabilities”, Journal of Information Security and Applications, Elsevier, vol. 58, May 2021.

• Vinicius Vielmo Cogo, João Paulo, Alysson Bessani, “GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data”, IEEE Transactions on Computers, vol. 70, no. 5, pp. 669–681, May 2021. DOI: 10.1109/TC.2020.2994774

• Vasco Leitão, “Prioritization of Software and System Requirements through Natural Language Processing for Testing Software”, Master’s thesis, Mestrado em Ciência em Dados, Nov. 2021.

• Ricardo Mendes, Tiago Oliveira, Vinicius Vielmo Cogo, Nuno Ferreira Neves, Alysson Bessani, “CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data”, IEEE Transactions on Cloud Computing, vol. 9, no. 4, pp. 1349–1361, Oct. 2021. 10.1109/TCC.2019.2916856

• Vinicius Vielmo Cogo, Alysson Bessani, “Brief Announcement: Auditable Register Emulations”, in 35th International Symposium on Distributed Computing (DISC 2021), Oct. 2021.

• Christian Berger, Hans P. Reiser, Alysson Bessani, “Making Reads in BFT State Machine Replication Fast, Linearizable, and Live”, in Proceedings of the 40th International Symposium on Reliable Distributed Systems (SRDS'21), Sept. 2021.

• Eduardo Viegas, Altair Santin, Vinicius Vielmo Cogo, Vilmar Abreu, “Facing the Unknown: a Stream Learning Intrusion Detection System for Reliable Model Updates”, in Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA), Apr. 2020.

• Roger Robson dos Santos, Eduardo Viegas, Altair Santin, Vinicius Vielmo Cogo, “A Long-lasting Reinforcement Learning Intrusion Detection Model”, in Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA), Apr. 2020.

• Vilmar Abreu, Altair Santin, Eduardo Viegas, Vinicius Vielmo Cogo, “Identity and Access Management for IoT in Smart Grid”, in Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA), Apr. 2020.

• BrunoLourenco, “Vulnerabilities Detection at Runtime and Continuous Auditing”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2020.

• Rui Pereira, “Automatização de Requisitos de Segurança em Aplicações Android”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2020.

• Alan Oliveira, António Casimiro, Raphael C. S. Machado, And Luiz F. R. da C. Carmo, “Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration”, Sensors, vol. 20, no. 792, Jan. 2020.

• Paolo Ferrari, Emiliano Sisinni, Paolo Bellagente, Stefano Rinaldi, Marco Pasetti, Alan Oliveira, Raphael C. S. Machado, And Luiz F. R. da C. Carmo, António Casimiro, “Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet”, IEEE Transactions on Industrial Electronics, vol. Early Access, pp. 1–1, Jun. 2020. DOI: 10.1109/TIE.2020.3001850

• Eduardo Viegas, Altair Santin, Vinicius Vielmo Cogo, Vilmar Abreu, “A Reliable Semi-Supervised Intrusion Detection Model: One Year of Network Traffic Anomalies”, in Proceedings of the 2020 IEEE International Conference on Communications (ICC), Jun. 2020.

• Ricardo Morgado, Ibéria Medeiros, Nuno Ferreira Neves, “Towards Web Application Security by Automated Code Correction”, in In Proceedings of the International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), May 2020.

• Ana Fidalgo, “Detecting Web Vulnerabilities in an Intermediate Language Resorting of Machine Learning Techniques”, Master’s thesis, Mestrado em Ciência em Dados, Nov. 2020.

• Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, “Generating Tests for the Discovery of Security Flaws in Product Variants”, in In Proceedings of the International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS), Oct. 2020.

• Ana Fidalgo, Ibéria Medeiros, Nuno Ferreira Neves, “Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants”, in In Proceedings of the Workshop on Testing of Configurable and Multi-variant Systems (ToCaMS), Oct. 2020.

• Vinicius Vielmo Cogo, “Efficient, Dependable Storage of Human Genome Sequencing Data”, Ph.D. dissertation, Faculdade de Ciências, Universidade de Lisboa, Sept. 2020.

• Claudio Martins, “Generating Threat Intelligence based on OSINT and a Cyber Threat Unified Taxonomy”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2020.

• Ibéria Medeiros, Nuno Ferreira Neves, “Effect of Coding Styles in Detection of Web Application Vulnerabilities”, in In Proceedings of the European Dependable Computing Conference (EDCC), Sept. 2020.

• Eduardo Viegas, Altair Santin, Alysson Bessani, Nuno Ferreira Neves, “BigFlow: Real-time and Reliable Anomaly-based Intrusion Detection for High-Speed Networks”, Future Generation Computer Systems, vol. 93, pp. 473–485, Apr. 2019.

• Rui Azevedo, Ibéria Medeiros, Alysson Bessani, “PURE: Generating Quality Threat Intelligence by Clustering and Correlating OSINT”, in In Proceedings of IEEE TrustCom, Aug. 2019.

• Adriano Serckumecka, Ibéria Medeiros, Bernardo Ferreira, Alysson Bessani, “SLiCER: Safe Long-term Cloud Event Archival”, in In Proceedings of the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Dec. 2019.

• Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “An Empirical Study on Combining Diverse Static Analysis Tools for Web Security Vulnerabilities based on Development Scenarios”, Computing, vol. 101, no. 2, pp. 161–185, Feb. 2019.

• Joao Paulino, “A Deep Dive Into Embedding Algorithms For Secure Network Virtualization”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jan. 2019.

• Rui Azevedo, “Leveraging OSINT to Improve Threat Intelligence Quality”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jan. 2019.

• Mario Faiella, Gustavo Gonzalez-Granadillo, Ibéria Medeiros, Rui Azevedo, Susana Gonzalez-Zarzosa, “Enriching Threat Intelligence Platforms Capabilities”, in In Proceedings of the International Conference on Security and Cryptography, Prague, Czech Republic (SECRYPT), Jul. 2019.

• Gustavo Gonzalez-Granadillo, Rodrigo Diaz, Ibéria Medeiros, Susana Gonzalez-Zarzosa, Dawid Machnicki, “LADS: A Live Anomaly Detection System based on Machine Learning Methods”, in In Proceedings of the Workshop on Security and Cryptography (with SECRYPT 2019), Jul. 2019.

• João de Sousa Alves, “CAN FD: a communication network for future avionic systems”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Portugal, Jun. 2019.

• Gustavo Gonzalez-Granadillo, Mario Faiella, Ibéria Medeiros, Rui Azevedo, Susana Gonzalez-Zarzosa, “Enhancing Information Sharing and Visualization Capabilities in Security Data Analytic Platforms”, in In Proceedings of the Workshop on Data-Centric on Security and Dependability (DCDS, with DSN 2019), Jun. 2019.

• Alan Oliveira, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo, “Bio-inspired System Identification Attacks in Noisy Networked Control Systems”, in Bio-inspired Information and Communication Technologies. BICT 2019., Compagnoni A., Casey W., Cai Y., Mishra B., Eds., ser. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer, Cham, Mar. 2019, vol. 289, pp. 28–38.

• Wilson Melo Jr, Alysson Bessani, Nuno Ferreira Neves, Altair Santin, Luis Carmo, “Using Blockchains to Implement Distributed Measuring Systems”, IEEE Transactions on Instrumentation and Measurement, vol. 68, no. 5, pp. 1503–1514, May 2019.

• Carlos Nascimento, “Evaluation of WSN Technology for Dependable Monitoring in Water Environments”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Nov. 2019.

• Gonçalo Jesus, “A dependability framework for WSN-based aquatic monitoring systems”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Nov. 2019.

• Vinicius Vielmo Cogo, Alysson Bessani, “Enabling the Efficient, Dependable Cloud-based Storage of Human Genomes”, in 1st Workshop on Distributed and Reliable Storage Systems (DRSS'19), Oct. 2019.

• Adriano Serckumecka, Ibéria Medeiros, Bernardo Ferreira, Alysson Bessani, “A Cost-Effective Cloud Event Archival for SIEMs”, in In Proceedings of the Workshop on Distributed and Reliable Storage Systems (DRSS, with SRDS 2019), Oct. 2019.

• Max Alaluna, Eric Vial, Nuno Ferreira Neves, Fernando Ramos, “Secure Multi-Cloud Network Virtualization”, Computer Networks, vol. 161, pp. 45–60, Oct. 2019.

• Luís Sacramento, Ibéria Medeiros, Jão Bota, Miguel Correia, Detecting Botnets and Unknown Network Attacks in Big Traffic Data. CRC Press, Oct. 2019, ch. 7, pp. 237–268.

• Carlos Nascimento, António Casimiro, Pedro M. Ferreira, “A Methodology to Automate the Selection of LPWA Technologies in WSN Applications”, in Simpósio de Informática (INFORUM), Guimarães, Portugal, Sept. 2019.

• Ricardo Morgado, “Invalidating web applications attacks by employing the right secure code”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2019.

• António Casimiro, José Cecílio, Pedro M. Ferreira, Anabela Oliveira, Paula Freire, Marta Rodrigues, Luís Almeida, “AQUAMON – A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments”, in Safecomp 2019 Fast Abstract, Turku, Finland, Sept. 2019.

• Ibéria Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia, “SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS”, IEEE Transactions on Reliability, vol. 68, no. 3, pp. 1168 – 1188, Sept. 2019.

• Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, “Geração de Testes de Software para Verificação de Faltas e Funcionalidades”, in Simpósio de Informática (INFORUM), Sept. 2019.

• Francisco Araujo, “Generating software tests to check for flaws and functionalities”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2019.

• António Casimiro, Emelie Ekenstedt, Elad M. Schiller, “Self-stabilizing Manoeuvre Negotiation: the Case of Virtual Traffic Lights”, in 38th International Symposium on Reliable Distributed Systems (SRDS 2019), Poster Session, Lyon, France, Sept. 2019.

• Henrique Mendes, “Security Auditing of a DLMS/COSEM Smart Grid Communication Protocol Implementation”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2018.

• José Rufino, “Non-intrusive Observation and Runtime Verification of Avionic Systems”, Ada User Journal, vol. 39, no. 4, pp. 300–304, Dec. 2018.

• José Rufino, “Hardware Support for Non-intrusive Runtime Verification on Processor Technologies”, Ada User Journal, vol. 39, no. 4, pp. 287–290, Dec. 2018.

• José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro, “Non-intrusive Runtime Verification within a System-on-Chip”, Ada User Journal, vol. 39, no. 4, pp. 296–299, Dec. 2018.

• Luis Sacramento, Ibéria Medeiros, João Bota, Miguel Correia, “FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data using Network Flows”, in Proceedings of the 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Jul. 2018.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “SieveQ: A Layered BFT Protection System for Critical Services”, IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3, pp. 511–525, Jun. 2018.

• Roberto Ponte, Ibéria Medeiros, Miguel Correia, “Fuzzing Ethereum Smart Contracts (research statement)”, in DSN Workshop on Byzantine Consensus and Resilient Blockchains (BCRB), Jun. 2018.

• Henrique Mendes, Ibéria Medeiros, Nuno Ferreira Neves, “Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework”, in Proceedings of the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun. 2018.

• João Sousa, Alysson Bessani, Marko Vukolić, “A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform”, in 48th IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2018.

• José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache, “NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems”, Ada User Journal, pp. 278–281, Jun. 2018.

• Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino, “A Real-Time System Monitoring driven by Scheduling Analysis”, Ada User Journal, pp. 282–286, Jun. 2018.

• Georg Jäger, Sebastian Zug, António Casimiro, “Generic Sensor Failure Modeling for Cooperative Systems”, Sensors, vol. 18, no. 925, Mar. 2018.

• Wilson Melo Jr, Luis Carmo, Alysson Bessani, Nuno Ferreira Neves, Altair Santin, “How Blockchains can improve Measuring Instruments Regulation and Control”, in International Instrumentation and Measurement Technology Conference (I2MTC), May 2018.

• João Amado, “Sketch-Based Attack Detection on Programmable Networks”, Master’s thesis, Mestrado em Engenharia Informática e de Computadores, Instituto Superior Técnico, Nov. 2018.

• Diego Kreutz, Jiangshan Yu, Paulo Verissimo, Fernando Ramos, Cátia Magalhães, “The KISS principle in Software-Defined Networking: a framework for secure communications”, IEEE Security & Privacy, Oct. 2018.

• Paulo Antunes, “Monitoring Web Applications for Vulnerability Discovery and Removal under Attack”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2018.

• Rui Marques, Salvatore Signorello, Fernando Ramos, “Named Data Networking with Programmable Switches”, in 1st P4 European Workhop, Sept. 2018.

• João lopes, Ibéria Medeiros, Sérgio Sá, “Infraestrutura de Chaves Públicas suportando Assinaturas na Cloud baseadas no eIDAS”, in Proceedings of the 10th Simpósio de Informática (INForum 2018), Coimbra, Portugal, Sept. 2018.

• José Soares, “Migration of networks in a multi-cloud environment”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2018.

• Rui Azevedo, Ibéria Medeiros, Alysson Bessani, “Automated Solution for Enrichment and Quality IoC Creation from OSINT”, in Proceedings of the 10th Simpósio de Informática (INForum 2018), Coimbra, Portugal, Sept. 2018.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Dependable Outlier Detection in Harsh Environments Monitoring Systems”, in Computer Safety, Reliability, and Security. SAFECOMP 2018, Gallina B., Skavhaug A., Schoitsch E., Bitsch F., Eds., ser. Lecture Notes in Computer Science, vol 11094. Springer, Cham, Sept. 2018, pp. 224–233.

• Paulo Antunes, Ibéria Medeiros, Nuno Ferreira Neves, “Remoção Automática de Vulnerabilidades usando Análise Estática de Código Direcionada”, in Proceedings of the 10th Simpósio de Informática (INForum 2018), Coimbra, Portugal, Sept. 2018.

• Pedro Maia, “Resilient Communications in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2018.

• Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “Benchmarking Static Analysis Tools for Web Security”, IEEE Transactions on Reliability, vol. 67, no. 3, pp. 1159 – 1175, Sept. 2018.

• Ivo Vacas, Ibéria Medeiros, Nuno Ferreira Neves, “Detecting Network Threats using OSINT Knowledge-based IDS”, in Proceedings of the 14th European Dependable Computing Conference (EDCC), Sept. 2018.

• Max Alaluna, Eric Vial, Nuno Ferreira Neves, Fernando Ramos, “Secure and Dependable Multi-Cloud Network Virtualization”, in 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures (XDOM0), Apr. 2017.

• Miguel Falé, “Improving Vulnerability Detection of WAP”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2017.

• João Sousa, Alysson Bessani, Marko Vukolić, “A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform (short paper)”, in Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, Dec. 2017.

• Bruno Vavala, “Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Jul. 2017.

• Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Margarida Gama-Carvalho, Maria Fernandes, Paulo Esteves-Verissimo, “How can photo sharing inspire sharing genomes?”, in Proceedings of the 11th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB'17), Porto, Portugal, Jun. 2017.

• Bruno Vavala, Nuno Neves, Peter Steenkiste, “Secure Tera-scale Data Crunching with a Small TCB”, in Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Jun. 2017.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Beatriz, Miguel Correia, “Demonstrating a Tool for Injection Attack Prevention in MySQL”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN)., Jun. 2017.

• António Casimiro, Inês Gouveia, José Rufino, “Enforcing Timeliness and Safety in Mission-Critical Systems”, in Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017, Vienna, Austria, Jun. 2017.

• André Nogueira, António Casimiro, Alysson Bessani, “Elastic State Machine Replication”, IEEE Transactions on Parallel and Distributed Systems, Mar. 2017.

• Manuel Mendonça, “Vulnerability Detection in Device Drivers”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Mar. 2017.

• Pedro Costa, Fernando Ramos, Miguel Correia, “Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce”, in IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), May 2017.

• Fabio Pereira, Nuno Ferreira Neves, Fernando Ramos, “Secure Network Monitoring Using Programmable Data Planes”, in Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), Nov. 2017.

• Pedro Costa, “Dependable MapReduce in a Cloud-of-Clouds”, Ph.D. dissertation, Doutoramento em Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2017.

• Arjuna Sathiaseelan, Mennan Selimi, Carlos Molina, Adisorn Lertsinsrubtavee, Leandro Navarro, Felix Freitag, Fernando Ramos, Roger Baig, “Towards Decentralised Resilient Community Clouds”, in 2nd Workshop on Middleware for Edge Clouds & Cloudlets, Nov. 2017.

• Ivo Vacas, Ibéria Medeiros, “Geração Automática de Conhecimento para SDI extraído de OSINTs”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• Miguel Falé, Ibéria Medeiros, Nuno Ferreira Neves, “Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• João de Sousa Alves, José Rufino, “Comparing the inaccessibility characteristics of CAN and CAN FD protocols”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• João de Sousa Alves, José Rufino, “On the (non-intrusive) observability of the CAN FD protocol”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

• Diogo Pinto, “Network coding data planes with programmable switches”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2017.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks”, Sensors, vol. 17, no. 9, Sept. 2017.

• João Sousa, Alysson Bessani, Marko Vukolić, “A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform”, arXiv, Tech. Rep. 1709.06921, Sept. 2017.

• Fabio Pereira, “Secure Network Monitoring Using Programmable Data Planes”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.

• Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study”, in Proceedings of the 13th European Dependable Computing Conference (EDCC), Sept. 2017.

• Ivo Vacas, “Geração Automática de Conhecimento para SDI extraído de OSINTs”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.

• Inês Gouveia, “Non-intrusive Observation and Runtime Verification of Cyber-physical Systems”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.

• Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Towards an Execution Environment for Intrusion-Tolerant Systems”, in Poster in the 11th European Conference on Computer Systems (EuroSys), London, UK, Apr. 2016.

• Vinicius Vielmo Cogo, Alysson Bessani, “Efficient Storage of Whole Human Genomes”, in Poster in the 11th European Conference on Computer Systems (EuroSys), London, UK, Apr. 2016.

• Antonio E. Ruano, Pedro M. Ferreira, Helder Duarte, Sergio Silva, Maria G. Ruano, “Self-Powered Wireless Sensor Network Designed for Energy Saving in HVAC Systems”, in ICWN'16 - The 15th International Conference on Wireless Networks, Las Vegas, Nevada, USA, Aug. 2016, pp. 36–42.

• Inês Gouveia, José Rufino, “Enforcing safety and security through non-intrusive runtime verification”, in Proceedings of the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Porto, Portugal, Dec. 2016, pp. 19–24. (co-located with the IEEE Real-Time Systems Symposium 2016 (RTSS 2016))

• Tiago Oliveira, Ricardo Mendes, Alysson Bessani, “Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations”, in Proceedings of the 20th International Conference On Principles Of DIstributed Systems (OPODIS'16), Dec. 2016.

• José Rufino, “Towards integration of adaptability and non-intrusive runtime verification in avionic systems”, ACM SIGBED Review, vol. 13, no. 1, Jan. 2016. (Special Issue on 5th Embedded Operating Systems Workshop)

• Hamid R. Khosravani, Maria del Mar Castilla, Antonio E. Ruano, Pedro M. Ferreira, “A Comparison of Energy Consumption Prediction Models Based on Neural Networks of a Bioclimatic Building”, Energies, vol. 9, no. 1, Jan. 2016.

• Vinicius Vielmo Cogo, Alysson Bessani, “From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories”, Communications and Innovations Gazette (ComInG), vol. 1, no. 1, pp. 1–11, Jan. 2016.

• André Correia, “Aprendizagem automática em larga escala nas redes sociais para a descoberta de ameaças de segurança”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2016.

• Pedro M. Ferreira, “Unsupervised Entropy-Based Selection of Data Sets for Improved Model Fitting”, in 2016 International Joint Conference on Neural Networks (IJCNN) (World Congress on Computational Intelligence), Vancouver, Canada, Jul. 2016, pp. 3330–3337.

• José Rufino, Inês Gouveia, “Timeliness runtime verification and adaptation in avionic systems”, in Proceedings of the 12th workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), Toulouse, France, Jul. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities”, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Jul. 2016.

• Alysson Bessani, Nuno Ferreira Neves, Paulo Verissimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, “JITeR: Just-In-Time Application-Layer Routing”, Computer Networks, vol. 104, pp. 122–136, Jul. 2016.

• Eduardo Adilio Pelinson Alchieri, Alysson Bessani, João Sousa, “Especificação de Replicação Máquina de Estados Dinâmica”, in XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, Jun. 2016.

• Max Alaluna, Fernando Ramos, Nuno Ferreira Neves, “(Literally) above the clouds: Virtualizing the network over multiple clouds”, in Proceedings of the IEEE Conference on Network Softwarization (NetSoft), Jun. 2016.

• Ruano A., Pesteh S., Silva S., Duarte H., Mestre G., Pedro M. Ferreira, Khosravani H., Horta R., “PVM-based intelligent predictive control of HVAC systems”, in 4th IFAC Conference on Intelligent Control and Automation Sciences, Reims, France, Jun. 2016, pp. 371–376.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Equipping WAP with Weapons to Detect Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.

• Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Secure Identification of Actively Executed Code on a Generic Trusted Component”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.

• Luís Ferrolho, Max Alaluna, Nuno Ferreira Neves, Fernando Ramos, “Secure and Dependable Virtual Network Embedding”, in Poster in the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Mar. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Hacking the DBMS to Prevent Injection Attacks”, in Proceedings of the ACM Conference on Data and Applications Security and Privacy (CODASPY), Mar. 2016.

• Regivaldo Costa, Fernando Ramos, “An SDN-based Approach to Enhance BGP Security”, in Poster in the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Santa Clara, CA, USA, Mar. 2016.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining”, IEEE Transactions on Reliability, vol. 65, no. 1, pp. 54–69, Mar. 2016.

• Eduardo Adilio Pelinson Alchieri, Alysson Bessani, Fabíola Greve, Joni da Silva Fraga, “Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants”, IEEE Transactions on Dependable and Secure Computing, Mar. 2016. accepted for publication

• André Mantas, Fernando Ramos, “Consistent and fault-tolerant SDN with unmodified switches”, in Poster in the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI), Mar. 2016.

• Fernando Ramos, Jon Crowcroft, Ian H White, “Blending Photons with Electrons to Reduce the Energy Footprint of IPTV Networks”, in IFIP Networking 2016, May 2016.

• Pedro Costa, Xiao Bai, Fernando Ramos, Miguel Correia, “Medusa: An Efficient Cloud Fault-Tolerant MapReduce”, in IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), May 2016.

• Antonio E. Ruano, Shabnam Pesteh, Sergio Silva, Helder Duarte, Gonçalo Mestre, Pedro M. Ferreira, Hamid R. Khosravani, Ricardo Horta, “The IMBPC HVAC system: A complete MBPC solution for existing HVAC systems”, Enegy and Buildings, vol. 120, pp. 145–158, May 2016.

• M. Lacoste, M. Miettinen, Nuno Ferreira Neves, Fernando Ramos, M. Vukolic, F. Charmet, R. Yaich, K. Oborzynski, G. Vernekar, Paulo Sousa, “User-Centric Security and Dependability in the Clouds-of-Clouds”, IEEE Cloud Computing, vol. 3, no. 5, pp. 64–75, Nov. 2016.

• Luís Ferrolho, “Secure and Dependable Virtual Network Embedding”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2016.

• André Mantas, “Consistent and Fault-Tolerant SDN Controller”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2016.

• Nuno Ferreira, “Preventing DoS attacks in multi-domain optical SDN”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2016.

• Frederico Brito, “Fast Reroute Usig Segment Routing for Smart Grids”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.

• Tiago Santos, “Deteção e Resposta a Intrusões em Dispositivos Móveis”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.

• Nuno Pereira, “A Knowledge-based, Secure and Dependable Self-Healing Architecture for the Smart Grid”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.

• Ibéria Medeiros, “Detection of Vulnerabilities and Automatic Protection for Web Applications”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Sept. 2016.

• André Correia, Pedro M. Ferreira, Alysson Bessani, “Descoberta de Ameaças de Segurança através do Twitter”, in Proceedings of Inforum'2016, Simpósio de Informática, Lisboa, Portugal, Sept. 2016.

• Fábio Botelho, Túlio Ribeiro, Paulo Ferreira, Fernando Ramos, Alysson Bessani, “Design and Implementation of a Consistent Datastore for a Distributed SDN Control Plane”, in Proceedings of The 12th European Dependable Computing Conference (EDCC), Sept. 2016.

• Joel Alcântara, “Low-cost Cloud-based Disaster Recovery for Transactional Databases”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2016.

• Inês Gouveia, José Rufino, “Non-intrusive runtime verification of embedded software”, in Proc. INForum 2016, 8º Simpósio de Informática - Poster Sessions, Lisboa, Portugal, Sept. 2016, pp. 1–2.

• Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, Flavio Junqueira, “Extensible Distributed Coordination”, in Proceedings of the 10th ACM European Conference on Computer Systems (EuroSys), Bordeux, France, Apr. 2015.

• Alysson Bessani, Ricardo Mendes, Tiago Oliveira, “On the Consistency of Heterogeneous Composite Objects”, in Proceedings of the 2nd Workshop on Principles and Practice of Consistency for Distributed Data - co-located with EuroSys, Bordeux, France, Apr. 2015.

• Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Methods and Tools for Assessment of Wireless Networks in Extreme Environments”, in IEEE International Conference on Wireless for Space and Extreme Environments 2015 (WiSEE), Miami, Florida, United States of America, Dec. 2015.

• Diego Kreutz, Fernando Ramos, Paulo Verissimo, Christian Rothenberg, Siamak Azodolmolky, Steve Uhlig, “Software-defined networking: A comprehensive survey”, Proceedings of the IEEE, vol. 103, no. 1, Jan. 2015.

• Radu Onica, “Secure GPS Clock Synchronization in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.

• Fernando Alves, “Vulnerability Discovery in Power Line Communications”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.

• João Sousa, Alysson Bessani, “Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines (extended version)”, Faculdade de Ciências, Universidade de Lisboa, Portugal, Tech. Rep. TR-2015-04, Jul. 2015.

• Fernando Alves, Vinicius Vielmo Cogo, Sebastian Wandelt, Ulf Leser, Alysson Bessani, “On-Demand Indexing for Referential Compression of DNA Sequences”, PLoS ONE, vol. 10, no. 7, pp. e0132460, Jul. 2015. DOI: 10.1371/journal.pone.0132460

• Hamid R. Khosravani, Antonio E. Ruano, Pedro M. Ferreira, “A Randomized Approximation Convex Hull Algorithm for High Dimensions”, in 2nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics CESCIT 2015, Maribor, Slovenia, Jun. 2015, pp. 123–128.

• Antonio E. Ruano, Gonçalo Mestre, Helder Duarte, Sergio Silva, Shabnam Pesteh, Hamid R. Khosravani, Pedro M. Ferreira, Ricardo Horta, “A neural-network based intelligent weather station”, in 2015 IEEE 9th International Symposium on Intelligent Signal Processing (WISP) Proceedings, Siena, Italy, May 2015.

• Fernando Ramos, Diego Kreutz, Paulo Verissimo, “Software-Defined Networks: On the Road to the Softwarization of Networking”, Cutter IT Journal, May 2015.

• Antonio E. Ruano, Sergio Silva, Shabnam Pesteh, Pedro M. Ferreira, Helder Duarte, Gonçalo Mestre, Hamid R. Khosravani, Ricardo Horta, “Improving a neural networks based HVAC predictive control approach”, in 2015 IEEE 9th International Symposium on Intelligent Signal Processing (WISP) Proceedings, Siena, Italy, May 2015.

• Gonçalo Jesus, Anabela Oliveira, Alberto Azevedo and António Casimiro, “Improving sensor-fusion with environmental models”, in Proceedings of 2015 IEEE Sensors, Busan, South Korea, Nov. 2015. DOI=10.1109/ICSENS.2015.7370654

• Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Verissimo, “A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data”, in Proceedings of the Workshop on Privacy in the Electronic Society (WPES 2015), Denver, CO, US, Oct. 2015.

• Catia Alexandra Bimbo Magalhaes, “Towards Secure Software-Defined Networks”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2015.

• Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Securing Passive Replication Through Verification”, in Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, Sept. 2015.

• Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.

• João Sousa, Alysson Bessani, “Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines”, in Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, Sept. 2015.

• Rúben Menezes, António Casimiro, José A. Alegria and Paulo T. Serrão, “Procura e Análise Automatizada de Superfícies Expostas e Passíveis de Ataque a Partir da Internet”, Sept. 2015.

• Alysson Bessani, Jörgen Brandt, Marc Bux, Vinicius Vielmo Cogo, Lora Dimitrova, Jim Dowling, Ali Gholami, Kamal Hakimzadeh, Michael Hummel, Mahmoud Ismail, Erwin Laure, Ulf Leser, Jan-Eric Litton, Roxanna Martinez, Jane Reichel, Salman Niazi, Karin Zimmermann, “BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets”, in Proceedings of the 1st Int. Workshop on Data Management and Analytics for Medicine and Healthcare (DMAH 2015), Hawaii, US, Sept. 2015.

• André Jesus, “Privacy Preserving Protocols for Smart Meters and Electric Vehicles”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.

• Ricardo Mendes, Tiago Oliveira, Alysson Bessani, “Exclusão Mútua Tolerante a Faltas Bizantinas na Cloud”, in INForum 2015, Sept. 2015.

• Rodrigo de Medeiros, “Secure Monitoring for a Secure Smart Grid”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.

• Radu Onica, Nuno Ferreira Neves, António Casimiro, “Fault-Tolerant Precision Time Protocol for Smart Grids”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives”, in Proceedings of the International World Wide Web Conference (WWW), Seoul, Korea, Apr. 2014.

• Tiago Oliveira, Ricardo Mendes, Alysson Bessani, “Sharing Files Using Cloud Storage Services”, in Proceedings of the 2nd Workshop on Dependability and Interoperability in Heterogeneous Clouds (DIHC), co-­located with Euro­-Par, Aug. 2014.

• Gonçalo Jesus, Anabela Oliveira, António Casimiro, “Ensuring Reliable Measurements in Remote Aquatic Sensor Networks”, in Proceedings of the 11th International Conference on Hydroinformatics, New York City, USA, Aug. 2014.

• Goncalo Miguel Alves Semedo, “Load Balancing in Real Software Defined Networks”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2014.

• Jeferson L. R. Souza, José Rufino, “The Wi-STARK Architecture For Resilient Real-Time Wireless Communications”, ACM SIGBED Review, vol. 11, no. 4, pp. 1–6, Dec. 2014. Special Issue on 4th Embedded Operating Systems Workshop (EWiLi), Lisbon, Portugal

• Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino, P. Costa, “An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance”, in Proceedings of the Workshop on Embedded Real-Time Software and Systems (ERTS2), Toulouse, France, Feb. 2014.

• Fabio Botelho, “A Consistent and Fault-Tolerant Data Store for Software Defined Networks”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Feb. 2014.

• André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator To Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions”, in Proceedings of the 3th International Conference on Sensor Networks (SENSORNETS), Lisbon, Portugal, Jan. 2014, pp. 212–220.

• Jeferson L. R. Souza, José Rufino, “Low Level Error Detection For Real-Time Wireless Communications”, in Proceedings of the 13th International Workshop on Real-Time Networks (RTN) - co-located with ECRTS, Madrid, Spain, Jul. 2014.

• Antonio E. Ruano, Guilherme Madureira, Ozias Barros, Hamid R. Khosravani, Maria G. Ruano, Pedro M. Ferreira, “Seismic detection using support vector machines”, Neurocomputing, vol. 135, pp. 273–283, Jul. 2014.

• Filipe Araujo, Serhiy Boychenko, Raul Barbosa, António Casimiro, “Replica Placement to Mitigate Attacks on Clouds”, Journal of Internet Services and Applications, vol. 5, no. 1, Jul. 2014.

• Ricardo Correia Pinto, José Rufino, “Towards Non-invasive Run-time Verification of Real-Time Systems”, in Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS), Madrid, Spain, Jul. 2014, pp. 25–28.

• Diego Kreutz, Fernando Ramos, Paulo Verissimo, “Anchors of Trust for Autonomic and Secure Configuration and Assessment in SDN”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in Proceedings of the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad M. Schiller, “Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed (Invited Paper)”, in Proceedings of the 13th International Workshop on Assurance in Distributed Systems and Networks (ADSN), co-located with ICDCS, Madrid, Spain, Jun. 2014.

• David Matos, Nuno Ferreira Neves, Alysson Bessani, “SITAN: Services for Ad Hoc Networks with Unknown Participants”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “Analysis of OS Diversity for Intrusion Tolerance”, Software: Practice and Experience, vol. 44, no. 8, pp. 735–770, Jun. 2014.

• Alysson Bessani, João Sousa, Eduardo Alchieri, “State Machine Replication for the Masses with BFT-SMART”, in Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• António Casimiro, José Rufino, Ricardo Correia Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce, Thomas Petig, “A Kernel-based Architecture fo Safe Cooperative Vehicular Functions (Invited Paper)”, in Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, Jun. 2014.

• Vinicius Vielmo Cogo, Alysson Bessani, “BiobankCloud - Platform as a Service for Biobanking”, in Poster in the 2nd Annual Next Generation Sequencing Data Congress, London, UK, May 2014.

• Alysson Bessani, Eduardo Alchieri, “A Guided Tour on the Theory and Practice of State Machine Replication”, in Tutorial in the 32th Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), Florianópolis, Brazil, May 2014.

• José Lopes, Nuno Ferreira Neves, “Stopping a Rapid Tornado with a Puff”, in Proceedings of the IEEE Symposium on Security and Privacy (Oakland), San Jose, USA, May 2014.

• Alysson Bessani, João Sousa, Eduardo Alchieri, “BFT-SMART: Uma Ferramenta Robusta para Replicação Máquina de Estados”, in Demo in the 32th Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), Florianópolis, Brazil, May 2014.

• Ricardo Correia Pinto, José Rufino, “Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems”, in Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi) - Poster Session, Lisbon, Portugal, Nov. 2014, pp. 1–2.

• Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha, “Towards Secure and Dependable Authentication and Authorization Infrastructures”, in Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Singapore, Nov. 2014.

• Tiago Andre Raposo Posse, “A Software Defined Networking Architecture for Secure Routing”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2014.

• Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Mechanisms to Enforce Dependability and Timeliness in Wireless Communications”, in Proceedings of the 2nd International IEEE Conference on Wireless for Space Applications and Extreme Environments (WiSEE), European Space Agency, Noordwijk, Netherlands, Oct. 2014, pp. 1–6.

• Fabio Botelho, Alysson Bessani, Fernando Ramos, Paulo Ferreira, “On the Design of Practical Fault-Tolerant SDN Controllers”, in Proceedings of the 3rd European Workshop on Software Defined Networks (EWSDN), Budapest, Hungary, Sept. 2014.

• Fernando Alves, Vinicius Vielmo Cogo, Alysson Bessani, “Indexação sob Demanda para a Compressão Referencial de Ficheiros de ADN”, in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 5–16.

• Ricardo Correia Pinto, José Rufino, “Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems”, in Communication at the Embedded and Real-Time Systems Session of the 6th Simpósio de Informática (INForum), Porto, Portugal, Sept. 2014, pp. 1–1.

• Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.

• João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, “Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”, in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.

• Diego Kreutz, Fernando Ramos, Paulo Verissimo, “Towards Secure and Dependable Software-Defined Networks”, in ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, China, Aug. 2013.

• João Pedro Craveiro, “Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures”, Ph.D. dissertation, University of Lisbon, Lisbon, Portugal, Aug. 2013. Defended in 2014

• Fernando Ramos, “Mitigating IPTV zapping delay”, IEEE Communications Magazine, vol. 51, no. 8, Aug. 2013.

• Paulo Verissimo, Alysson Bessani, “E-biobanking: What Have You Done to My Cell Samples?”, IEEE Security & Privacy, vol. 11, no. 6, pp. 62–65, Dec. 2013.

• Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Verissimo, “Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol”, in Middleware 2013, Eyers, David and Schwan, Karsten, Eds., ser. Lecture Notes in Computer Science. Beijing, China: Springer Berlin Heidelberg, Dec. 2013, vol. 8275, pp. 41–61.

• Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Verissimo, “Benchmarking some Portuguese S&T system research units (2nd Edition)”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2013-03, Feb. 2013.

• Oleksandr Malichevskyy, “Resilient Authentication Service”, Master’s thesis, Faculty of Sciences, University of Lisbon, Jan. 2013.

• Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, Paulo Verissimo, “Efficient Byzantine Fault-Tolerance”, IEEE Transactions on Computers, vol. 62, no. 1, pp. 16–30, Jan. 2013.

• Ibéria Medeiros, Nuno Neves, Miguel Correia, “Securing Energy Metering Software with Automatic Source Code Correction”, in IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany, Jul. 2013.

• Jeferson L. R. Souza, José Rufino, “Towards Resilient Real-Time Wireless Communications”, in 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, France, Jul. 2013, pp. 29–32.

• João Pedro Craveiro, José Rufino, “Global Laxity-Based Scheduling on Multiprocessor Resource Reservations”, in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 12–13.

• João Pedro Craveiro, José Rufino, “Uniform Multiprocessor Periodic Resource model”, in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 14–15.

• Vinicius Vielmo Cogo, André Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser, Alysson Bessani, “FITCH: Supporting Adaptive Replicated Services in the Cloud”, in Proceedings of the 13th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'13), Jim Dowling, Francois Taïani, Eds., Florence, Italy, Jun. 2013, pp. 15–28.

• António Casimiro, Jörg Kaiser, Elad Michael Schiller, P. Costa, José Parizi, Rolf Johansson, Renato Librino, “The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems”, in 2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS'13), Jun. 2013.

• Alysson Bessani, Marcel Santos, João Félix, Nuno Ferreira Neves, Miguel Correia, “On the Efficiency of Durable State Machine Replication”, in Proceedings of the 2013 USENIX Annual Technical Conference, Jun. 2013, pp. 169–180.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “An intrusion-tolerant firewall design for protecting SIEM systems”, in Workshop on Systems Resilience in conjunction with the Conference on Dependable Systems and Networks, Jun. 2013.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “BFT-TO: Intrusion Tolerance with”, The Computer Journal, vol. 56, no. 6, pp. 693–715, Jun. 2013.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Towards Dependable Measurements in Coastal Sensors Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• João Pedro Craveiro, Fernando Ramos, Eiman Kanjo, Nour El Mawass, “Towards an early warning system: the effect of weather on mobile phone usage. A case study in Abidjan”, in D4D book. Mobile phone data for development, Vincent Blondel, Nicolas de Cordes, Adeline Decuyper, Pierre Deville, Jacques Raguenez, Zbigniew Smoreda, Eds.. NetMob, May 2013, pp. 18:1–18:11.

• João Alves, António Casimiro, Luís Marques, “Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• Pedro Nóbrega da Costa, “Safety Kernel for Cooperative Sensor-Based Systems”, Master’s thesis, Faculty of Sciences, University of Lisbon, Lisbon, Portugal, Nov. 2013.

• Marcos Vasco, “Emulating Network Applications with a Software-Defined Networking Architecture”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2013.

• Alysson Bessani, João Sousa, Eduardo Alchieri, “State Machine Replication for the Masses with BFT-SMART”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2013-07, Nov. 2013. http://hdl.handle.net/10451/14170

• Jeferson L. R. Souza, José Rufino, “Analysing and Reducing Network Inaccessibility in IEEE 802.15.4 Wireless Communications”, in 38th IEEE Conference on Local Computer Networks (LCN 2013), Sydney, Australia, Oct. 2013, pp. 532–540.

• André Guerreiro, “Inaccessibility in Wireless Sensor Networks”, Master’s thesis, Faculty of Sciences, University of Lisbon, Oct. 2013.

• João Sousa, Alysson Bessani, “Evaluating State Machine Replication Over a WAN”, in Workshop on Planetary-Scale Distributed Systems (W-PSDS 2013), Braga, Portugal, Sept. 2013.

• André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation”, in 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 432–443.

• Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

• Kleomar Almeida, Ricardo Correia Pinto, José Rufino, “Fault Detection in Time- and Space-Partitioned Systems”, in Communication at the 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 179–186.

• Luís Marques, António Casimiro, “Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models”, in 32nd International Symposium on Reliable Distributed Systems (SRDS 2013), Braga, Portugal, Sept. 2013.

• Hamid R. Khosravani, Antonio E. Ruano, Pedro M. Ferreira, “A simple algorithm for convex hull determination in high dimensions”, in 2013 IEEE 8th International Symposium on Intelligent Signal Processing, Funchal, Portugal, Sept. 2013, pp. 109–114.

• Alysson Bessani, João Sousa, Eduardo Alchieri, “... And StateMachine Replication for All with BFT-SMaRt”, Apr. 2012.

• Alysson Bessani, “(BFT) State Machine Replication: The Hype, The Virtue... and even some Practice”, Apr. 2012.

• João Pedro Craveiro, José Rufino, “Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2012-08, Dec. 2012. http://hdl.handle.net/10455/6891

• Filipe Araújo, Raul Barbosa, António Casimiro, “Replication for dependability on virtualized cloud environments”, in Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science, Montreal, Quebec, Canada, Dec. 2012, pp. 2:1–2:6. http://doi.acm.org/10.1145/2405136.2405138

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “Adaptare: Supporting automatic and dependable adaptation in dynamic environments”, ACM Transactions on Autonomous and Adaptive Systems, vol. 7, no. 2, pp. 18:1–18:25, Jul. 2012. http://doi.acm.org/10.1145/2240166.2240168

• Luís Marques, António Casimiro, “Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks”, Department of Informatics, University of Lisbon, Tech. Rep. 12--04, Jul. 2012. http://hdl.handle.net/10455/6873

• João Pedro Craveiro, Rui Ormonde Silveira, José Rufino, “hsSim: an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator”, in 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, Jul. 2012. hsSim at Google Code: https://code.google.com/p/hssim/

• João Pedro Craveiro, José Rufino, “Heterogeneous multiprocessor compositional real-time scheduling”, in 3rd International Real-Time Scheduling Open Problems Seminar (RTSOPS 2012), Pisa, Italy, Jul. 2012.

• Diego Kreutz, António Casimiro, Marcelo Pasin, “A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures”, in Proceedings of the 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), Stockholm, Sweden, Jun. 2012, pp. 87–95. http://dx.doi.org/10.1007/978-3-642-30823-9_7

• Amir Soltani Nezhad, António Casimiro, Paulo Verissimo, “A Multi-Layered Architecture for a Secure Virtualization Environment”, in Fast Abstract at the 2012 International Conference on Dependable Systems and Networks, Boston, MA, USA, Jun. 2012.

• Paulo Verissimo, Alysson Bessani, Marcelo Pasin, “The TClouds Architecture:Open and Resilient Cloud-of-clouds Computing”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Jun. 2012.

• António Casimiro, Paulo Verissimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan, “TRONE: Trustworthy and Resilient Operations in a Network Environment”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Boston, MA, USA, Jun. 2012, pp. 1–6. http://dx.doi.org/10.1109/DSNW.2012.6264694

• Vinicius Vielmo Cogo, “Diversity in automatic cloud computing resource selection”, Master’s thesis, Faculty of Sciences, University of Lisbon, Lisbon, Portugal, Mar. 2012.

• Mônica Dixit, Henrique Moniz, António Casimiro, “Timeout-based adaptive consensus: improving performance through adaptation”, in Proceedings of the 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Riva del Garda (Trento), Italy, Mar. 2012, pp. 492–497. http://doi.acm.org/10.1145/2245276.2245371

• Luís T. A. N. Brandão, Alysson Bessani, “On the Reliability and Availability of Replicated and Rejuvenating Systems Under Stealth Attacks and Intrusions”, Journal of the Brazilian Computer Society, vol. 18, pp. 61–80, Mar. 2012.

• João Antunes, “Network Attack Injection”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, May 2012.

• João Sousa, Alysson Bessani, “From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation”, in Ninth European Dependable Computing Conference (EDCC 2012), Sibiu, Romenia, May 2012, pp. 12.

• Rui Ormonde Silveira, “Design and implementation of a modular scheduling simulator for aerospace applications”, Master’s thesis, University of Lisbon, Lisbon, Portugal, Nov. 2012.

• Bruno Vavala, Nuno Neves, “Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions”, in Proceedings of the 31st IEEE Symposium on Reliable and Distributed Systems (SRDS), Oct. 2012.

• António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Daniel Santos Costa, José Parizi, Rolf Johansson, Renato Librino, “Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems”, in Stabilization, Safety, and Security of Distributed Systems, Andréa W. Richa, Christian Scheideler, Eds., ser. LNCS. Toronto, Canada: Springer Berlin Heidelberg, Oct. 2012, vol. 7596, pp. 232–235. http://dx.doi.org/10.1007/978-3-642-33536-5_22

• Jeferson L. R. Souza, André Guerreiro, José Rufino, “Characterizing Inaccessibility in IEEE 802.15.4 Through Theoretical Models and Simulation Tools”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

• Luís Marques, António Casimiro, “Towards dependable and stable perception in smart environments with timing and value faults”, in Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security, Magdeburg, Germany, Sept. 2012, pp. 151–161. http://dx.doi.org/10.1007/978-3-642-33675-1_13

• Ricardo Mendes, Tiago Oliveira, Marcelo Pasin, Alysson Bessani, “C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-Clouds”, in INFORUM 2012 - Simpósio de Informática, Almada, Portugal, Sept. 2012.

• João Pedro Craveiro, Jeferson L. R. Souza, José Rufino, Vincent Gaudel, Laurent Lemarchand, Alain Plantec, Stéphane Rubini, Frank Singhoff, “Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “DIVERSYS: DIVErse Rejuvenation SYStem”, in NFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

• Luís T. A. N. Brandão, Alysson Bessani, “On the Reliability and Availability of Systems Tolerant to Stealth Intrusion”, in Proceedings of the 5th Latin-American Symposium on Dependable Computing - LADC'11. São José dos Campos, Brazil. April 2011., Apr. 2011.

• Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa, “DepSky: Dependable and Secure Storage in a Cloud-of-Clouds”, in Proceedings of the 6th ACM SIGOPS/EuroSys European Systems Conference - EuroSys'11. Salzburg, Austria. April 2011., Apr. 2011.

• Fernando Ramos, Jon Crowcroft, Richard J Gibbens, Pablo Rodriguez, Ian H White, “Reducing channel change delay in IPTV by predictive pre-joining of TV channels”, Signal Processing: Image Communication, vol. 26, no. 7, Aug. 2011.

• André Nogueira, Mário Calha, “Predictability and Efficiency in Contemporary Hard RTOS for Multiprocessor Systems”, in Proceedings of the 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '11), vol. 2, Aug. 2011, pp. 3–8.

• Smruti Padhy, Diego Kreutz, António Casimiro, Marcelo Pasin, “Trustworthy and resilient monitoring system for cloud infrastructures”, in Proceedings of the Middleware 2011 Workshop on Posters and Demos Track, Lisbon, Portugal, Dec. 2011, pp. 3:1–3:2. http://dx.doi.org/10.1145/2088960.2088963

• Vitor Manuel Carujo Leitão, “IPv6 - A New Security Challenge”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2011.

• João Pedro Craveiro, Joaquim Rosa, José Rufino, “Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems”, in 32nd IEEE Real-Time Systems Symposium (RTSS 2011) — Work-in-Progress session, Vienna, Austria, Dec. 2011.

• T. Distler, R. Kapitza, Ivan Popov, Hans P. Reiser, W. Schroeder-Preikschat, “SPARE: Replicas on Hold”, in Proceedings of the 18th Annual Network & Distributed System Security Symposium, Feb. 2011.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “RITAS: Services for Randomized Intrusion Tolerance”, IEEE Transactions on Dependable and Secure Computing, vol. 8, n. 1, pp. 122-136, Jan.-Feb. 2011., Jan. 2011.

• João Pedro Craveiro, José Rufino, Frank Singhoff, “Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems”, ACM SIGBED Review, vol. 8, no. 3, Jul. 2011. Special issue on the ECRTS 2011WiP session (Porto, Portugal, Jul. 2011)

• Joaquim Rosa, João Pedro Craveiro, José Rufino, “Safe Online Reconfiguration of Time- and Space-Partitioned Systems”, in 9th IEEE International Conference on Industrial Informatics (INDIN 2011), Caparica, Lisbon, Portugal, Jul. 2011.

• Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Diverse OS Rejuvenation for Intrusion Tolerance”, in Poster in Supplement of the IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2011.

• Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “OS Diversity for Intrusion Tolerance: Myth or Reality?”, in Proceedings of the International Conference on Dependable Systems and Networks - DSN'11. Hong Kong, China, June 2011., Jun. 2011.

• Bernhard kauer, Paulo Verissimo, Alysson Bessani, “Recursive Virtual Machines for Advanced Security Mechanisms”, in Proceedings of the 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV'11). DSN'11 supplemental volume., Jun. 2011.

• Joaquim Rosa, “Development and Update of Aerospace Applications in Partitioned Architectures”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, May 2011.

• António Casimiro, Mônica Dixit, “From static to dynamic protocols: adapting timeouts for improved performance”, in I Workshop on Autonomic Distributed Systems (WoSIDA'11), May 2011.

• Luciana Arantes, Jonathan Lejeune, Madeleine Piffaretti, Olivier Marin, Pierre Sens, Julien Sopena, Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabricio Silva, “Étude d'une architecture MapReduce tolérant les fautes byzantines”, in the 20éme Rencontres francophones du parallélisme (RENPAR'11), Saint Malo, FR, May 2011.

• João Antunes, Nuno Ferreira Neves, “Automatically Complementing Protocol Specifications From Network Traces”, in 13th European Workshop on Dependable Computing, May 2011.

• João Antunes, Nuno Ferreira Neves, “Using Behavioral Profiles to Detect Software Flaws in Network Servers”, in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Nov. 2011.

• Jeferson L. R. Souza, José Rufino, “An Approach to Enhance the Timeliness of Wireless Communications”, in Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), Lisbon, November, 2011., Nov. 2011.

• Luís Marques, António Casimiro, “Lightweight Dependable Adaptation for Wireless Sensor Networks”, in 4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS 2011), in Proceedings of the 30th IEEE International Symposium on Reliable Distributed Systems Workshops, pages 26-35, Madrid, Spain, October 2011., Oct. 2011.

• João Antunes, Nuno Ferreira Neves, “DiveInto: Supporting Diversity in Intrusion-Tolerant Systems”, in Proceedings of the Symposium on Reliable Distributed Systems (SRDS), Oct. 2011.

• Miguel Garcia, “Diversity Management in Intrusion Tolerant Systems”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2011.

• João Sousa, Bruno Branco e Brito, Alysson Bessani, Marcelo Pasin, “Desempenho e Escalabilidade de uma Biblioteca de Replicação de Máquina de Estados Tolerante a Faltas Bizantinas”, in 3th Simpósio de Informática (INFORUM), Coimbra, Portugal, Sept. 2011.

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

• Eduardo Alchieri, Alysson Bessani, Joni Fraga, “A Dependable Infrastructure for Cooperative Web Services Coordination”, International Journal of Web Services Research. Vol. 7, Num. 2, pp. 43-64. April 2010., Apr. 2010.

• Valdir Stumm Júnior, Lau Cheuk Lung, Miguel Correia, Joni Fraga, Jim Lau, “Intrusion Tolerant Services Through Virtualization: a Shared Memory Approach”, in Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, April 2010., Apr. 2010.

• Luís Marques, António Casimiro, “Data Validity and Dependable Perception in Networked Sensor-Based Systems”, in 3rd International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'10), in Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), New Delhi, India, November 2010, Aug. 2010.

• João Sousa, “Typhon: um serviço de autenticação e autorização tolerante a intrusões”, Master’s thesis, Faculty of Sciences, University of Lisbon, Aug. 2010.

• António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., Architecting Dependable Systems VII, ser. LNCS. Springer, Dec. 2010, vol. 6420.

• Ricardo Correia Pinto, “Mechanisms for Enhanced Dependability and Timeliness in CAN”, Master’s thesis, Universidade Técnica de Lisboa, Instituto Superior Técnico, Dec. 2010.

• Alysson Bessani, “Active Quorum Systems: Specification and Correctness Proof”, Missing institution, Tech. Rep., Jul. 2010. DI-FCUL-TR 2010-02

• Bruno Vavala, Nuno Neves, “Randomized Consensus in Wireless Environments: A Case Where More is Better”, in Proceedings of the 3rd IEEE International Conference on Dependability (DEPEND), Jul. 2010.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Using Attack Injection on Closed Protocols”, in Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.

• Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabricio Silva, Luciana Arantes, Olivier Marin, Pierre Sens, Julien Sopena, “Making Hadoop MapReduce Byzantine Fault-Tolerant”, in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.

• João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Rui Neves, “Vulnerability Removal with Attack Injection”, IEEE Transactions on Software Engineering, Special issue on Evaluation and Improvement of Software Dependability, Jun. 2010.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, “Turquois: Byzantine Consensus in Wireless Ad hoc Networks”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010., Jun. 2010.

• Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung, “Asynchronous Byzantine Consensus with 2f+1 Processes”, in Proceedings of the 25th Annual ACM Symposium on Applied Computing, March 2010., Mar. 2010.

• Mônica Dixit, António Casimiro, “Adaptare-FD: A dependability-oriented adaptive failure detector”, in 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), Nov. 2010.

• Henrique Moniz, “Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Nov. 2010.

• Francisco M. Couto, Ivan Andrade, Pedro Gonçalves, Paulo Verissimo, “Benchmarking some Portuguese S&T system research units”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2010-07, Nov. 2010. http://hdl.handle.net/10455/6682

• João Pedro Craveiro, José Rufino, “Adaptability Support in Time- and Space-Partitioned Aerospace Systems”, in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.

• José Rufino, João Pedro Craveiro, Paulo Verissimo, “Architecting Robustness and Timeliness in a New Generation of Aerospace Systems”, in Architecting Dependable Systems VII, António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., ser. LNCS. Springer, Nov. 2010, vol. 6420.

• Mônica Dixit, Henrique Moniz, António Casimiro, “Timeout Adaptive Consensus: Improving Performance through Adaptation”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2010-06, Nov. 2010. http://hdl.handle.net/10455/6686

• Alysson Bessani, Miguel Correia, Paulo Sousa, “Active Quorum Systems”, in Proceedings of the 6th Workshop on Hot Topics in System Dependability - HotDep'10 (together with USENIX OSDI'10). Vancouver, Canada. October 2010., Oct. 2010.

• João Pedro Craveiro, José Rufino, “Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”, in FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, Guimarães, Portugal, Oct. 2010.

• José Rufino, João Pedro Craveiro, Paulo Verissimo, “Building a time- and space-partitioned architecture for the next generation of space vehicle avionics”, in Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen an der Ybbs, Austria, Oct. 2010.

• Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “EBAWA: Efficient Byzantine Agreement for Wide-Area Networks”, in Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium - HASE'10. San Jose, CA, USA. November 2010., Oct. 2010.

• João Pedro Craveiro, José Rufino, “Schedulability Analysis in Partitioned Systems for Aerospace Avionics”, in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sept. 2010.

• Luís Marques, António Casimiro, “Dependable Perception in Wireless Sensor Networks”, in Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, Sept. 2010.

• Bruno Quaresma, Alysson Bessani, Paulo Sousa, “Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sep. 2010., Sept. 2010.

• Joaquim Rosa, João Pedro Craveiro, José Rufino, “Exploiting AIR Composability towards Spacecraft Onboard Software Update”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sept. 2010.

• João Sousa, Alysson Bessani, Paulo Sousa, “Typhon: Um Serviço de Autenticação e Autorização Tolerante a Intrusões”, in 2th Simpósio de Informática (INFORUM), Sept. 2010.

• Andrei Agapi, Sebastien Soudan, Marcelo Pasin, Pascale Vicat-Blanc Primet, Thilo Kielmann, “Optimizing Deadline-Driven Bulk Data Transfers in Overlay Networks”, in 2009 Proceedings of 18th International Conference on Computer Communications and Networks, Aug. 2009.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Cheap Intrusion-Tolerant Protection for CRUTIAL Things”, Missing institution, Tech. Rep., Aug. 2009. DI-FCUL TR-2009-14

• Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “An Efficient Byzantine-Resilient Tuple Space”, IEEE Transactions on Computers. Vol. 58 no. 8. pp. 1080-1094. IEEE Computer Society. August 2009., Aug. 2009.

• Luís Fernandes Sousa, “Privacy Policy Dynamics in Location Sharing Applications”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2009.

• Francisco M. Couto, Tiago Grego, Catia Pesquita, Paulo Verissimo, “Handling self-citations using Google Scholar”, International Journal of Scientometrics, Informetrics and Bibliometrics, vol. 13, no. 2, Dec. 2009.

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments”, Department of Informatics, University of Lisboa, Tech. Rep. TR-09-19, Dec. 2009. http://hdl.handle.net/10455/3273

• Paulo Verissimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, “Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned”, in Proceedings of the 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), Waikoloa, Hawaii, January 2009., Jan. 2009.

• J. Domaschka, H. Schmidt, F. J. Hauck, R. Kapitza, Hans P. Reiser, “DOSGi: An Architecture for Instant Replication”, in Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Supplemental Volume, Jul. 2009.

• Luís Marques, António Casimiro, Mário Calha, “Design and development of a proof-of-concept platooning application using the HIDENETS architecture”, in Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Estoril, Lisboa, Portugal, June 2009, Jul. 2009.

• Wagner Saback Dantas, Alysson Bessani, Miguel Correia, “Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks”, in Proceedings of the DSN 2009 5th Workshop on Hot Topics in System Dependability (HotDep 2009), Estoril, Portugal. June 2009., Jun. 2009.

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

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

• François Aubry, Alysson Bessani, Paulo Sousa, “BFT Services Programming with a Dependable Tuple Space”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009., Jun. 2009.

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

• Hans P. Reiser, T. Distler, R. Kapitza, “Functional decomposition and interactions in hybrid intrusion-tolerant systems”, in Proceedings of the 3rd Workshop on Middleware-Application Interaction (MAI '09), Jun. 2009.

• Paulo Sousa, Alysson Bessani, Wagner Saback Dantas, Fábio Souto, Miguel Correia, Nuno Ferreira Neves, “Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, pp. 217-222, Jun-Jul 2009., Jun. 2009.

• Mônica Dixit, António Casimiro, Paulo Verissimo, “Probabilistic Adaptive Time-Aware Consensus”, in Eurosys 2009, WIP session, Nuremberg, Germany, March 2009, Mar. 2009.

• Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces”, IEEE Transactions on Parallel and Distributed Systems. Vol. 20 no. 3. pp. 419-43. IEEE Computer Society. March 2009., Mar. 2009.

• João Pedro Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda, “Embedded Linux in a partitioned architecture for aerospace applications”, in Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, May 2009.

• Helder Silva, A. Constantino, D. Freitas, Manuel Coutinho, S. Faustino, M. Mota, P. Colaço, José Sousa, L. Dias, B. Damjanovic, Marco Zulianello, José Rufino, “RTEMS Centre - Support and Maintenance Centre to RTEMS Operating System”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2009). Istanbul, Turkey, May 2009., May 2009.

• Tobias Schoofs, Sérgio Santos, Cássia Tatibana, José Anjos, José Rufino, James Windsor, “An Integrated Modular Avionics Development Environment”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA) 2009. Istanbul, Turkey, May 2009., May 2009.

• José Rufino, João Pedro Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor, “AIR Technology: a step towards ARINC 653 in space”, in Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.

• Paulo Verissimo, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, “Intrusion-Resilient Middleware Design and Validation”, in Information Assurance, Security and Privacy Services, ser. Handbooks in Information Systems. Emerald Group Publishing Limited, May 2009, vol. 4, pp. 615–678.

• António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Verissimo, “Applying architectural hybridization in networked embedded systems”, in Proceedings of the 7th IFIP WG 10.2 International Workshop (SEUS 2009), Software Technologies for Embedded and Ubiquitous Systems, LNCS 5860, Sunggu Lee and Priya Narasimhan (Eds), Newport Beach, CA, USA, November 2009, Nov. 2009.

• Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fernando Pereira, “Proactive Byzantine Quorum Systems”, in Proceedings of the XI International Symposium on Distributed Objects and Applications (DOA'09). LNCS XXXX. Vilamoura, Portugal., Nov. 2009.

• Henrique Moniz, Alessandra Tedeschi, Nuno Ferreira Neves, Miguel Correia, “A Distributed Systems Approach to Airborne Self-Separation, Computational Models, Software Engineering and Advanced Technologies in Air Transportation”, in Computational Models, Software Engineering and Advanced Technologies in Air Transportation, I. Oliveira, Eds.. IGI Global, Oct. 2009.

• Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “Highly-Resilient Services for Critical Infrastructures”, in Proceedings of the Workshop on Embedded Systems and Communications Security (ESCS). September 2009., Oct. 2009.

• Jeferson L. R. Souza, José Rufino, “Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15.4 ?”, in Actas do INForum - Simpósio de Informática 2009 (Work in Progress Session), Lisbon, Portugal, September 2009., Sept. 2009.

• Jeferson L. R. Souza, José Rufino, “Characterization of Inaccessibility in Wireless Networks - A Case Study on IEEE 802.15.4 Standard”, in Analysis, Architectures and Modelling of Embedded Systems. Proceedings of the Third IFIP TC 10 International Embedded Systems Symposium (IESS 2009), Langenargen, Germany, September, 2009. Series: IFIP Advances in Information and Communication Technology., Sept. 2009.

• João Antunes, Nuno Ferreira Neves, “Building an Automaton Towards Protocol Reverse Engineering”, in Simpósio de Informática Inforum 2009, Sept. 2009.

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

• João Pedro Craveiro, José Rufino, Tobias Schoofs, James Windsor, “Flexible Operating System Integration in Partitioned Aerospace Systems”, in Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, Sept. 2009.

• João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculty of Sciences, University of Lisbon, Sept. 2009.

• Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “Spin One’s Wheels? Byzantine Fault Tolerance with a Spinning Primary”, in Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS'09). Niagara Falls, USA., Sept. 2009.

• Luís Marques, António Casimiro, “Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications”, in Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, Lisboa, Portugal, September 2009, Sept. 2009.

• José Sousa, “Memory Protection and Qualification of Real-Time Operating Systems for Space Applications”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Sept. 2009.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomization can be a Healer: Consensus with Dynamic Omission Failures”, in Proceedings of the 23rd International Symposium on Distributed Computing (DISC 2009), pages 63-77, Sept. 2009.

• Paulo Sousa, Alysson Bessani, Rafael R. Obelheiro, “The FOREVER Service for Fault/Intrusion Removal”, in Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2008). Glasgow, UK, April 2008., Apr. 2008.

• Alysson Bessani, Eduardo Alchieri, Miguel Correia, Joni Fraga, “DepSpace: A Byzantine Fault-Tolerant Coordination Service”, in Proceedings of the 3rd ACM/SIGOPS/EuroSys European Systems Conference - EuroSys 2008. Glasgow, Scotland, April 2008., Apr. 2008.

• T. Distler, R. Kapitza, Hans P. Reiser, “Efficient State Transfer for Hypervisor-Based Proactive Recovery”, in Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (in conjunction with Eurosys 2008, Glasgow, Scotland, April 1, 2008), Apr. 2008.

• J. Domaschka, F. J. Hauck, T. Bestfleisch, Hans P. Reiser, R. Kapitza, “Multithreading Strategies for Replicated Objects”, in Proc. of the ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, Dec. 2008.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “The CRUTIAL Way of Critical Infrastructure Protection”, IEEE Security and Privacy, vol. 6, no. 6, pp. 44-51, Nov/Dec 2008., Dec. 2008.

• Alysson Bessani, Hans P. Reiser, Paulo Sousa, I. Gashi, V. Stankovic, T. Distler, R. Kapitza, A. Daidone, Rafael R. Obelheiro, “FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery”, in In Middleware (Companion), Leuven, Belgium, pages 99-101, December 2008., Dec. 2008.

• Tiago Carvalho, “Root Cause Analysis in Large and Complex Networks”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2008.

• Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fabíola Greve, “Byzantine Consensus with Unknown Participants”, in Proceedings of the 12th International Conference On Principles Of DIstributed Systems (OPODIS'08). LNCS 5401. Luxor, Egypt., Dec. 2008.

• Hans P. Reiser, R. Kapitza, “Fault and Intrusion Tolerance on the Basis of Virtual Machines”, in Tagungsband des 1. Fachgesprch Virtualisierung (Feb 11-12, 2008, Paderborn, Germany), Feb. 2008.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint”, International Journal of System of Systems Engineering, vol. 1, no. 1/2, pp. 78–95, Jan. 2008.

• Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Verissimo, “Information Assurance Technology Forecast 2008”, IEEE Security & Privacy, vol. 6, no. 1, pp. 10-17, January/February, 2008., Jan. 2008.

• Manuel Coutinho, José Rufino, Carlos Almeida, “Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm”, in Proceedings of the EUROMICRO Conference on Real-Time Systems (ECRTS 2008), Prague, Czech Republic, July 2008., Jul. 2008.

• Edgar Pascoal, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Jul. 2008.

• R. Kapitza, P. Baumann, Hans P. Reiser, “Using Object Replication for Building a Dependable Version Control System”, in Proceedings of the 8th IFIP WG International Conference on Distributed Applications and Interoperable Systems - DAIS, Jun. 2008.

• H. Schmidt, R. Kapitza, F. J. Hauck, Hans P. Reiser, “Adaptive Web Service Migration”, in Proceedings of the 8th IFIP WG International Conference on Distributed Applications and Interoperable Systems - DAIS, Jun. 2008.

• António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Verissimo, “A framework for dependable QoS adaptation in probabilistic environments”, in Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Fortaleza, Ceara, Brazil, March 2008., Mar. 2008.

• José Rufino, Ricardo Correia Pinto, Carlos Almeida, “FPGA-based Engineering of Bus Media Redundancy in CAN”, in Proceedings of the 12th CAN in Automation (CiA) International CAN Conference. Barcelona, Spain, March 2008., Mar. 2008.

• Edgar Pascoal, José Rufino, Tobias Schoofs, James Windsor, “AMOBA - ARINC 653 Simulator for Modular Space Based Applications”, in Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA 2008). Palma de Majorca, Spain, May 2008., May 2008.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Detection and Prediction of Resource-Exhaustion Vulnerabilities”, in Proceedings of the 19th IEEE International Symposium on Software Reliability Engineering, Seattle/Redmond, WA, USA, Nov. 2008.

• Sérgio Santos, José Rufino, Tobias Schoofs, Cássia Tatibana, James Windsor, “A Portable ARINC 653 Standard Interface”, in Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference, St. Paul, Minnesota, USA, October 2008., Oct. 2008.

• Mônica Dixit, António Casimiro, N. Laranjeiro, Marco Vieira, “Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions”, in Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Napoli, Italy, October 2008, Oct. 2008.

• Hugo Ortiz, Paulo Sousa, Paulo Verissimo, “Towards Intrusion-Tolerant Process Control Software”, in 4th National Conference on Segurança Informática nas Organizações (SINO 2008), Coimbra, Portugal, October 2008., Oct. 2008.

• Eduardo Alchieri, Alysson Bessani, Joni Fraga, “A Dependable Infrastructure for Cooperative Web Services Coordination”, in Proceedings of the 6th IEEE International Conference on Web Services - ICWS 2008, Beijing, China. September 2008., Sept. 2008.

• Miguel Correia, Alysson Bessani, Paulo Verissimo, “On Byzantine Generals with Alternative Plans”, Journal of Parallel and Distributed Computing, Vol. 68, Issue 9, pages 1291-1296, Elsevier., Sept. 2008.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Intrusion-Tolerant Protection for Critical Infrastructures”, Missing institution, Tech. Rep., Apr. 2007. Technical Report DI/FCUL TR-07-8. Department of Computer Science, University of Lisboa. April 2007.

• Marco Vieira, António Casimiro, Henrique Madeira, “Towards Timely ACID Transactions in DBMS”, in The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), Bangkok, Thailand, April 2007, Apr. 2007.

• Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Verissimo, “Analysis of a Redundant Architecture for Critical Infrastructure Protection”, in Architecting Dependable Systems V, Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marco Vieira, Eds., ser. LNCS. Springer, Aug. 2007, vol. 5135.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam, Andrea Bondavalli, Alessandro Daidone, “The CRUTIAL Architecture for Critical Information Infrastructures”, in Architecting Dependable Systems V, Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marco Vieira, Eds., ser. LNCS. Springer, Aug. 2007, vol. 5135.

• Manuel Coutinho, “Integração Modular de Dispositivos de Entrada/Saída em Plataformas de Controlo Distribuído”, Master’s thesis, Universidade Técnica de Lisboa, Instituto Superior Técnico, Dec. 2007. (in Portuguese)

• José Rufino, Ricardo Correia Pinto, Carlos Almeida, “A FPGA-based solution for enforcing dependability and timeliness in CAN”, in Proceedings of the IP Based Electronic System Conference and Exhibition (IP07). Grenoble, France, December 2007., Dec. 2007.

• Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Resilient Intrusion Tolerance through Proactive and Reactive Recovery”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Melbourne, Australia, pages 373-380, December 2007., Dec. 2007.

• José Rufino, Sérgio Filipe, “AIR Project Final Report”, University of Lisbon, DI-FCUL, Tech. Rep. TR-07-35, Dec. 2007. http://hdl.handle.net/10455/2982

• José Rufino, Sérgio Filipe, “AIR Project Summary Report”, University of Lisbon, DI-FCUL, Tech. Rep. TR-07-36, Dec. 2007. http://hdl.handle.net/10455/2955

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Verissimo, “Intrusion Tolerance in Wireless Environments: An Experimental Evaluation”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Dec. 2007.

• Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verissimo, “On the Effects of Finite Memory on Intrusion-Tolerant Systems”, in The 13th IEEE Pacific Rim International Symposiumon Dependable Computing (PRDC 07), Dec. 2007.

• Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Verissimo, “Worm-IT - A Wormhole-based Intrusion-Tolerant Group Communication System”, Journal of Systems & Software, vol. 80, n. 2, pages 178-197, Elsevier, February 2007, Feb. 2007.

• Fabio Favarim, Joni Fraga, Lau Cheuk Lung, Miguel Correia, “GridTS: A New Approach for Fault Tolerant Scheduling in Grid Computing”, in Proceedings of the 6th IEEE International Symposium on Network Computing and Applications (NCA), Jul. 2007, pp. 187–194.

• Hugo Ortiz, António Casimiro, “Architecture and Implementation of an Embedded Wormhole”, in Proceedings of the 2007 Symposium on Industrial Embedded Systems, Lisbon, Portugal, July 2007, Jul. 2007.

• Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed Systems”, in In Proceedings of the 6th IEEE International Symposium on Network Computing and Applications (NCA), pages 231-238, July 2007., Jul. 2007.

• António Casimiro, Marco Vieira, Henrique Madeira, “Middleware Support for Time-Elastic Database Applications”, in Fast Abstract at the 2007 International Conference on Dependable Systems and Networks, Edimburgh, UK, June 2007, Jun. 2007.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Hidden Problems of Asynchronous Proactive Recovery”, in Third Workshop on Hot Topics in System Dependability (HotDep 2007), Edinburgh, UK, Jun. 2007.

• António Casimiro, Jörg Kaiser, Paulo Verissimo, “Generic-Events Architecture: Integrating real-world aspects in event-based systems”, in Architecting Dependable Systems IV, Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, Eds., ser. LNCS. Springer, Jun. 2007, vol. 4615.

• Pan Jieke, João Redol, Miguel Correia, “Specification-Based Intrusion Detection System for Carrier Ethernet”, in In International Conference on Web Information Systems and Technologies(WEBIST 2007), Barcelona, Spain, March 2007, Mar. 2007.

• Fabio Favarim, Joni Fraga, Lau Cheuk Lung, Miguel Correia, João Santos, “Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids”, in In Proceedings of the 10th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC). May 2007., May 2007.

• Paulo Sousa, “Proactive Resilience”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, May 2007.

• José Rufino, Sérgio Filipe, Manuel Coutinho, Sérgio Santos, James Windsor, “ARINC 653 Interface in RTEMS”, in Proceedings of the DASIA 2007 "Data Systems in Aerospace" Conference, Napoli, Italy, May/June 2007., May 2007.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Finding Local Resource Exhaustion Vulnerabilities”, in Student paper in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Trollhättan, Sweden, November 2007., Nov. 2007.

• Emanuel Teixeira, João Antunes, Nuno Ferreira Neves, “Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades”, in Proceedings of the Segurança Informática nas Organizações, Nov. 2007.

• Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel Correia, Paulo Verissimo, “Automated Rule-Based Diagnosis Through A Distributed Monitor System”, IEEE Transactions on Dependable and Secure Computing, vol. 4, no. 4, pp. 266-279, Oct-Dec, 2007, Oct. 2007.

• Hans P. Reiser, António Casimiro, “Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks”, in 4th International Workshop on Dependable Embedded Systems (WDES-07), in conjunction with the 26th Symposium on Reliable Distributed Systems, Beijing, China, October 2007, Oct. 2007.

• Wagner Saback Dantas, Alysson Bessani, Joni Fraga, Miguel Correia, “Evaluating Byzantine Quorum Systems”, in In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS). October 2007., Oct. 2007.

• Alysson Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Verissimo, “When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus”, in Proceedings of 21st International Symposium on Distributed Computing (DISC 07), Sept. 2007.

• Paulo Verissimo, “Assumptions: The Trojan Horses of Secure Protocols”, in In V. Gorodetsky, I. Kotenko, and V.A. Skormin (Eds.): "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS) 2007, CCIS 1, pp. 34-41, 2007. Springer-Verlag., Sept. 2007.

• Emanuel Teixeira, “Ferramenta de Análise de Código para Detecção de Vulnerabilidades”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2007.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Proactive Resilience through Architectural Hybridization”, in Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, pages 686-690, April 2006., Apr. 2006.

• G. Dondossola, G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, Paulo Verissimo, “Critical Utility Infrastructure Resilience”, in In Workshop on Security and Networking in Critical Real-Time and Embedded Systems (CRTES'06), with RTAS'06, San Jose, California, USA, April 2006., Apr. 2006.

• Paulo Verissimo, Nuno Ferreira Neves, C. Cachin, J. A. Poritz, D. Powell, Yves Deswarte, R. J. Stroud, I. S. Welch, “Intrusion-Tolerant Middleware: The Road to Automatic Security”, IEEE Security & Privacy, vol. 4, no. 4, pp. 54-62, Jul./Aug. 2006., Aug. 2006.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture”, in Proceedings of the 1st International Workshop on Critical Information Infrastructures @ ISC’06, Samos - Greece, August 2006., Aug. 2006.

• João Manuel Alexandre Cardana, “Analisador Comportamental de Rede”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.

• Henrique Moniz, “Randomized Intrusion-Tolerant Asynchronous Services”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures”, Computer Journal. vol. 41, n. 1, pp 82-96, January 2006., Jan. 2006.

• Paulo Verissimo, “Thou Shalt Not Trust non-Trustworthy Systems”, Jul. 2006. Keynote at the Workshop on Assurance in Distributed Systems and Networks (ADSN2006), with the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisboa, Portugal, July 2006.

• Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces”, in In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS), July 2006., Jul. 2006.

• Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Verissimo, Rui Neves, “Using Attack Injection to Discover New Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, June 2006., Jun. 2006.

• Carlos Almeida, José Rufino, “Interconnected Embedded Systems: Challenges and Main Problems to Solve”, in Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06 Work in Progress Sessions), Torino, Italy, June, 2006., Jun. 2006.

• José Rufino, Paulo Verissimo, Guilherme Arroz, Carlos Almeida, “Control of Inaccessibility in CANELy”, in Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06), Torino, Italy, June, 2006., Jun. 2006.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomized Intrusion-Tolerant Asynchronous Services”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 568-577, June 2006, Jun. 2006.

• Paulo Verissimo, “Travelling through Wormholes: a new look at Distributed Systems Models”, SIGACT News, vol. 37, no. 1, pages 66-81, 2006., Mar. 2006.

• João Antunes, “Vulnerability Assessment Through Attack Injection”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2006.

• José Rufino, Carlos Almeida, Paulo Verissimo, Guilherme Arroz, “Enforcing Dependability and Timeliness in Controller Area Networks”, in Proceedings of the 32nd Annual Conference of the IEEE Industrial Electronics Society (IECON06), Paris, France, November, 2006., Nov. 2006.

• Paulo Sousa, “Proactive Resilience”, in In Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume. Coimbra, Portugal, pages 27-32, October 2006., Oct. 2006.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, William H. Sanders, “Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available”, in Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, pages 71-80, October 2006., Oct. 2006.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols”, in Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, October 2006, Oct. 2006.

• Fabio Favarim, Lau Cheuk Lung, Joni Fraga, Miguel Correia, “Fault-Tolerant Multiuser Computational Grids based on Tuple Spaces”, in In International Workshop on Dependability in Service-oriented Grids (WODSOG). October 1st, 2006, Leeds, UK, Oct. 2006.

• António Casimiro, Odorico Mendizabal, Paulo Verissimo, “On the development of dependable embedded applications using specialized wormholes”, in 3rd International Workshop on Dependable Embedded Systems (WDES-06), in conjunction with the 25th Symposium on Reliable Distributed Systems, Leeds, UK, October 2006, Oct. 2006.

• José Rufino, Paulo Verissimo, Carlos Almeida, Guilherme Arroz, “Integrating Inaccessibility Control and Timer Management in CANELy”, in Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006., Sept. 2006.

• Manuel Coutinho, Carlos Almeida, José Rufino, “VITRAL - A Text Mode Window Manager for Real-Time Embedded Kernels”, in Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006., Sept. 2006.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “A New Approach to Proactive Recovery”, in In Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pages 35-40, April 2005., Apr. 2005.

• Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Solving Vector Consensus with a Wormhole”, IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 12, pp. 1120-1131, December 2005., Dec. 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Resilient State Machine Replication”, in In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005., Dec. 2005.

• Manuel Mendonça, “ASASP – Actualização Segura de Aplicações em Sistemas POS”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jan. 2005.

• Marco Vieira, António Casimiro, Henrique Madeira, “TACID Transactions”, in Proceedings of the International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), Yokohama, Japan, June 2005, Jun. 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?”, in In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN'05). Yokohama, Japan, pages 98-107, June 2005., Jun. 2005.

• Nuno Diniz, José Rufino, “ARINC 653 In Space”, in Proceedings of the DASIA 2005 "Data Systems in Aerospace" Conference, Edimburgh, Scotland, May/June 2005., May 2005.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “A New Programming Model for Dependable Adaptive Real-Time Applications”, IEEE Distributed Systems Online, vol. 6, no. 5, 2005., May 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Proactive Resilience through Architectural Hybridization (extended version)”, Missing institution, Tech. Rep., May 2005. Technical Report DI/FCUL TR-05-8. Department of Computer Science, University of Lisboa. May 2005.

• Manuel Coutinho, José Rufino, Carlos Almeida, “Control of event handling timeliness in RTEMS”, in Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., Nov. 2005.

• Gonçalo Rijo, Carlos Almeida, José Rufino, “Gestão do consumo em microprocessadores: Aumento da autonomia sem comprometer a funcionalidade”, in Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Lisboa, Portugal, Novembro 2005., Nov. 2005.

• Manuel Coutinho, José Rufino, Carlos Almeida, “VITRAL: A text mode windows manager for RTEMS”, in Actas das Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC05), Novembro 2005., Nov. 2005.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, Lau Cheuk Lung, “Low Complexity Byzantine-Resilient Consensus”, Distributed Computing, vol. 17, n. 3, pp. 237--249, March 2005. http://www.springerlink.com/index/10.1007/s00446-004-0110-7, Oct. 2005.

• João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Rui Neves, “Diagnóstico de Vulnerabilidades através da Injecção de Ataques”, in 1ª Conferência Nacional sobre Segurança Informática nas Organizações (SINO 2005), Covilhã, Portugal., Oct. 2005.

• José Pascoal, Tiago Jorge, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “FTP Tolerante a Intrusões”, in In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005., Oct. 2005.

• Pan Jieke, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões”, in In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005, Oct. 2005.

• Miguel Correia, “Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertos”, Sept. 2005. V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - Livro Texto dos Minicursos, pp. 113-162, Sociedade Brasileira de Computação, Setembro de 2005

• António Casimiro, Jörg Kaiser, Paulo Verissimo, “An Architectural Framework and a Middleware for Cooperating Smart Components”, in Proceedings of the First Conference on Computing Frontiers, Ischia, Italy, April 2004, Apr. 2004.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “Dependable Adaptive Real-Time Applications in Wormhole-based Systems”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004, Jul. 2004.

• Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Wormhole-Aware Byzantine Protocols”, in 2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability - Obstacles and Solutions (FuDiCo: SOS), Bertinoro, Italy, June, 2004., Jun. 2004.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures”, Missing institution, Tech. Rep., Jun. 2004. Technical Report DI/FCUL TR-04-5. Department of Computer Science, University of Lisbon. June 2004.

• Marco Vieira, António Casimiro, Henrique Madeira, “Timely ACID Transactions in DBMS”, in Fast Abstract at the 2004 International Conference on Dependable Systems and Networks, Florence, Italy, June 2004, Jun. 2004.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems”, in In Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems. Florianopolis, Brasil, pages 174-183, October 2004, Oct. 2004.

• Rafael Ferraz, João Sequeira, Bruno Gonçalves, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “An Intrusion-Tolerant Web Server based on the DISTRACT Architecture”, in In Workshop on Dependable Distributed Data Management, Florianopolis, Brasil, pages 45-50, October 2004., Oct. 2004.

• Tiago Jorge, José Pascoal, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões”, in In 7ª Conferência sobre Redes de Computadores. Leiria, Portugal, pages 111-122, October 2004., Oct. 2004.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems”, Missing institution, Tech. Rep., Sept. 2004. Technical Report DI/FCUL TR-04-6. Department of Computer Science, University of Lisbon. July 2004.

• V. Cahill, António Casimiro, Jörg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Verissimo, M. Wu, “Proof-of-concept prototypes”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003

• G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, Jörg Kaiser, R. Meier, V. Reynolds, Paulo Verissimo, M. Wu, “The CORTEX Programming Model”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-19, Department of Computer Science, University of Lisbon. July 2003

• Claudia Carvalho, “Infra-estrutura de Chave Pública do Ministério da Justiça”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2003.

• Paulo Verissimo, Jörg Kaiser, António Casimiro, “An architecture to support interaction via Generic Events”, in 24th IEEE Real-time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, December 2003, Dec. 2003.

• G. Blair, C. Brudna, V. Cahill, António Casimiro, R. Cunningham, H. Duran-Limon, Jörg Kaiser, Pedro Martins, Paulo Verissimo, “Preliminary Specification of Basic Services and Protocols”, Missing institution, Tech. Rep., Feb. 2003. Technical Report DI/FCUL TR-03-18, Department of Computer Science, University of Lisbon. July 2003

• A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, D. Powell, B. Randell, James Riordan, Peter Ryan, William Simmionds, R. J. Stroud, Paulo Verissimo, M. Waidner, Andreas Wespi, “Conceptual Model and Architecture of MAFTIA”, University of Lisbon, DI-FCUL, Tech. Rep. TR-03-1, Feb. 2003. http://hdl.handle.net/10455/2978

• Paulo Verissimo, “Uncertainty and Predictability: Can they be reconciled?”, in Future Directions in Distributed Computing, pp. 108-113, Springer Verlag LNCS 2584, May, 2003, Jan. 2003.

• Paulo Verissimo, António Casimiro, “Event-Driven Support of Real-Time Sentient Objects”, in Proceedings of the Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, Jan 2003, Jan. 2003.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “Intrusion-Tolerant Architectures: Concepts and Design”, in Architecting Dependable Systems, ser. LNCS. Springer-Verlag, Jun. 2003, vol. 2677, pp. 3–36. Extended version in http://hdl.handle.net/10455/2954

• José Rufino, Paulo Verissimo, Guilherme Arroz, “Node Failure Detection and Membership in CANELy”, in Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN03). San Francisco, California, USA, June 2003., Jun. 2003.

• Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verissimo, “A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB Model”, in Proceedings of the 21st Simpósio Brasileiro de Redes de Computadores, Natal, Brasil, May 2003, May 2003.

• G. Blair, K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, Paulo Sousa, M. Wu, “Analysis and Design of Application Scenarios”, Missing institution, Tech. Rep., May 2003. Technical Report DI/FCUL TR-03-21, Department of Computer Science, University of Lisbon. July 2003

• Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Verissimo, “Low Complexity Byzantine-Resilient Consensus”, Missing institution, Tech. Rep., Oct. 2003. Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon. August 2003

• C. Brudna, V. Cahill, António Casimiro, R. Cunningham, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX system architecture”, Missing institution, Tech. Rep., Apr. 2002. Technical Report DI/FCUL TR-03-17, Department of Computer Science, University of Lisbon. July 2003

• Paulo Verissimo, António Casimiro, “The Timely Computing Base Model and Architecture”, IEEE Transactions on Computers - Special Issue on Asynchronous Real-Time Systems, vol. 51, n. 8, Aug 2002, Aug. 2002.

• Paulo Verissimo, “Lessons Learned with NavTech: a Framework for Reliable Large-Scale Applications”, Missing institution, Tech. Rep., Dec. 2002. Technical Report DI/FCUL TR-02-17, Department of Computer Science, University of Lisbon. December 2002

• Paulo Verissimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, Jörg Kaiser, “CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities”, in Proceedings of European Wireless 2002, Florence, Italy, February 2002, Feb. 2002.

• Paulo Verissimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, Jörg Kaiser, “CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects”, Missing institution, Tech. Rep., Feb. 2002. Technical Report DI/FCUL TR-02-1, Department of Computer Science, University of Lisbon. Feb 2002

• António Casimiro, Miguel Correia, “Recent Advances on the Timely Computing Base Model”, in Fast Abstract at the International Conference on Dependable Systems and Networks, Jan. 2002.

• J. Armstrong, C. Cachin, Miguel Correia, A. Costa, Hugo Miranda, Nuno Ferreira Neves, Nuno Miguel Neves, J. A. Poritz, B. Randell, Lau Cheuk Lung, Luís Rodrigues, R. J. Stroud, Paulo Verissimo, M. Waidner, I. S. Welch, “Complete Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002

• José Rufino, “Computational System for Real-Time Distributed Control”, Ph.D. dissertation, Technical University of Lisbon, Instituto Superior Técnico, Lisbon, Portugal, Jul. 2002.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “Intrusion-Tolerant Architectures: Concepts and Design.”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-03-5, Department of Computer Science, University of Lisbon. April 2003

• Paulo Verissimo, “Intrusion Tolerance: Concepts and Design Principles. A Tutorial”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-6, Department of Computer Science, University of Lisbon. July 2002.

• António Casimiro, Paulo Verissimo, “Generic Timing Fault Tolerance using a Timely Computing Base”, in Proceedings of the International Conference on Dependable Systems and Networks, Washington D.C., USA, June 2002, Jun. 2002.

• P. Barron, G. Biegel, V. Cahill, António Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX programming model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-15, Department of Computer Science, University of Lisbon. July 2003

• G. Biegel, C. Brudna, António Casimiro, Jörg Kaiser, C. Liu, C. Mitidieri, Paulo Verissimo, “Preliminary definition of CORTEX interaction model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The Design of a COTS Real-Time Distributed Security Kernel”, in Fourth European Dependable Computing Conference, Toulouse, France, October 2002© Springer-Verlag, http://www.springer.de/comp/lncs/, Oct. 2002.

• Paulo Sousa, Paulo Verissimo, “Towards a cooperating autonomous car”, in Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002, Oct. 2002.

• Pedro Martins, Paulo Verissimo, “The Timely Computing Base and its Future Trends”, in Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct. 2002., Oct. 2002.

• Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verissimo, “Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model”, in Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'2002), Suita, Japan, October 2002, Sept. 2002.

• A. Mostefaoui, M. Raynal, Paulo Verissimo, “The Logically Instantaneous Communication Mode: a Communication Abstraction”, Future Generation Computer Systems, vol. 17, no. 6, Apr. 2001.

• Miguel Antunes, Hugo Miranda, António Rito Silva, Luís Rodrigues, Jorge Martins, “Separating Replication from Distributed Communication: Problems and Solutions”, in in Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108Phoenix, Arizona, USA, Apr. 2001.

• Hugo Miranda, Alexandre Pinto, Luís Rodrigues, “Appia, a flexible protocol kernel supporting multiple coordinated channels”, in in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710.Phoenix, Arizona, USA (Poster session)., Apr. 2001.

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The Architecture of a Secure Group Communication System Based on Intrusion Tolerance”, in in Proceedings of the International Workshop on Applied Reliable Group Communication, Phoenix, Arizona, USA, April 2001., Apr. 2001.

• António Casimiro, Pedro Martins, Paulo Verissimo, Luís Rodrigues, “Measuring Distributed Durations with Stable Errors”, in Proceedings of the 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001, Dec. 2001.

• François Cosquer, Paulo Verissimo, Sacha Krakowiak, Loïc Decloedt, “Support for Distributed CSCW Applications”, in Recent Advances In Distributed Systems, S. Krakowiak, S.K. Shrivastava, Eds., ser. LNCS. Springer-Verlag, Jan. 2001, vol. 1752, ch. 13.

• Paulo Verissimo, Nuno Ferreira Neves, “Service and Protocol Architecture for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jan. 2001. Technical Report DI/FCUL TR-01-1. Department of Computer Science, University of Lisbon. January 2001

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The design of a COTS real-time distributed security kernel (extended version)”, Missing institution, Tech. Rep., Jan. 2001. Technical report, Department of Computer Science, University of Lisbon, 2001

• João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues, “The design of RTAppia”, in in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001., Jan. 2001.

• Paulo Verissimo, Luís Rodrigues, Distributed Systems for System Architects. Kluwer Academic Publishers, Jan. 2001. http://www.navigators.di.fc.ul.pt/dssa

• Carlos Almeida, José Rufino, “Improving real-time characteristics of a COTS Local Area Network”, in Proceedings of the International Conference on Communications in Computing (CIC2001). Las Vegas, Nevada, June 2001., Jun. 2001.

• Filipe Araújo, Luís Rodrigues, “Quality of Service in Indirect Communication Systems”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

• João Ventura, João Rodrigues, Luís Rodrigues, “Response Time Analysis of Composable Micro-Protocols”, in in Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342., May 2001.

• Alexandre Pinto, Hugo Miranda, Luís Rodrigues, “Light-Weight Groups: an implementation in Ensemble”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

• A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, B. Pfitzmann, D. Powell, B. Randell, James Riordan, R. J. Stroud, Paulo Verissimo, M. Waidner, Andreas Wespi, “MAFTIA Conceptual Model and Architecture”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2001-10, Nov. 2001. http://hdl.handle.net/10455/3044

• G. Biegel, G. Blair, V. Cahill, António Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, N. Riejers, Paulo Verissimo, “Definition of Application Scenarios”, Missing institution, Tech. Rep., Oct. 2001. Technical Report DI/FCUL TR-03-14, Department of Computer Science, University of Lisbon. July 2003

• António Casimiro, Paulo Verissimo, “Using the Timely Computing Base for Dependable QoS Adaptation”, in Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, New Orleans, USA, October 2001, Oct. 2001.

• Nuno Ferreira Neves, Paulo Verissimo, “First Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Sept. 2001. Technical Report DI/FCUL TR-01-6. Department of Computer Science, University of Lisbon. September 2001

• Luís Rodrigues, K. Guo, “Partitionable Light-Weight Groups”, in Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, Apr. 2000.

• Luís Rodrigues, M. Raynal, “Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems”, in In Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, April, 2000., Apr. 2000.

• C. Cachin, J. Camenisch, M. Dacier, Yves Deswarte, J.Dobson, D. Horne, K. Kursawe, J.-C. Laprie, J.-C. Lebraud, D. Long, T. McCutcheon, J. Muller, F. Petzold, B. Pfitzmann, D. Powell, B. Randell, M. Schunter, V. Shoup, Paulo Verissimo, G. Trouessin, R. J. Stroud, M. Waidner, I. S. Welch, “MAFTIA: Reference Model and Use Cases”, Missing institution, Tech. Rep., Aug. 2000. Technical Report DI/FCUL TR-00-5. Department of Computer Science, University of Lisbon. August 2000

• Luís Rodrigues, M. Raynal, “Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems”, in in Proceedings of the European Conference on Parallel Computing (Euro-Par 2000), Munchen, Germany, August, 2000., Aug. 2000.

… further results

Export to BibTeX

Navigators - Publications/All