Lares: An Architecture for Secure Active Monitoring Using Virtualization. - Bryan D. Payne; Martim Carbone; Monirul Islam Sharif; Wenke Lee (SP, 2008)

Taming Virtualization. - Martim Carbone; Wenke Lee; Diego Zamboni (IEEE Secur. Priv., 2008)

Mapping kernel objects to enable systematic integrity checking. - Martim Carbone; Weidong Cui; Long Lu; Wenke Lee; Marcus Peinado; Xuxian Jiang (CCS, 2009)

Secure and Robust Monitoring of Virtual Machines through Guest-Assisted Introspection. - Martim Carbone; Matthew Conover; Bruce Montague; Wenke Lee (RAID, 2012)

Semantic view re-creation for the secure monitoring of virtual machines. - Martim Carbone (2012)