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: 1576
149 Team MembersFilters -> Year: 2025
301
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
INDEXED IN: 
DBLP
DBLP302
TITLE: An Outlook on using Packet Sampling in Flow-based C2 TLS Malware Traffic Detection
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
303
TITLE: ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases
AUTHORS: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PAGES: 67-74
AUTHORS: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PAGES: 67-74
304
TITLE: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PAGES: 1-8
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PAGES: 1-8
305
TITLE: Balancing the Detection of Malicious Traffic in SDN Context
AUTHORS: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PAGES: 106-111
AUTHORS: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PAGES: 106-111
306
TITLE: Balancing the Detection of Malicious Traffic in SDN Context
AUTHORS: Bruno Salgado Machado; João Marco C Silva ; Solange Rito Lima; Paulo Carvalho;
PUBLISHED: 2021, SOURCE: Twelfth International Conference on Ubiquitous and Future Networks, ICUFN 2021, Jeju Island, South Korea, August 17-20, 2021, PAGES: 106-111
AUTHORS: Bruno Salgado Machado; João Marco C Silva ; Solange Rito Lima; Paulo Carvalho;
PUBLISHED: 2021, SOURCE: Twelfth International Conference on Ubiquitous and Future Networks, ICUFN 2021, Jeju Island, South Korea, August 17-20, 2021, PAGES: 106-111
INDEXED IN: DBLP
DBLP307
TITLE: Balancing the Formal and the Informal in User-centred Design Full Text
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 55-72
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 55-72
308
TITLE: BDUS. implementing block devices in user space
AUTHORS: Alberto Faria; Ricardo Macedo ; José Pereira; João Paulo;
PUBLISHED: 2021, SOURCE: Proceedings of the 14th ACM International Conference on Systems and Storage
AUTHORS: Alberto Faria; Ricardo Macedo ; José Pereira; João Paulo;
PUBLISHED: 2021, SOURCE: Proceedings of the 14th ACM International Conference on Systems and Storage
309
TITLE: BDUS: implementing block devices in user space
AUTHORS: Alberto Faria ; Ricardo Macedo ; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PAGES: 8:1-8:11
AUTHORS: Alberto Faria ; Ricardo Macedo ; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PAGES: 8:1-8:11
INDEXED IN: DBLP
DBLP310
TITLE: Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators
AUTHORS: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLISHED: 2021, SOURCE: 26th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2021 in ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021., PAGES: 498-504
AUTHORS: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLISHED: 2021, SOURCE: 26th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2021 in ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26 - July 1, 2021., PAGES: 498-504
311
TITLE: CAT: content-aware tracing and analysis for distributed systems. content-aware tracing and analysis for distributed systems
AUTHORS: Tânia Esteves ; Francisco Neves ; Rui Oliveira ; João Paulo ;
PUBLISHED: 2021, SOURCE: Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021, PAGES: 223-235
AUTHORS: Tânia Esteves ; Francisco Neves ; Rui Oliveira ; João Paulo ;
PUBLISHED: 2021, SOURCE: Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021, PAGES: 223-235
312
TITLE: CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes Full Text
AUTHORS: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLISHED: 2021, SOURCE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September, PAGES: 176-186
AUTHORS: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLISHED: 2021, SOURCE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September, PAGES: 176-186
313
TITLE: Detailed Black-Box Monitoring of Distributed Systems Full Text
AUTHORS: Neves, F ; Vilaca, R ; Pereira, J ;
PUBLISHED: 2021, SOURCE: APPLIED COMPUTING REVIEW, VOLUME: 21, ISSUE: 1, PAGES: 24-36
AUTHORS: Neves, F ; Vilaca, R ; Pereira, J ;
PUBLISHED: 2021, SOURCE: APPLIED COMPUTING REVIEW, VOLUME: 21, ISSUE: 1, PAGES: 24-36
314
TITLE: Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform
AUTHORS: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLISHED: 2021, SOURCE: HUMAN FACTORS, VOLUME: 63, ISSUE: 6, PAGES: 1012-1032
AUTHORS: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLISHED: 2021, SOURCE: HUMAN FACTORS, VOLUME: 63, ISSUE: 6, PAGES: 1012-1032
315
TITLE: EasyPQC: Verifying Post-Quantum Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1253
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1253
INDEXED IN: DBLP
DBLP316
TITLE: EasyPQC: Verifying Post-Quantum Cryptography Full Text
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2564-2586
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2564-2586
317
TITLE: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), PAGES: 62-69
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), PAGES: 62-69
318
TITLE: Efficient Replication via Timestamp Stability
AUTHORS: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLISHED: 2021, SOURCE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PAGES: 178-193
AUTHORS: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLISHED: 2021, SOURCE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PAGES: 178-193
319
TITLE: Efficient Replication via Timestamp Stability (Extended Version)
AUTHORS: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01142
AUTHORS: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01142
INDEXED IN: DBLP
DBLP320
TITLE: Enabling Interoperable Flexibility and Standardized Grid Support Services
AUTHORS: João Falcão; Carlos Cândido; Diogo Silva; José Sousa; Mário Pereira; David Rua; Clara Gouveia ; Fábio Coelho ; Ricardo Bessa ; Alexandre Lucas ;
PUBLISHED: 2021, SOURCE: 26th International Conference and Exhibition on Electricity Distribution, CIRED 2021 in IET Conference Proceedings, VOLUME: 2021, ISSUE: 6, PAGES: 3029-3033
AUTHORS: João Falcão; Carlos Cândido; Diogo Silva; José Sousa; Mário Pereira; David Rua; Clara Gouveia ; Fábio Coelho ; Ricardo Bessa ; Alexandre Lucas ;
PUBLISHED: 2021, SOURCE: 26th International Conference and Exhibition on Electricity Distribution, CIRED 2021 in IET Conference Proceedings, VOLUME: 2021, ISSUE: 6, PAGES: 3029-3033
