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

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 1675

149 Team Members
Filters -> Year: 2026
101
TÍTULO: Bare PAKE: Universally Composable Key Exchange from Just Passwords
AUTORES: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PÁGINAS: 183-217
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
102
TÍTULO: Berry: A code for the differentiation of Bloch wavefunctions from DFT calculations  Full Text
AUTORES: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe ; Ribeiro, Ricardo Mendes ;
PUBLICAÇÃO: 2024, FONTE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PÁGINAS: 108972
INDEXADO EM: Scopus WOS CrossRef: 1
103
TÍTULO: Branching pomsets: Design, expressiveness and applications to choreographies
AUTORES: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PÁGINAS: 100919
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
104
TÍTULO: Can Current SDS Controllers Scale To Modern HPC Infrastructures?
AUTORES: Miranda, Mariana; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Cazes, John; Macedo, Ricardo ; Pereira, Jose ; Paulo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 861-868
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
105
TÍTULO: Characterizing Data Scientists in the Real World
AUTORES: Paula Pereira; Jácome Cunha ; João Paulo Fernandes;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.12225
INDEXADO EM: DBLP
106
TÍTULO: Chronicles of CI/CD: A Deep Dive into its Usage Over Time
AUTORES: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.17588
INDEXADO EM: DBLP
107
TÍTULO: Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS Companion 2024, Cagliari, Italy, June 24-28, 2024
AUTORES: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLICAÇÃO: 2024, FONTE: EICS (Companion)
INDEXADO EM: DBLP
108
TÍTULO: Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLICAÇÃO: 2024
INDEXADO EM: DBLP
109
TÍTULO: Databases in Edge and Fog Environments: A Survey  Full Text
AUTORES: Meruje Ferreira, Luis Manuel ; Coelho, Fabio ; Pereira, Jose ;
PUBLICAÇÃO: 2024, FONTE: ACM COMPUTING SURVEYS, VOLUME: 56, NÚMERO: 11, PÁGINAS: 285:1-285:40
INDEXADO EM: WOS DBLP CrossRef: 4 Unpaywall
110
TÍTULO: Designing Software with Complex Configurations
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.13633
INDEXADO EM: DBLP
111
TÍTULO: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1, PÁGINAS: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
112
TÍTULO: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTORES: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8, PÁGINAS: 1242
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
113
TÍTULO: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTORES: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 177-182
INDEXADO EM: Scopus WOS DBLP CrossRef
114
TÍTULO: Embracing modern C plus plus features: An empirical assessment on the KDE community  Full Text
AUTORES: Lucas, Walter; Carvalho, Fausto; Nunes, Rafael Campos; Bonifacio, Rodrigo; Saraiva, Joao ; Accioly, Paola;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 36, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
115
TÍTULO: Enhancing the European power system resilience with a recommendation system for voluntary demand response
AUTORES: 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.;
PUBLICAÇÃO: 2024, FONTE: ISCIENCE, VOLUME: 27, NÚMERO: 12, PÁGINAS: 111430
INDEXADO EM: Scopus WOS CrossRef Unpaywall
116
TÍTULO: Expert Systems in Information Security: A Comprehensive Exploration of Awareness Strategies Against Social Engineering Attacks
AUTORES: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 34-43
INDEXADO EM: Scopus WOS
117
TÍTULO: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PÁGINAS: 179-197
INDEXADO EM: Scopus WOS DBLP CrossRef
118
TÍTULO: Exploring Frama-C Resources by Verifying Space Software
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic, PÁGINAS: 583-615
INDEXADO EM: CrossRef Unpaywall
119
TÍTULO: Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware
AUTORES: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 181-196
INDEXADO EM: Scopus WOS DBLP CrossRef
120
TÍTULO: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTORES: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2024, FONTE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
INDEXADO EM: DBLP CrossRef: 11

Results per Page: 20.
Página 6 de 84. Total de resultados: 1675.