High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
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: 1675
149 Team MembersFilters -> Year: 2026
101
TITLE: Bare PAKE: Universally Composable Key Exchange from Just Passwords
AUTHORS: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 183-217
AUTHORS: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 183-217
102
TITLE: Berry: A code for the differentiation of Bloch wavefunctions from DFT calculations Full Text
AUTHORS: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe ; Ribeiro, Ricardo Mendes ;
PUBLISHED: 2024, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PAGES: 108972
AUTHORS: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe ; Ribeiro, Ricardo Mendes ;
PUBLISHED: 2024, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PAGES: 108972
103
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PAGES: 100919
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PAGES: 100919
104
TITLE: Can Current SDS Controllers Scale To Modern HPC Infrastructures?
AUTHORS: Miranda, Mariana; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Cazes, John; Macedo, Ricardo ; Pereira, Jose ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: 2024 Workshops of the International Conference for High Performance Computing Networking Storage and Analysis-SC-W in PROCEEDINGS OF SC24-W: WORKSHOPS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, PAGES: 861-868
AUTHORS: Miranda, Mariana; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Cazes, John; Macedo, Ricardo ; Pereira, Jose ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: 2024 Workshops of the International Conference for High Performance Computing Networking Storage and Analysis-SC-W in PROCEEDINGS OF SC24-W: WORKSHOPS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, PAGES: 861-868
105
TITLE: Characterizing Data Scientists in the Real World
AUTHORS: Paula Pereira; Jácome Cunha ; João Paulo Fernandes;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.12225
AUTHORS: Paula Pereira; Jácome Cunha ; João Paulo Fernandes;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.12225
INDEXED IN: 
DBLP
DBLP106
TITLE: Chronicles of CI/CD: A Deep Dive into its Usage Over Time
AUTHORS: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.17588
AUTHORS: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.17588
INDEXED IN: DBLP
DBLP107
TITLE: Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS Companion 2024, Cagliari, Italy, June 24-28, 2024
AUTHORS: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: EICS (Companion)
AUTHORS: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: EICS (Companion)
INDEXED IN: DBLP
DBLP108
TITLE: Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLISHED: 2024
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLISHED: 2024
INDEXED IN: DBLP
DBLP109
TITLE: Databases in Edge and Fog Environments: A Survey Full Text
AUTHORS: Meruje Ferreira, Luis Manuel ; Coelho, Fabio ; Pereira, Jose ;
PUBLISHED: 2024, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 56, ISSUE: 11, PAGES: 285:1-285:40
AUTHORS: Meruje Ferreira, Luis Manuel ; Coelho, Fabio ; Pereira, Jose ;
PUBLISHED: 2024, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 56, ISSUE: 11, PAGES: 285:1-285:40
110
TITLE: Designing Software with Complex Configurations
AUTHORS: Alcino Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.13633
AUTHORS: Alcino Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.13633
INDEXED IN: DBLP
DBLP111
TITLE: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1, PAGES: 1
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1, PAGES: 1
112
TITLE: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTHORS: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1242
AUTHORS: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1242
113
TITLE: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLISHED: 2024, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PAGES: 177-182
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLISHED: 2024, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PAGES: 177-182
114
TITLE: Embracing modern C plus plus features: An empirical assessment on the KDE community Full Text
AUTHORS: Lucas, Walter; Carvalho, Fausto; Nunes, Rafael Campos; Bonifacio, Rodrigo; Saraiva, Joao ; Accioly, Paola;
PUBLISHED: 2024, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 36, ISSUE: 5
AUTHORS: Lucas, Walter; Carvalho, Fausto; Nunes, Rafael Campos; Bonifacio, Rodrigo; Saraiva, Joao ; Accioly, Paola;
PUBLISHED: 2024, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 36, ISSUE: 5
115
TITLE: Enhancing the European power system resilience with a recommendation system for voluntary demand response
AUTHORS: Silva, Carlos A. M. ; Bessa, Ricardo J. ; Andrade, Jose R. ; Coelho, Fabio A. ; Costa, Rafael B.; Silva, Carlos Damas; Vlachodimitropoulos, George; Stavropoulos, Donatos; Chadoulos, Spiros; Rua, David E.;
PUBLISHED: 2024, SOURCE: ISCIENCE, VOLUME: 27, ISSUE: 12, PAGES: 111430
AUTHORS: Silva, Carlos A. M. ; Bessa, Ricardo J. ; Andrade, Jose R. ; Coelho, Fabio A. ; Costa, Rafael B.; Silva, Carlos Damas; Vlachodimitropoulos, George; Stavropoulos, Donatos; Chadoulos, Spiros; Rua, David E.;
PUBLISHED: 2024, SOURCE: ISCIENCE, VOLUME: 27, ISSUE: 12, PAGES: 111430
116
TITLE: Expert Systems in Information Security: A Comprehensive Exploration of Awareness Strategies Against Social Engineering Attacks
AUTHORS: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 34-43
AUTHORS: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 34-43
INDEXED IN: 
Scopus 
WOS
Scopus WOS117
TITLE: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
118
TITLE: Exploring Frama-C Resources by Verifying Space Software
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall119
TITLE: Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
120
TITLE: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
