| 2010 | DBSEC | Modelling Dynamic Trust with Property Based Attestation in Trusted Platforms. | Aarthi Nagarajan, Vijay Varadharajan |
| 2010 | EUC | Analysis of Property Based Attestation in Trusted Platforms. | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens |
| 2009 | ATC | ALOPA: Authorization Logic for Property Attestation in Trusted Platforms. | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens |
| 2009 | NSS | Property Based Attestation and Trusted Computing: Analysis and Challenges. | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens, Eimear Gallery |
| 2008 | DBSEC | On the Applicability of Trusted Computing in Distributed Authorization Using Web Services. | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens, Saurabh Arora |
| 2007 | CCS | Trust management for trusted computing platforms in web services. | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens |
| 2007 | PDCAT | Trust Management and Negotiation for Attestation in Trusted Platforms Using Web Services. | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens |
| 2005 | ACISP | Analysis of the HIP Base Exchange Protocol. | Tuomas Aura, Aarthi Nagarajan, Andrei V. Gurtov |
| 2005 | ACISP | Traversing Middleboxes with the Host Identity Protocol. | Hannes Tschofenig, Andrei V. Gurtov, Jukka Ylitalo, Aarthi Nagarajan, Murugaraj Shanmugam |