High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 1463

150 Team Members
Filters -> Year: 2024
21
TITLE: Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II, VOLUME: 14921, PAGES: 384-421
INDEXED IN: Scopus DBLP
22
TITLE: GDBN, A Customer-centric Digital Platform to Support the Value Chain of Flexibility Provision
AUTHORS: Fábio Coelho ; Luís Rodrigues ; João Mello; José Villar; Ricardo Bessa;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market, EEM 2024 in International Conference on the European Energy Market, EEM, VOLUME: 158, PAGES: 1-6
INDEXED IN: Scopus CrossRef: 2 Unpaywall
23
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, PAGES: 400-401
INDEXED IN: Scopus DBLP CrossRef
24
TITLE: Impact of Traffic Sampling on LRD Estimation
AUTHORS: Mendes, Joao; Lima, Solange Rito; Carvalho, Paulo; Silva, Joao Marco C. ;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, WORLDCIST 2023, VOLUME: 799, PAGES: 26-36
INDEXED IN: Scopus WOS CrossRef
25
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLISHED: 2024, SOURCE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PAGES: 138-142
INDEXED IN: Scopus WOS DBLP CrossRef
26
TITLE: On Quantum Natural Policy Gradients
AUTHORS: André Sequeira; Luís Paulo Santos ; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.08307, PAGES: 1-11
INDEXED IN: DBLP CrossRef
27
TITLE: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
INDEXED IN: Scopus WOS DBLP CrossRef
28
TITLE: Performance and explainability of feature selection-boosted tree-based classifiers for COVID-19 detection
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2024, SOURCE: HELIYON, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
29
TITLE: Pondering the Ugly Underbelly, and Whether Images Are Real  Full Text
AUTHORS: Robin K Hill; Carlos Baquero ;
PUBLISHED: 2024, SOURCE: Commun. ACM, VOLUME: 67, ISSUE: 3, PAGES: 8-10
INDEXED IN: Scopus DBLP
30
TITLE: Programming languages ranking based on energy measurements  Full Text
AUTHORS: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL
INDEXED IN: Scopus WOS CrossRef
31
TITLE: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTHORS: Emanuel Rodrigues ; José Nuno Macedo; Marcos Viera; João Saraiva ;
PUBLISHED: 2024, SOURCE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024., PAGES: 615-624
INDEXED IN: Scopus DBLP CrossRef Unpaywall
32
TITLE: Quantum advantage in temporally flat measurement-based quantum computation
AUTHORS: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1-62
INDEXED IN: Scopus WOS
33
TITLE: Review of Commercial Flexibility Products and Market Platforms
AUTHORS: Luís Rodrigues ; Kamalanathan Ganesan; Fábio Retorta; Fábio Coelho ; João Mello; José Villar; Ricardo Bessa;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market, EEM 2024 in International Conference on the European Energy Market, EEM, VOLUME: 30, PAGES: 1-6
INDEXED IN: Scopus CrossRef Unpaywall
34
TITLE: Secure two-party computation via measurement-based quantum computing
AUTHORS: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLISHED: 2024, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
35
TITLE: SHORT: Evaluating Tools for Enhancing Reproducibility in Computational Scientific Experiments
AUTHORS: Costa, Lazaro; Barbosa, Susana; Cunha, Jacome ;
PUBLISHED: 2024, SOURCE: 2nd ACM Conference on Reproducibility and Replicability (ACM REP) in PROCEEDINGS OF THE 2ND ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2024, PAGES: 46-51
INDEXED IN: WOS DBLP CrossRef
36
TITLE: Tabulation with Zippers
AUTHORS: Marcos Viera; Alberto Pardo; João Saraiva ;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Functional and Logic Programming, FLOPS 2024 in Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings, VOLUME: 14659, PAGES: 83-98
INDEXED IN: Scopus DBLP CrossRef
37
TITLE: The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type
AUTHORS: Paulo Sérgio Almeida ; Ehud Shapiro;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.08068
INDEXED IN: DBLP
38
TITLE: Validating multiple variants of an automotive light system with Alloy 6  Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3, PAGES: 365-377
INDEXED IN: Scopus WOS DBLP
39
TITLE: X-Wing
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Commun. Cryptol., VOLUME: 1, ISSUE: 1, PAGES: 21
INDEXED IN: DBLP
40
TITLE: X-Wing: The Hybrid KEM You've Been Looking For
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 39
INDEXED IN: DBLP

Results per Page: 20.
Page 2 of 74. Total results: 1463.