|
|
| Proposta de dissertação do MEI |
| Título: |
Dynamic Information Verification in Low-level Languages |
| Proponente(s): |
João Costa Seco
Carla Ferreira |
| Créditos: |
42 ECTS |
| Área científica: |
Software Construction and Analysis |
| Início preferencial: |
1º Semestre |
| URL: |
|
| Já estão em curso trabalhos preliminares executados pelo alunos: |
| Eduardo Geraldo |
| Breve descrição: |
The monitoring of data privacy has been a topic of research and the motivation for the creation of new programming languages like JIF and FlowCaml. The guaranties given about the absence of security leaks are hindered by the difficulty in using such languages. We aim at developing a technique that introduces runtime reference monitors into compiled Java code, thus preventing regular code to leak information, based on a separate specification of data secrecy. |
| Observações: |
|
|
|