Miguel P. Correia

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 3

Top Topics

Publish Subscribe

Service Management

Ubiquitous Environments

Top Venues

Publications

André S. Proença, Tiago R. Dias, Miguel P. Correia
Blockchain Based Residential Smart Rent. CoRR (2024)
João F. Santos, Miguel P. Correia, Tiago R. Dias
Blockchain-based Rental Documentation Management with Audit Support. CoRR (2024)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. MobiQuitous (2020)
Pedro Costa, Marcelo Pasin, Alysson Neves Bessani, Miguel P. Correia
On the Performance of Byzantine Fault-Tolerant MapReduce. IEEE Trans. Dependable Secur. Comput. 10 (5) (2013)
Naércio Magaia, Paulo Rogério Pereira, Miguel P. Correia
Selfish and malicious behavior in Delay-Tolerant Networks. Future Network & Mobile Summit (2013)
Alysson Neves Bessani, Miguel P. Correia, Bruno Quaresma, Fernando André, Paulo Sousa
DepSky: dependable and secure storage in a cloud-of-clouds. EuroSys (2011)
Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo
Automated Rule-Based Diagnosis through a Distributed Monitor System. IEEE Trans. Dependable Secur. Comput. 4 (4) (2007)