Raul Barbosa, Johan Karlsson. On the Integrity of Lightweight Checkpoints. In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008. pages 125-134, IEEE Computer Society, 2008. [doi]
@inproceedings{BarbosaK08:0,
title = {On the Integrity of Lightweight Checkpoints},
author = {Raul Barbosa and Johan Karlsson},
year = {2008},
doi = {10.1109/HASE.2008.25},
url = {http://dx.doi.org/10.1109/HASE.2008.25},
researchr = {https://researchr.org/publication/BarbosaK08%3A0},
cites = {0},
citedby = {0},
pages = {125-134},
booktitle = {11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008},
publisher = {IEEE Computer Society},
}