Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1133
37 Team MembersFilters -> Year: 2025
81
TITLE: Quantitative Global Memory
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2023, SOURCE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923, PAGES: 53-68
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2023, SOURCE: 29th International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, VOLUME: 13923, PAGES: 53-68
82
TITLE: Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs
AUTHORS: Moreno, Pedro ; Rocha, Ricardo ;
PUBLISHED: 2023, SOURCE: 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) in PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023, PAGES: 177-186
AUTHORS: Moreno, Pedro ; Rocha, Ricardo ;
PUBLISHED: 2023, SOURCE: 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) in PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023, PAGES: 177-186
83
TITLE: Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs
AUTHORS: Pedro Moreno; Ricardo Rocha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.06520
AUTHORS: Pedro Moreno; Ricardo Rocha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2302.06520
INDEXED IN:
DBLP

84
TITLE: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTHORS: Barbosa, Manuel ; Cirne, Andre ; Esquivel, Luis ;
PUBLISHED: 2023, SOURCE: 18th International Conference on Availability, Reliability and Security (ARES) in 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, PAGES: 14:1-14:11
AUTHORS: Barbosa, Manuel ; Cirne, Andre ; Esquivel, Luis ;
PUBLISHED: 2023, SOURCE: 18th International Conference on Availability, Reliability and Security (ARES) in 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, PAGES: 14:1-14:11
85
TITLE: Severity Analysis of Web3 Security Vulnerabilities Based on Publicly Bug Reports
AUTHORS: Rita Melo; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: Blockchain and Applications, 5th International Congress, BLOCKCHAIN 2023, Guimaraes, Portugal, 12-14 July 2023., VOLUME: 778, PAGES: 154-163
AUTHORS: Rita Melo; Pedro Pinto ; António Pinto ;
PUBLISHED: 2023, SOURCE: Blockchain and Applications, 5th International Congress, BLOCKCHAIN 2023, Guimaraes, Portugal, 12-14 July 2023., VOLUME: 778, PAGES: 154-163
INDEXED IN:
DBLP
CrossRef


86
TITLE: Sifu Reloaded: An Open-Source Gamified Web-Based CyberSecurity Awareness Platform (Short Paper)
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; Tiago Gasiba;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 5:1-5:8
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; Tiago Gasiba;
PUBLISHED: 2023, SOURCE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PAGES: 5:1-5:8
INDEXED IN:
Scopus
DBLP


87
TITLE: Skynet: a Cyber-Aware Intrusion Tolerant Overseer
AUTHORS: Freitas, Tadeu ; Soares, Joao ; Manuel E. Correia ; Rolando Martins ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S, PAGES: 111-116
AUTHORS: Freitas, Tadeu ; Soares, Joao ; Manuel E. Correia ; Rolando Martins ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S, PAGES: 111-116
88
TITLE: SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework
AUTHORS: Abubakar Sadiq Shehu; António Pinto ; Manuel E. Correia ;
PUBLISHED: 2023, SOURCE: 2023 International Conference on Smart Applications, Communications and Networking, SmartNets 2023 in International Conference on Smart Applications, Communications and Networking, SmartNets 2023, Istanbul, Turkey, July 25-27, 2023, PAGES: 1-7
AUTHORS: Abubakar Sadiq Shehu; António Pinto ; Manuel E. Correia ;
PUBLISHED: 2023, SOURCE: 2023 International Conference on Smart Applications, Communications and Networking, SmartNets 2023 in International Conference on Smart Applications, Communications and Networking, SmartNets 2023, Istanbul, Turkey, July 25-27, 2023, PAGES: 1-7
89
TITLE: Summarization of Massive RDF Graphs Using Identifier Classification
AUTHORS: dos Santos, Andre Fernandes ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: 28th International Conference on Graph-Based Representation and Reasoning (ICCS) in GRAPH-BASED REPRESENTATION AND REASONING, ICCS 2023, VOLUME: 14133, PAGES: 89-103
AUTHORS: dos Santos, Andre Fernandes ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: 28th International Conference on Graph-Based Representation and Reasoning (ICCS) in GRAPH-BASED REPRESENTATION AND REASONING, ICCS 2023, VOLUME: 14133, PAGES: 89-103
90
TITLE: The GANfather: Controllable generation of malicious activity to improve defence systems
AUTHORS: Pereira, Ricardo Ribeiro; Bono, Jacopo; Ascensao, Joao Tiago; Aparicio, David; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLISHED: 2023, SOURCE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PAGES: 133-140
AUTHORS: Pereira, Ricardo Ribeiro; Bono, Jacopo; Ascensao, Joao Tiago; Aparicio, David; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLISHED: 2023, SOURCE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PAGES: 133-140
91
TITLE: The use of gamification on cybersecurity awareness of healthcare professionals
AUTHORS: Ana Carreiro; Carina Silva; Mário Antunes ;
PUBLISHED: 2023, SOURCE: 2023 International Conference on ENTERprise Information Systems, CENTERIS 2023 - International Conference on Project MANagement, ProjMAN 2023 - International Conference on Health and Social Care Information Systems and Technologies, HCist 2023 in CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2023, Porto, Portugal, November 8-10, 2023., VOLUME: 239, PAGES: 526-533
AUTHORS: Ana Carreiro; Carina Silva; Mário Antunes ;
PUBLISHED: 2023, SOURCE: 2023 International Conference on ENTERprise Information Systems, CENTERIS 2023 - International Conference on Project MANagement, ProjMAN 2023 - International Conference on Health and Social Care Information Systems and Technologies, HCist 2023 in CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2023, Porto, Portugal, November 8-10, 2023., VOLUME: 239, PAGES: 526-533
INDEXED IN:
Scopus
DBLP


92
TITLE: Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach
AUTHORS: Dimosthenis Masouros; Dimitrios Soudris; Georgios Gardikis; Victoria Katsarou; Maria Christopoulou; George Xilouris; Hugo Ramón; Antonio Pastor; Fabrizio Scaglione; Cristian Petrollini; António Pinto ; João P Vilela ; Antonia Karamatskou; Nikolaos Papadakis; Anna Angelogianni; Thanassis Giannetsos; Luis Javier García Villalba; Jesús A Alonso López; Martin Strand; Gudmund Grov; ...More
PUBLISHED: 2023, SOURCE: 23rd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2023 in Embedded Computer Systems: Architectures, Modeling, and Simulation - 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings, VOLUME: 14385, PAGES: 379-391
AUTHORS: Dimosthenis Masouros; Dimitrios Soudris; Georgios Gardikis; Victoria Katsarou; Maria Christopoulou; George Xilouris; Hugo Ramón; Antonio Pastor; Fabrizio Scaglione; Cristian Petrollini; António Pinto ; João P Vilela ; Antonia Karamatskou; Nikolaos Papadakis; Anna Angelogianni; Thanassis Giannetsos; Luis Javier García Villalba; Jesús A Alonso López; Martin Strand; Gudmund Grov; ...More
PUBLISHED: 2023, SOURCE: 23rd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2023 in Embedded Computer Systems: Architectures, Modeling, and Simulation - 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings, VOLUME: 14385, PAGES: 379-391
93
TITLE: Towards the Concept of Spatial Network Motifs
AUTHORS: Ferreira, Jose; Barbosa, Alberto ; Ribeiro, Pedro ;
PUBLISHED: 2023, SOURCE: 11th International Conference on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS AND THEIR APPLICATIONS XI, COMPLEX NETWORKS 2022, VOL 2, VOLUME: 1078, PAGES: 565-577
AUTHORS: Ferreira, Jose; Barbosa, Alberto ; Ribeiro, Pedro ;
PUBLISHED: 2023, SOURCE: 11th International Conference on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS AND THEIR APPLICATIONS XI, COMPLEX NETWORKS 2022, VOL 2, VOLUME: 1078, PAGES: 565-577
94
TITLE: Using Balancing Methods to Improve Glycaemia-Based Data Mining
AUTHORS: Diogo Machado; Vítor Santos Costa ; Pedro Brandão ;
PUBLISHED: 2023, SOURCE: Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 5: HEALTHINF, Lisbon, Portugal, February 16-18, 2023., PAGES: 188-198
AUTHORS: Diogo Machado; Vítor Santos Costa ; Pedro Brandão ;
PUBLISHED: 2023, SOURCE: Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 5: HEALTHINF, Lisbon, Portugal, February 16-18, 2023., PAGES: 188-198
INDEXED IN:
DBLP

95
TITLE: Velocity-Aware Geo-Indistinguishability
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ;
PUBLISHED: 2023, SOURCE: 13th ACM Conference on Data and Application Security and Privacy (CODASPY) in PROCEEDINGS OF THE THIRTEENTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, CODASPY 2023, PAGES: 141-152
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ;
PUBLISHED: 2023, SOURCE: 13th ACM Conference on Data and Application Security and Privacy (CODASPY) in PROCEEDINGS OF THE THIRTEENTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, CODASPY 2023, PAGES: 141-152
96
TITLE: A Client-Centered Information Security and Cybersecurity Auditing Framework
AUTHORS: Antunes, Mario ; Maximiano, Marisa; Gomes, Ricardo;
PUBLISHED: 2022, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 12, ISSUE: 9, PAGES: 4102
AUTHORS: Antunes, Mario ; Maximiano, Marisa; Gomes, Ricardo;
PUBLISHED: 2022, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 12, ISSUE: 9, PAGES: 4102
97
TITLE: A Decentralised Real Estate Transfer Verification based on Self-Sovereign Identity and Smart Contracts
AUTHORS: Shehu, Abubakar Sadiq ; Pinto, Antonio ; Manuel E. Correia ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Security and Cryptography (SECRYPT) in SECRYPT : PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, VOLUME: 1, PAGES: 469-476
AUTHORS: Shehu, Abubakar Sadiq ; Pinto, Antonio ; Manuel E. Correia ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Security and Cryptography (SECRYPT) in SECRYPT : PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, VOLUME: 1, PAGES: 469-476
98
TITLE: A Matching Algorithm to Assess Web Interfaces
AUTHORS: Leal, Jose Paulo ; Primo, Marco;
PUBLISHED: 2022, SOURCE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOLUME: 1675, PAGES: 115-126
AUTHORS: Leal, Jose Paulo ; Primo, Marco;
PUBLISHED: 2022, SOURCE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOLUME: 1675, PAGES: 115-126
99
TITLE: A methodology for mapping cybersecurity standards into governance guidelines for SME in Portugal
AUTHORS: Bruno Azinheira; Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLISHED: 2022, SOURCE: 2022 International Conference on ENTERprise Information Systems, CENTERIS 2022 - International Conference on Project MANagement, ProjMAN 2022 and International Conference on Health and Social Care Information Systems and Technologies, HCist 2022 in CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., VOLUME: 219, PAGES: 121-128
AUTHORS: Bruno Azinheira; Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLISHED: 2022, SOURCE: 2022 International Conference on ENTERprise Information Systems, CENTERIS 2022 - International Conference on Project MANagement, ProjMAN 2022 and International Conference on Health and Social Care Information Systems and Technologies, HCist 2022 in CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., VOLUME: 219, PAGES: 121-128
INDEXED IN:
Scopus
DBLP


100
TITLE: A primer on gamification standardization
AUTHORS: de Queiros, RAP ; Pinto, M; Simões, A; Filipe, Portela ;
PUBLISHED: 2022, SOURCE: Research Anthology on Game Design, Development, Usage, and Social Impact, PAGES: 1-13
AUTHORS: de Queiros, RAP ; Pinto, M; Simões, A; Filipe, Portela ;
PUBLISHED: 2022, SOURCE: Research Anthology on Game Design, Development, Usage, and Social Impact, PAGES: 1-13
INDEXED IN:
Scopus
CrossRef

