Case Studies in Secure Computing: Achievements and Trends