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
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
Congratulations to Naércio Magaia for successfully defending his PhD thesis:
Efficient and Secure Routing in Wireless Ad Hoc Networks
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
Towards White-Box Modeling of Hardware Transactional Memory Systems
Daniel Castro, Diego Didona and Paolo Romano