@misc{indiciaeffb3e6f84142,
  title = {Lissom, a Source Level Proof Carrying Code Platform},
  author = {Joao Gomes and Daniel Martins and Simao Melo de Sousa and Jorge Sousa Pinto},
  year = {2008},
  url = {https://arxiv.org/abs/0803.2317},
  note = {Source identifier: 0803.2317}
}