Segurança no Software (Software Security)
2ª Edição Atualizada e Aumentada
Miguel Pupo Correia and Paulo Jorge Sousa, FCA, 2017
Category Archives: Paper
New paper accepted at Cloud and Trusted Computing 2017
Locality-Aware GC Optimisations for Big Data Workloads
Duarte Patrício, Rodrigo Bruno, José Simão, Paulo Ferreira e Luís Veiga
Two papers accepted at Middleware 2017
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
New paper accepted at SSS 2017
Generalized Paxos made Byzantine (and Less Complex)
Miguel Pires, Srivatsan Ravi and Rodrigo Rodrigues
New paper accepted at ACM Journal of Transactions on Computer Systems
Seer: Probabilistic Scheduling for Hardware Transactional Memory
Nuno Diegues, Paolo Romano, Stoyan Garbatov
New journal paper accepted at Software Testing, Verification and Reliability. Wiley, 2017
CoopREP: Cooperative Record and Replay of Concurrency Bugs
N. Machado, P. Romano, L. Rodrigues
Two chapters accepted for a Springer’s book “Cloud Computing Principles, Systems and Applications, 2nd edition”
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
Two papers accepted at WiMob 2017
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
New paper accepted at MSWiM 2017
REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks
Naércio Magaia, Paulo Pereira, Miguel Correia
New paper accepted at SASO 2017
Xor-Based Topology Management Beyond Kademlia
Erick Lavoie, Laurie Hendren, and Miguel Correia