Trusted Secure Systems Lab : Publications