Hamed Nemati, Roberto Guanciale, Mads Dam. Trustworthy Virtualization of the ARMv7 Memory Subsystem. In Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer, editors, SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings. Volume 8939 of Lecture Notes in Computer Science, pages 578-589, Springer, 2015. [doi]
@inproceedings{NematiGD15,
title = {Trustworthy Virtualization of the ARMv7 Memory Subsystem},
author = {Hamed Nemati and Roberto Guanciale and Mads Dam},
year = {2015},
doi = {10.1007/978-3-662-46078-8_48},
url = {http://dx.doi.org/10.1007/978-3-662-46078-8_48},
researchr = {https://researchr.org/publication/NematiGD15},
cites = {0},
citedby = {0},
pages = {578-589},
booktitle = {SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings},
editor = {Giuseppe F. Italiano and Tiziana Margaria-Steffen and Jaroslav Pokorný and Jean-Jacques Quisquater and Roger Wattenhofer},
volume = {8939},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-46077-1},
}