F. Rocha

The Next Frontier: Managing Confidentiality and Integrity of Data in the Cloud

Miguel Correia, Salvador Abreu, Francisco Rocha, 2013 .

Meeting the Challenges of Critical and Extreme Dependability and Security

Paulo Veríssimo, Marcus Völp, Vincent Rahli, 2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).

Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems

Antonio Lima, Paulo Veríssimo, Marcus Völp, 2016, CPS-SPC '16.

Lucy in the sky without diamonds: Stealing confidential data in the cloud

Miguel Correia, Francisco Liberal Rocha, M. Correia, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).

Defense-in-Depth Against Malicious Insiders in the Cloud

Thomas Gross, Aad P. A. van Moorsel, Francisco Liberal Rocha, 2013, 2013 IEEE International Conference on Cloud Engineering (IC2E).

Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control

Paulo Veríssimo, Marcus Völp, Adam Lackorzynski, 2016, SysTEX@Middleware.

Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come

Paulo Veríssimo, Marcus Völp, Francisco Liberal Rocha, 2017, Security Protocols Workshop.

Logging Solutions to Mitigate Risks Associated with Threats in Infrastructure as a Service Cloud

Winai Wongthai, Francisco Rocha, Aad Van Moorsel, 2013, 2013 International Conference on Cloud Computing and Big Data.

A Generic Logging Template for Infrastructure as a Service Cloud

Aad P. A. van Moorsel, Francisco Liberal Rocha, Winai Wongthai, 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.