Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Factos & Números
000
Apresentação

Centro de Sistemas de Computação Avançada

A  missão do CRACS é procurar a excelência científica nas áreas de linguagens de programação, computação paralela e distribuída, segurança e privacidade, mineração de informação e sistemas web baseados no desenvolvimento de sistemas de software escaláveis para aplicações desafiadoras e multidisciplinares.

O nosso ambiente de investigação é enriquecido com jovens e talentosos investigadores que, em conjunto com investigadores seniores, constituem a massa crítica necessária e dotam a instituição das competências científicas para cumprir a sua missão.

Últimas Notícias

"Best Application Paper Award" para trabalho de investigadores do INESC TEC

O artigo "A Framework for On-Demand Reporting of Cryptocurrency Ownership and Provenance" escrito em coautoria por António Pinto, investigador do Centro de Sistemas de Computação Avançada (CRACS) e por Pedro Pinto, investigador do Centro de Telecomunicações e Multimédia (CTM) do INESC TEC, recebeu o prémio Best Application Paper Award no International Congress on Blockchain and Applications (BLOCKCHAIN'20).

21 outubro 2020

Informática

Investigador INESC TEC organiza primeira conferência internacional dedicada ao ensino da programação de computadores

Ricardo Queirós, investigador do Centro de Sistemas de Computação Avançada (CRACS), e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do Porto (IPP-ESMAD) foi um dos organizadores da ICPEC. 

23 setembro 2020

Informática

INESC TEC desenvolve ferramenta para deteção e prevenção de ataques informáticos na Europa

Com a progressiva utilização de tecnologias da informação em unidades militares e estruturas de comando, as ameaças cibernéticas e possíveis incidentes nas capacidades de defesa dos estados-membros da União Europeia (UE) são cada vez mais uma realidade que importa prevenir, já que um incidente de segurança cibernética pode comprometer a segurança e integridade dos países e, inclusivamente, levar à perda de vidas humanas.

23 setembro 2020

Informática

Investigador INESC TEC publica novo livro dedicado ao desenvolvimento de aplicações web

Ricardo Queirós, investigador do Centro de Sistemas de Computação Avançada (CRACS), e docente na Escola Superior de Media Artes e Design do Instituto Politécnico do Porto (IPP-ESMAD), publicou, em agosto deste ano, um novo livro, intitulado Desenvolvimento Avançado para a Web – do front-end ao back-end.

22 setembro 2020

Informática

INESC TEC organiza workshops na área de Lógica e Verificação

Sandra Alves, investigadora do Centro de Investigação em Sistemas Computacionais Avançados (CRACS) do INESC TEC, esteve envolvida na organização da 4ª edição do workshop Women in Logic (WiL) e na 2ª edição do workshop Linearity & TLLA.

27 julho 2020

Tópicos de interesse
038

Projetos Selecionados

FGPEPlus

FGPE Plus: Learning tools interoperability for gamified programming education

2021-2023

JuezLTI

JuezLTI: Automatic assessment of computing exercises using LTI standard

2021-2023

PANDORA

Cyber Defence Platform for Real-time Threat Hunting, Incident Response and Information Sharing

2020-2022

Cortaderia

Desenvolvimento de Software para Monitorização da Espécie Invasora Cortaderia selloana

2020-2020

Authenticus19_20

Consultoria Tecnológica em Sistemas CRIS e Cálculo de APC

2019-2020

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2020

Angerona

Plataforma de Middleware para privacy em IoT

2018-2019

FGPE

Framework for Gamified Programming Education

2018-2021

AuthenticusNF

Desenvolvimento de Indicadores de Produção Científica Baseados no Authenticus

2018-2018

PGODISSEIA

Serviço de instalação e configuração de uma plataforma de autenticação, implementação de solução de gestão centralizada de certificados digitais, auditoria de segurança (pen-testing) e análise de impacto de privacidade dos tratamentos de dados pessoais das plataformas de integração e autenticação

2018-2019

CRADLE

Aplicação de deep learning ao processo de investigação de novas drogas anticancerígenas

2018-2021

Authenticus2019

Apoio Técnico ao CINTESIS para extração de indicadores de produção científica baseados no Authenticus

2018-2018

ELVEN

Elven - Lógicas para verificação de programas na Web

2016-2019

Digi-NewB

Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions for improving clinical intervention in neonatal units (Digi-NewB)

2016-2020

FOUREYES

TEC4Growth - RL FourEyes - Intelligence, Interaction, Immersion and Innovation for media industries

2015-2019

NanoStima-RL5

NanoSTIMA - Advanced Methodologies for Computer-Aided Detection and Diagnosis

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

NanoStima-RL4

NanoSTIMA - Health Data Analysis & Decision

2015-2019

SMILES

TEC4Growth - RL SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

FOTOCATGRAF

Fotocatalisadores baseados em grafeno e semicondutores para um sistema de abastecimento de água sustentável e seguro: uma tecnologia avançada para a remoção de poluentes emergentes

2015-2018

REMINDS

REMINDS - Sistema para Mineração e Deteção de Relevância

2015-2017

PANF

Possibilidades de recolha e transmissão de dados a partir do Sifarma

2015-2016

SEA

SEA-Sistema de ensino autoadaptativo

2015-2015

MGI

Contrato de Aquisição de serviços de produção e desenvolvimento de módulo para gestão de iterações para integrar no sistema de informação da UP (SIGARRA)

2015-2015

Hyrax

Crowd-Sourcing de Dispositivos Móveis para o Desenvolvimento de Edge-Clouds

2014-2018

DAT

Tratamento e análise inteligente de dados

2014-2015

ABLe

Aprendizagem baseada em conhecimento para aplicação na área médica

2013-2015

Authenticus

Authenticus - Um Sistema de Identificação e Validação de Publicações Científicas Portuguesas

2013-2016

SIBILA

Blocos Interativos Inteligentes para uma Melhor Aprendizagem

2013-2015

ADE

Deteção de Efeitos Adversos de Drogas

2012-2015

e-Policy

Engenharia para a avaliação do Ciclo de Vida de Decisões Políticas (ePolicy)

2011-2014

Leap

Ambientes lógicos com Paralelismo Avançado

2011-2014

MACAW

Macroprogramação para Redes de Sensores Sem Fios

2011-2014

Breadcrumbs

Rede social com base em bibliotecas pessoais de fragmentos de notícias

2010-2012

Ofelia

Ambientes abertos federados para alavancagem de identidade e autorização

2010-2013

Horus

Representações de Horn para Sistemas com Incerteza

2010-2013

DIGISCOPE

Estetoscópio Digital para Uso Clínico

2010-2013

Palco3.0

Sistema web inteligente de apoio à gestão de uma rede social na área da música

2008-2011

Equipa
Publicações

CRACS Publicações

Ler todas as publicações

2021

A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets

Autores
Ribeiro, P; Paredes, P; Silva, MEP; Aparicio, D; Silva, F;

Publicação
CoRR

Abstract

2021

Time series analysis via network science: Concepts and algorithms

Autores
Silva, VF; Silva, ME; Ribeiro, P; Silva, F;

Publicação
WIREs Data Mining and Knowledge Discovery

Abstract

2021

On the correctness and efficiency of a novel lock-free hash trie map design

Autores
Areias, M; Rocha, R;

Publicação
J. Parallel Distributed Comput.

Abstract
Hash tries are a trie-based data structure with nearly ideal characteristics for the implementation of hash maps. In this paper, we present a novel, simple and scalable hash trie map design that fully supports the concurrent search, insert and remove operations on hash maps. To the best of our knowledge, our proposal is the first that puts together the following characteristics: (i) be lock-free; (ii) use fixed size data structures; and (iii) maintain the access to all internal data structures as persistent memory references. Our design is modular enough to allow different types of configurations aimed for different performances in memory usage and execution time and can be easily implemented in any type of language, library or within other complex data structures. We discuss in detail the key algorithms required to easily reproduce our implementation by others and we present a proof of correctness showing that our proposal is linearizable and lock-free for the search, insert and remove operations. Experimental results show that our proposal is quite competitive when compared against other state-of-the-art proposals implemented in Java. © 2021 Elsevier Inc.

2021

Evaluating cybersecurity attitudes and behaviors in Portuguese healthcare institutions

Autores
Nunes, P; Antunes, M; Silva, C;

Publicação
Procedia Computer Science

Abstract

2021

Information Security and Cybersecurity Management: A Case Study with SMEs in Portugal

Autores
Antunes, M; Maximiano, M; Gomes, R; Pinto, D;

Publicação
Journal of Cybersecurity and Privacy

Abstract
Information security plays a key role in enterprises management, as it deals with the confidentiality, privacy, integrity, and availability of one of their most valuable resources: data and information. Small and Medium-sized enterprises (SME) are seen as a blind spot in information security and cybersecurity management, which is mainly due to their size, regional and familiar scope, and financial resources. This paper presents an information security and cybersecurity management project, in which a methodology based on the well-known ISO-27001:2013 standard was designed and implemented in fifty SMEs that were located in the center region of Portugal. The project was conducted by a business association located at the center of Portugal and mainly participated by SMEs. The Polytechnic of Leiria and an IT auditing/consulting team were the other two entities that participated on the project. The characterisation of the participating enterprises, the ISO-27001:2013 based methodology developed and implemented in SMEs, as well as the results obtained in this case study, are depicted and analysed in the paper. The attained results show a clear benefit to the audited and intervened SMEs, being mainly attested by the increasing of their information security management robustness and collaborators’ cyberawareness.

Teses Orientadas

2020

Lock-Free Memory Reclamation for Concurrent Hash Tries

Autor
Paulo Jorge Teixeira Rosa

Instituição
UP-FCUP

2020

Automatic identification of institutions in affiliation strings

Autor
José Pedro Ribeiro Azenha Rocha

Instituição
UP-FCUP

2020

Lightweight Real-time Feature Monitoring

Autor
João Dias Conde Azevedo

Instituição
UP-FEUP

2020

Privacy Preserving Middleware Platform for IoT

Autor
Patrícia Raquel Vieira Sousa

Instituição
UP-FCUP

2020

Privacy Framework

Autor
Miguel Azevedo de Sousa

Instituição
UP-FCUP

Factos & Números

1Capítulos de livros

2020

17Docentes do Ensino Superior

2020

7Artigos em conferências indexadas

2020