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: 1499
150 Team MembersFilters -> Year: 2025
321
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578, PAGES: 107-127
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578, PAGES: 107-127
322
TITLE: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
AUTHORS: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
AUTHORS: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
INDEXED IN: 
DBLP
DBLP323
TITLE: Data Curation: Towards a Tool for All
AUTHORS: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: 22nd International Conference on Human-Computer Interaction, HCI International 2020 in HCI International 2020 - Late Breaking Posters - 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I, VOLUME: 1293, PAGES: 176-183
AUTHORS: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: 22nd International Conference on Human-Computer Interaction, HCI International 2020 in HCI International 2020 - Late Breaking Posters - 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I, VOLUME: 1293, PAGES: 176-183
324
TITLE: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTHORS: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLISHED: 2020, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493
AUTHORS: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLISHED: 2020, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493
325
TITLE: Detection of anonymised traffic: Tor as case study
AUTHORS: Dantas, B; Carvalho, P; Lima, SR; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12526 LNCS, PAGES: 95-109
AUTHORS: Dantas, B; Carvalho, P; Lima, SR; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12526 LNCS, PAGES: 95-109
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef326
TITLE: Detection of Anonymised Traffic: Tor as Case Study
AUTHORS: Bruno Dantas; Paulo Carvalho; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part II, VOLUME: 12526, PAGES: 95-109
AUTHORS: Bruno Dantas; Paulo Carvalho; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part II, VOLUME: 12526, PAGES: 95-109
INDEXED IN: DBLP
DBLP327
TITLE: Does Domain Name Encryption Increase Users' Privacy? Full Text
AUTHORS: Martino Trevisan; Francesca Soro; Marco Mellia; Idilio Drago; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22
AUTHORS: Martino Trevisan; Francesca Soro; Marco Mellia; Idilio Drago; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22
328
TITLE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12005
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12005
INDEXED IN: DBLP
DBLP329
TITLE: E-Debitum: Managing Software Energy Debt. managing software energy debt
AUTHORS: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 170-177
AUTHORS: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 170-177
330
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments Full Text
AUTHORS: Joao Marco Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10
AUTHORS: Joao Marco Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10
331
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
AUTHORS: João Marco C Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLISHED: 2020, SOURCE: Int. J. Commun. Syst., VOLUME: 33, ISSUE: 10
AUTHORS: João Marco C Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLISHED: 2020, SOURCE: Int. J. Commun. Syst., VOLUME: 33, ISSUE: 10
INDEXED IN: DBLP
DBLP332
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PAGES: 1-6
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PAGES: 1-6
INDEXED IN: DBLP
DBLP333
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.12906
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.12906
INDEXED IN: DBLP
DBLP334
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 467-472
AUTHORS: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 467-472
335
TITLE: Energy Refactorings for Android in the Large and in the Wild
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
336
TITLE: Energy Wars - Chrome vs. Firefox. which browser is more energy efficient?
AUTHORS: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 159-165
AUTHORS: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 159-165
337
TITLE: Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020., PAGES: 159-165
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020., PAGES: 159-165
INDEXED IN: DBLP
DBLP338
TITLE: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTHORS: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PAGES: 237-242
AUTHORS: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PAGES: 237-242
339
TITLE: Evaluation of RESTful frameworks under soft errors
AUTHORS: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLISHED: 2020, SOURCE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October, PAGES: 369-379
AUTHORS: Cerveira, F; Oliveira, RA; Barbosa, R; Madeira, H ;
PUBLISHED: 2020, SOURCE: IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) in 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), VOLUME: 2020-October, PAGES: 369-379
340
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 61-77
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 61-77
