Please use this identifier to cite or link to this item:
https://hdl.handle.net/1822/5717| Title: | Lissom, a source level proof carrying code platform |
| Author(s): | Gomes, João Martins, Daniel Sousa, Simão Melo de Pinto, Jorge Sousa |
| Keywords: | Program verification Proof-carrying code Security properties |
| Issue date: | 2006 |
| Citation: | Poster apresentado no " International Workshop on Proof Carrying Code Platfform, (PCC2006), Seattle, 2006. |
| Abstract(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. |
| Type: | Poster |
| URI: | https://hdl.handle.net/1822/5717 |
| Peer-Reviewed: | yes |
| Access: | Open access |
| Appears in Collections: | DI/CCTC - Artigos (papers) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| paper.pdf | Article | 70,22 kB | Adobe PDF | View/Open |
| poster-pcc2006.pdf | Poster | 250,83 kB | Adobe PDF | View/Open |
