@inproceedings{Tamberi:2008:SIV:1437896.1438507,
 author = {Tamberi, Francesco and Maggiari, Dario and Sgandurra, Daniele and Baiardi, Fabrizio},
 title = {Semantics-Driven Introspection in a Virtual Environment},
 booktitle = {Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security},
 year = {2008},
 isbn = {978-0-7695-3324-7},
 pages = {299--302},
 numpages = {4},
 url = {http://portal.acm.org/citation.cfm?id=1437896.1438507},
 doi = {10.1109/IAS.2008.17},
 acmid = {1438507},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {virtual machine introspection, system call interception, invariant evaluation},
}