Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/5717
Título: | Lissom, a source level proof carrying code platform |
Autor(es): | Gomes, João Martins, Daniel Sousa, Simão Melo de Pinto, Jorge Sousa |
Palavras-chave: | Program verification Proof-carrying code Security properties |
Data: | 2006 |
Citação: | Poster apresentado no " International Workshop on Proof Carrying Code Platfform, (PCC2006), Seattle, 2006. |
Resumo(s): | This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that formal verification tools can be put to practice in a realistic environment, and be used to solve complex and concrete problems. The attractiveness of the problems that PCC addresses has already brought students to show interest in this pro ject. |
Tipo: | Poster em conferência |
URI: | https://hdl.handle.net/1822/5717 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
paper.pdf | Article | 70,22 kB | Adobe PDF | Ver/Abrir |
poster-pcc2006.pdf | Poster | 250,83 kB | Adobe PDF | Ver/Abrir |