Concurso para Projectos de I&D em todos os Domínios Científicos - 2006
Proposals for Research Projects in all Scientific Domains - 2006

Resumo do Projecto
 
Imprimir esta página
Print this page

Voltar
Back

Referência do projecto
Project reference
 
PTDC/MAT/68723/2006


1. Identificação do projecto
1. Project description

Área científica principal
Main Area
Mathematics
Área científica Secundária
Secondary area
(vazio)
(void)
Título do projecto (em português)
Project title (in portuguese)
KLog: Lógica para Segurança
Título do projecto (em inglês)
Project title (in english)
KLog: Kleistic Logic
Palavra-chave 1 Keyword 1
Lógica aplicada Applied logic
Palavra-chave 2 Keyword 2
Segurança clássica Classical security
Palavra-chave 3 Keyword 3
Segurança quântica Quantum security
Palavra-chave 4 Keyword 4
Protocolos criptográficos Cryptographic protocols
Objectivos sócio-económicos
Socio-economic objectives
General Advancement Of Knowledge


2. Financiamento Atribuído
2. Funding
67.000,00 Euros


3. Instituições participantes
3. Participating institutions

Instituição Proponente
Principal Contractor
Instituto de Telecomunicações (IT)
Instituto Superior Técnico - Torre Norte - Av. Rovisco Pais
1049-001 Lisboa

Instituições Participantes
Participating Institutions
(vazio)
(void)

Unidade de Investigação
Principal Research Unit
Instituto de Telecomunicações Lisboa (IT Lisboa/IT)
Instituto Superior Técnico - Torre Norte - Av. Rovisco Pais
1049-001 Lisboa

Instituição de Acolhimento
Host Institution
Instituto de Telecomunicações Lisboa (IT Lisboa/IT)
Instituto Superior Técnico - Torre Norte - Av. Rovisco Pais
1049-001 Lisboa


4. Equipa de investigação
4. Research team

Lista de membros (14)
Members list (14)

Nome
Name		 Função
Role		 Grau académico
Academic degree		 %tempo
%time
Carlos Manuel Costa Lourenço Caleiro Inv. Responsável DOUTORAMENTO 50
Luís Calhorda Cruz-Filipe Investigador DOUTORAMENTO 70
Amílcar dos Santos Costa Sernadas Investigador AGREGAÇÃO 30
Ricardo João Rodrigues Gonçalves Investigador DOUTORAMENTO 100
Maria Cristina Sales Viana Serôdio Sernadas Investigador AGREGAÇÃO 50
Pedro Miguel dos Santos Alves Madeira Adão Investigador DOUTORAMENTO 50
Jaime Arsenio de Brito Ramos Investigador DOUTORAMENTO 50
Maria Paula Antunes Abrantes Gouveia Investigador DOUTORAMENTO 50
Manuel António Gonçalves Martins Investigador DOUTORAMENTO 30
Karina Girardi Roggia Investigador MESTRADO 100
Rohit Chadha Investigador DOUTORAMENTO 50
Ana Gualdina Almeida Matos Investigador DOUTORAMENTO 30
Sérgio Roseiro Teles Marcelino Investigador LICENCIATURA 30
Jan Gunnar Cederquist Investigador DOUTORAMENTO 30
 




sexta-feira, 30 de Julho de 2010