O projeto CACE – Computer Aided Cryptography Engineering (Engenharia criptográfica assistida por computador) teve como objetivo desenvolver uma caixa de ferramentas de apoio à produção de software criptográfico de alta qualidade.

O desenvolvimento de hardware e software é facilitado por um conjunto de ferramentas (tais como compiladores e debuggers, ou depuradores), que automatizam as tarefas normalmente executadas por programadores experientes e altamente qualificados. No entanto, em hardware e software as ferramentas são genéricas uma vez raramente garantem um apoio específico para um domínio particular.

O objetivo deste projeto foi conceber, desenvolver e utilizar uma caixa de ferramentas para o domínio específico da engenharia de software criptográfico. Normalmente, o desenvolvimento de software criptográfico representa um grande desafio: a segurança e a confiança são críticas e as aplicações modernas que processam dados sensíveis normalmente exigem a utilização de técnicas criptográficas sofisticadas. A caixa de ferramentas proposta permitirá que não especialistas desenvolvam aplicações criptográficas e modelos de negócio de alto nível através de linguagens de programação e compiladores criptográficos. Estas aplicações permitirão analisar e transformar software criptográfico automaticamente por forma a detetar falhas críticas de segurança (ex: ataques side-channel a software e hardware), aquando da execução de primitivas e protocolos criptográficos de baixo nível.

Em última instância, o projeto conseguiu software com mais qualidade e mais robusto a um custo mais reduzido, o que resulta num benefício económico para a indústria europeia a curto prazo, colocando-a numa melhor posição para lidar com contratempos futuros no desenvolvimento de TIC.

Data Início: 1 janeiro 2008

Equipa: Manuel Bernardo Barbosa e José Bacelar Almeida

Website do Projeto: CACE