Segurança no Software (Software Security)
2ª Edição Atualizada e Aumentada
Miguel Pupo Correia and Paulo Jorge Sousa, FCA, 2017

Locality-Aware GC Optimisations for Big Data Workloads
Duarte Patrício, Rodrigo Bruno, José Simão, Paulo Ferreira e Luís Veiga

Rectify: Black-Box Intrusion Recovery in PaaS Clouds
David R. Matos, Miguel Pardal, Miguel Correia

POLM2: Automatic Profiling for Object Lifetime-Aware Memory Management for HotSpot Big Data Applications
Rodrigo Bruno, Paulo Ferreira

Generalized Paxos made Byzantine (and Less Complex)
Miguel Pires, Srivatsan Ravi and Rodrigo Rodrigues

Seer: Probabilistic Scheduling for Hardware Transactional Memory
Nuno Diegues, Paolo Romano, Stoyan Garbatov

CoopREP: Cooperative Record and Replay of Concurrency Bugs
N. Machado, P. Romano, L. Rodrigues

A Taxonomy of Adaptive Resource Management Mechanisms in Virtual Machines: Recent Progress and Challenges
José Simão, Luís Veiga

Cloud-Supported Certification for Energy-Efficient Web Browsing and Services
Gonçalo Avelar, José Simão, Luís Veiga

DroidPosture: A Trusted Posture Assessment Service for Mobile Devices
Sileshi Yalew, Gerald McGuire Jr, Seif Haridi, Miguel Correia

TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps
Sileshi Yalew, Pedro Mendonça, Gerald McGuire Jr, Seif Haridi, Miguel Correia

REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks
Naércio Magaia, Paulo Pereira, Miguel Correia

Xor-Based Topology Management Beyond Kademlia
Erick Lavoie, Laurie Hendren, and Miguel Correia