


default search action
Miguel Correia 0001
Miguel P. Correia 0001 – Miguel Pupo Correia
Person information
- affiliation: University of Lisbon, Instituto Superior Técnico, Portugal
Other persons with the same name
- Miguel Correia 0002
(aka: Miguel V. Correia 0002, Miguel Velhote Correia, Miguel Fernando Paiva Velhote Correia) — University of Porto, Faculty of Engineering / INESC-TEC, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j60]Bruno Branco, José Silvestre Serra Silva, Miguel Correia:
Cyber Attacks on Commercial Drones: A Review. IEEE Access 13: 9566-9577 (2025) - 2024
- [j59]Rafael Belchior, Jan Süßenguth, Qi Feng, Thomas Hardjono, André Vasconcelos, Miguel Correia:
A Brief History of Blockchain Interoperability. Commun. ACM 67(10): 62-69 (2024) - [j58]Rafael Belchior
, Limaris Torres
, Jonas Pfannschmidt
, André Vasconcelos
, Miguel Correia
:
BUNGEE: Dependable Blockchain Views for Interoperability. Distributed Ledger Technol. Res. Pract. 3(1): 7:1-7:25 (2024) - [j57]Cláudio Correia
, Rita Prates
, Luís Fonseca, Miguel Correia
, Luís E. T. Rodrigues:
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. Formal Aspects Comput. 36(4): 25:1-25:26 (2024) - [j56]Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia:
FingerCI: Writing industrial process specifications from network traffic. Int. J. Crit. Infrastructure Prot. 47: 100725 (2024) - [j55]Michele Ianni, Mila Dalla Preda, Kim-Kwang Raymond Choo, Miguel Pupo Correia:
Editorial: Special issue on software protection and attacks. J. Inf. Secur. Appl. 86: 103889 (2024) - [j54]Rafael Belchior
, Peter Somogyvari
, Jonas Pfannschmidt
, André Vasconcelos
, Miguel Correia
:
Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions. IEEE Trans. Reliab. 73(2): 1132-1146 (2024) - [c134]Shankar Subramanian, André Augusto, Rafael Belchior, André Vasconcelos, Miguel Correia:
Benchmarking Blockchain Bridge Aggregators. Blockchain 2024: 37-45 - [c133]João F. Santos, Miguel P. Correia, Tiago R. Dias:
Blockchain-based Rental Documentation Management with Audit Support. BRAINS 2024: 1-10 - [c132]André Augusto, Rafael Belchior, André Vasconcelos, Miguel Correia, Thomas Hardjono:
Multi-Party Cross-Chain Asset Transfers. ICBC 2024: 259-263 - [c131]Sebastião Sotto-Mayor, Rafael Belchior, Miguel Correia, André Vasconcelos:
An Enterprise Architecture Approach to Semantic Blockchain Interoperability. ICEIS (2) 2024: 614-621 - [c130]André Augusto, Rafael Belchior, Miguel Correia, André Vasconcelos, Luyao Zhang, Thomas Hardjono:
SoK: Security and Privacy of Blockchain Interoperability. SP 2024: 3840-3865 - [e4]Sokratis K. Katsikas
, Habtamu Abie
, Silvio Ranise
, Luca Verderame
, Enrico Cambiaso
, Rita Maria Ugarelli
, Isabel Praça
, Wenjuan Li
, Weizhi Meng
, Steven Furnell
, Basel Katt
, Sandeep Pirbhulal
, Ankur Shukla
, Michele Ianni
, Mila Dalla Preda
, Kim-Kwang Raymond Choo
, Miguel Pupo Correia, Abhishta Abhishta
, Giovanni Sileno, Mina Alishahi, Harsha K. Kalutarage
, Naoto Yanai
:
Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II. Lecture Notes in Computer Science 14399, Springer 2024, ISBN 978-3-031-54128-5 [contents] - [i16]Miguel Correia, Alceu Bissoto, Carlos Santiago, Catarina Barata:
XAI for Skin Cancer Detection with Prototypes and Non-Expert Supervision. CoRR abs/2402.01410 (2024) - [i15]André S. Proença, Tiago R. Dias, Miguel P. Correia:
Blockchain Based Residential Smart Rent. CoRR abs/2402.05737 (2024) - [i14]João F. Santos, Miguel P. Correia, Tiago R. Dias:
Blockchain-based Rental Documentation Management with Audit Support. CoRR abs/2402.06704 (2024) - [i13]João Romeiras Amado
, Francisco Pereira, David Pissarra, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos:
Peregrine: ML-based Malicious Traffic Detection for Terabit Networks. CoRR abs/2403.18788 (2024) - [i12]André Augusto, Rafael Belchior, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia:
XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges. CoRR abs/2410.02029 (2024) - 2023
- [j53]Diogo Vaz
, David R. Matos
, Miguel L. Pardal
, Miguel Correia
:
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. IEEE Access 11: 62394-62408 (2023) - [j52]David R. Matos
, Miguel L. Pardal
, António Rito Silva
, Miguel Correia
:
μVerum: Intrusion Recovery for Microservice Applications. IEEE Access 11: 78457-78470 (2023) - [j51]Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal
, Miguel Correia:
MultiTLS: using multiple and diverse ciphers for stronger secure channels. Comput. Secur. 132: 103342 (2023) - [j50]Rafael Belchior
, Luke Riley
, Thomas Hardjono
, André Vasconcelos
, Miguel Correia
:
Do You Need a Distributed Ledger Technology Interoperability Solution? Distributed Ledger Technol. Res. Pract. 2(1): 1:1-1:37 (2023) - [j49]Miguel Correia, Wellington Oliveira
, José Cecílio:
Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters. J. Syst. Archit. 145: 103035 (2023) - [j48]Diogo Vaz
, David R. Matos
, Miguel L. Pardal
, Miguel Correia
:
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. IEEE Trans. Cloud Comput. 11(2): 2011-2027 (2023) - [j47]David R. Matos
, Miguel L. Pardal
, Miguel Correia
:
Sanare: Pluggable Intrusion Recovery for Web Applications. IEEE Trans. Dependable Secur. Comput. 20(1): 590-605 (2023) - [c129]Cláudio Correia
, Miguel Correia
, Luís E. T. Rodrigues
:
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge. CCS 2023: 3018-3032 - [c128]Diogo Vaz, David R. Matos, Miguel L. Pardal
, Miguel Correia:
Automatic Generation of Distributed Algorithms with Generative AI. DSN-S 2023: 127-131 - [c127]Felix Monteiro
, Miguel Correia
:
Decentralised Autonomous Organisations for Public Procurement. EASE 2023: 378-385 - [c126]André Augusto
, Rafael Belchior, Imre Kocsis, László Gönczy, André Vasconcelos, Miguel Correia:
CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. ICBC 2023: 1-9 - [c125]Carlos Santiago, Miguel Correia, Maria Rita Verdelho, Alceu Bissoto, Catarina Barata:
Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes. ISIC/Care-AI/MedAGI/DeCaF@MICCAI 2023: 47-56 - [c124]Cláudio Correia, Rita Prates, Miguel Correia, Luís E. T. Rodrigues:
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. PRDC 2023: 111-122 - [c123]Daniel Andrade
, João Nuno Silva
, Miguel Correia:
I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. PRDC 2023: 198-208 - [c122]Rodrigo Silva
, Cláudio Correia
, Miguel Correia
, Luís E. T. Rodrigues:
Deduplication vs Privacy Tradeoffs in Cloud Storage. SAC 2023: 143-151 - [c121]João Romeiras Amado
, Francisco Chamiça Pereira
, Salvatore Signorello
, Miguel Correia
, Fernando M. V. Ramos
:
Poster: In-Network ML Feature Computation for Malicious Traffic Detection. SIGCOMM 2023: 1105-1107 - [c120]Hélio Borges, Daniel Andrade
, João Nuno Silva, Miguel Correia:
TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses. TrustCom 2023: 712-721 - [i11]Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues:
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version). CoRR abs/2308.03402 (2023) - [i10]Alysson Bessani, Miguel Correia, Tobias Distler, Rüdiger Kapitza, Paulo Esteves Veríssimo, Jiangshan Yu:
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols. CoRR abs/2312.05714 (2023) - 2022
- [j46]Daniel Andrade
, João Silva
, Miguel Correia
:
SRX-Secure Data Backup and Recovery for SGX Applications. IEEE Access 10: 35901-35918 (2022) - [j45]Rafael Belchior
, Sérgio Guerreiro
, André Vasconcelos
, Miguel Correia:
A survey on business process view integration: past, present and future applications to blockchain. Bus. Process. Manag. J. 28(3): 713-739 (2022) - [j44]Rafael Belchior, André Vasconcelos
, Sérgio Guerreiro
, Miguel Correia:
A Survey on Blockchain Interoperability: Past, Present, and Future Trends. ACM Comput. Surv. 54(8): 168:1-168:41 (2022) - [j43]Rafael Belchior
, André Vasconcelos
, Miguel Correia, Thomas Hardjono
:
Hermes: Fault-tolerant middleware for blockchain interoperability. Future Gener. Comput. Syst. 129: 236-251 (2022) - [j42]Cláudio Correia
, Miguel Correia
, Luís Rodrigues:
Omega: A Secure Event Ordering Service for the Edge. IEEE Trans. Dependable Secur. Comput. 19(5): 2952-2964 (2022) - [j41]Ibéria Medeiros
, Nuno Neves
, Miguel Correia
:
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. IEEE Trans. Reliab. 71(2): 1033-1056 (2022) - [c119]Filipe Apolinário
, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal
, Miguel Correia
:
ComSEC: Secure Communications for Baggage Handling Systems. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 329-345 - [c118]Filipe Apolinário
, Nelson Escravana, Éric Hervé, Miguel L. Pardal
, Miguel Correia:
FingerCI: generating specifications for critical infrastructures. SAC 2022: 183-186 - [c117]Vasco Guita, Daniel Andrade
, João Nuno Silva
, Miguel Correia:
Anonymous Trusted Data Relocation for TEEs. SEC 2022: 449-466 - [i9]Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia:
Learning to generate Reliable Broadcast Algorithms. CoRR abs/2208.00525 (2022) - 2021
- [j40]Ahad Niknia
, Miguel Correia, Jaber Karimpour
:
Secure cloud-of-clouds storage with space-efficient secret sharing. J. Inf. Secur. Appl. 59: 102826 (2021) - [c116]Rafael Belchior, André Vasconcelos
, Miguel Correia, Thomas Hardjono:
Enabling Cross-Jurisdiction Digital Asset Transfer. SCC 2021: 431-436 - [c115]Pedro Marques, Luís Dias, Miguel Correia:
CyberVTI: Cyber Visualization Tool for Intrusion Detection. NCA 2021: 1-9 - [c114]Mihail Brinza, Miguel Correia, João Pereira:
Virtual Static Security Analyzer for Web Applications. TrustCom 2021: 840-848 - [i8]Ahad Niknia, Miguel Correia, Jaber Karimpour:
Secure cloud-of-clouds storage with space-efficient secret sharing. IACR Cryptol. ePrint Arch. 2021: 666 (2021) - 2020
- [j39]Sérgio Guerreiro, Diogo Silva, Tiago Rosado, André Vasconcelos, Miguel Correia, Pedro Sousa:
Decentralized Business Process Control using Blockchain An experience report from two applications: Food Supply Chain and Car Registration. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 15: 15:1-15:41 (2020) - [j38]Ray Neiheiser
, Luciana Rech
, Manuel Bravo
, Luís E. T. Rodrigues, Miguel Correia
:
Fireplug: Efficient and Robust Geo-Replication of Graph Databases. IEEE Trans. Parallel Distributed Syst. 31(8): 1942-1953 (2020) - [c113]Diogo Serranito, André Vasconcelos
, Sérgio Guerreiro
, Miguel Correia:
Blockchain Ecosystem for Verifiable Qualifications. BRAINS 2020: 192-199 - [c112]Cláudio Correia, Miguel Correia, Luís Rodrigues:
Omega: a Secure Event Ordering Service for the Edge. DSN 2020: 489-501 - [c111]Rafael Belchior, Miguel Correia, André Vasconcelos:
Towards Secure, Decentralized, and Automatic Audits With Blockchain. ECIS 2020 - [c110]João Romeiras Amado, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
:
Poster: Speeding Up Network Intrusion Detection. ICNP 2020: 1-2 - [c109]Alexandra Figueiredo, Tatjana Lide, Miguel Correia:
Multi-Language Web Vulnerability Detection. ISSRE Workshops 2020: 153-154 - [c108]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: 262-272 - [c107]Luís Dias, Simão Valente, Miguel Correia:
Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS. NCA 2020: 1-10 - [c106]Alexandra Figueiredo, Tatjana Lide, David R. Matos
, Miguel Correia:
MERLIN: Multi-Language Web Vulnerability Detection. NCA 2020: 1-9 - [c105]Fábio Gomes, Miguel Correia:
Cryptojacking Detection with CPU Usage Metrics. NCA 2020: 1-10 - [c104]Gilberto Gomes, Luís Dias, Miguel Correia:
CryingJackpot: Network Flows and Performance Counters against Cryptojacking. NCA 2020: 1-10 - [c103]Arnaldo Gouveia, Miguel Correia:
Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection. NCA 2020: 1-8 - [c102]Filipe F. Martins, David R. Matos
, Miguel L. Pardal
, Miguel Correia:
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. NCA 2020: 1-9 - [c101]Marcelo Silva, Miguel Matos, Miguel Correia:
P2CSTORE: P2P and Cloud File Storage for Blockchain Applications. NCA 2020: 1-4 - [c100]Ricardo Moura
, David R. Matos
, Miguel L. Pardal
, Miguel Correia
:
MultiTLS: Secure Communication Channels with Cipher Suite Diversity. SEC 2020: 64-77 - [c99]Tiago Fernandes, Luís Dias, Miguel Correia:
C2BID: Cluster Change-Based Intrusion Detection. TrustCom 2020: 310-319 - [c98]Rafael Belchior, Benedikt Putz, Günther Pernul, Miguel Correia, André Vasconcelos
, Sérgio Guerreiro
:
SSIBAC: Self-Sovereign Identity Based Access Control. TrustCom 2020: 1935-1943 - [i7]Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia:
A Survey on Blockchain Interoperability: Past, Present, and Future Trends. CoRR abs/2005.14282 (2020) - [i6]Rafael Belchior, Sérgio Guerreiro, André Vasconcelos, Miguel Correia:
A Survey on Business Process View Integration. CoRR abs/2011.14465 (2020) - [i5]Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia:
MultiTLS: Secure communication channels with cipher suite diversity. IACR Cryptol. ePrint Arch. 2020: 1180 (2020)
2010 – 2019
- 2019
- [j37]Paulo Jorge Costa Nunes, Ibéria Medeiros
, José Fonseca
, Nuno Neves
, Miguel Correia, Marco Vieira
:
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. Computing 101(2): 161-185 (2019) - [j36]Ibéria Medeiros
, Miguel Beatriz, Nuno Neves
, Miguel Correia
:
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. IEEE Trans. Reliab. 68(3): 1168-1188 (2019) - [c97]Carlos Faria, Miguel Correia:
BlockSim: Blockchain Simulator. Blockchain 2019: 439-446 - [c96]Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia:
Pando: Personal Volunteer Computing in Browsers. Middleware 2019: 96-109 - [c95]Luís Dias
, Hélder Reia, Rui Neves
, Miguel Correia
:
OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms. NSS 2019: 199-220 - [c94]Rafael Belchior, Miguel Correia, André Vasconcelos
:
JusticeChain: Using Blockchain to Protect Justice Logs. OTM Conferences 2019: 318-325 - [c93]Erick Lavoie, Laurie J. Hendren, Frédéric Desprez, Miguel Correia:
Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. SASO 2019: 117-126 - [i4]Erick Lavoie, Laurie J. Hendren, Frédéric Desprez, Miguel Correia:
Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. CoRR abs/1904.11402 (2019) - [i3]Ibéria Medeiros, Nuno Neves, Miguel Correia:
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. CoRR abs/1910.06826 (2019) - 2018
- [j35]Paulo Jorge Costa Nunes, Iberia Medeiros
, José Fonseca
, Nuno Neves
, Miguel Correia
, Marco Vieira
:
Benchmarking Static Analysis Tools for Web Security. IEEE Trans. Reliab. 67(3): 1159-1175 (2018) - [j34]Naércio Magaia
, Carlos Borrego
, Paulo Rogério Pereira
, Miguel Correia
:
ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks. IEEE Trans. Veh. Technol. 67(11): 11154-11168 (2018) - [j33]Naércio Magaia
, Zhengguo Sheng, Paulo Rogério Pereira
, Miguel Correia:
REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks. IEEE Wirel. Commun. 25(3): 65-71 (2018) - [c92]David R. Matos
, Miguel L. Pardal, Pedro Adão
, António Rito Silva
, Miguel Correia
:
Securing Electronic Health Records in the Cloud. P2DS@EuroSys 2018: 1:1-1:6 - [c91]Miguel Pupo Correia:
Storing Critical Data in the Cloud: Challenges and Solutions. ICETE (1) 2018: 147-185 - [c90]Ray Neiheiser
, Daniel Presser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia:
Fireplug: Flexible and robust N-version geo-replication of graph databases. ICOIN 2018: 110-115 - [c89]Miguel Pupo Correia:
Storing Critical Data in the Cloud: Challenges and Solutions. ICSOFT 2018: 11-49 - [c88]Hylson Vescovi Netto, Aldelir Fernando Luiz, Miguel Correia
, Luciana de Oliveira Rech, Caio Pereira Oliveira:
Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes. ISCC 2018: 58-63 - [c87]David R. Matos
, Miguel L. Pardal
, Georg Carle, Miguel Correia:
RockFS: Cloud-backed File System Resilience to Client-Side Attacks. Middleware 2018: 107-119 - [c86]Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos
, Miguel Correia
:
Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. MobiQuitous 2018: 302-311 - [c85]Miguel Guerra, Benjamin Taubmann, Hans P. Reiser
, Sileshi Demesie Yalew, Miguel Correia:
Introspection for ARM TrustZone with the ITZ Library. QRS 2018: 123-134 - [c84]Filipe Apolinario
, Miguel L. Pardal
, Miguel Correia:
S-Audit: Efficient Data Integrity Verification for Cloud Storage. TrustCom/BigDataSE 2018: 465-474 - [c83]Luis Sacramento, Iberia Medeiros
, Joao Bota, Miguel Correia:
FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows. TrustCom/BigDataSE 2018: 567-572 - [i2]Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia:
Pando: a Volunteer Computing Platform for the Web. CoRR abs/1803.08426 (2018) - 2017
- [j32]Pedro A. R. S. Costa
, Fernando M. V. Ramos
, Miguel Correia:
On the Design of Resilient Multicloud MapReduce. IEEE Cloud Comput. 4(4): 74-82 (2017) - [j31]Hylson Vescovi Netto
, Lau Cheuk Lung, Miguel Correia
, Aldelir Fernando Luiz, Luciana Moreira Sá de Souza:
State machine replication in containers managed by Kubernetes. J. Syst. Archit. 73: 53-59 (2017) - [c82]Pedro A. R. S. Costa
, Fernando M. V. Ramos
, Miguel Correia:
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce. CCGrid 2017: 421-430 - [c81]Iberia Medeiros
, Miguel Beatriz, Nuno Ferreira Neves
, Miguel Correia:
Demonstrating a Tool for Injection Attack Prevention in MySQL. DSN 2017: 551-558 - [c80]Paulo Jorge Costa Nunes, Iberia Medeiros
, José Fonseca
, Nuno Ferreira Neves
, Miguel Correia, Marco Vieira
:
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. EDCC 2017: 121-128 - [c79]Arnaldo Gouveia, Miguel Correia:
A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection. IWANN (1) 2017: 432-446 - [c78]David R. Matos
, Miguel L. Pardal
, Miguel Correia:
Rectify: black-box intrusion recovery in PaaS clouds. Middleware 2017: 209-221 - [c77]Naércio Magaia
, Paulo Rogério Pereira
, Miguel Correia:
REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks. MSWiM 2017: 289-293 - [c76]Sileshi Demesie Yalew, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. NCA 2017: 351-358 - [c75]Naércio Magaia
, Carlos Borrego
, Paulo Pereira
, Miguel Correia:
PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks. Networking 2017: 1-9 - [c74]André Joaquim, Miguel L. Pardal, Miguel Correia:
Vulnerability-Tolerant Transport Layer Security. OPODIS 2017: 28:1-28:16 - [c73]Erick Lavoie, Miguel Correia, Laurie J. Hendren:
Xor-Overlay Topology Management beyond Kademlia. SASO 2017: 51-60 - [c72]Sileshi Demesie Yalew, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. TrustCom/BigDataSE/ICESS 2017: 240-247 - [c71]Sileshi Demesie Yalew, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
DroidPosture: A trusted posture assessment service for mobile devices. WiMob 2017: 1-8 - [c70]Sileshi Demesie Yalew, Pedro Mendonça, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
TruApp: A TrustZone-based authenticity detection service for mobile apps. WiMob 2017: 1-9 - [e3]Aris Gkoulalas-Divanis,