Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Safety, Risk, Reliability and Quality,Information Systems,Software
Reference21 articles.
1. Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In: Proc. of the conference on computer and communications security, ser. CCS (2004)
2. Champagne, D.: Scalable security architecture for trusted software. Ph.D. dissertation, Princeton University, Electrical engineering department, Princeton, NJ (2010)
3. Franklin, J., Chaki, S., Datta, A., Seshadri, A.: Scalable parametric verification of secure systems: how to verify reference monitors without worrying about data structure size. In: Proc. of the symposium on security and privacy, ser. S&P (2010)
4. Champagne, D., Lee, R.B.: Processor-based tailored attestation. Princeton University department of electrical engineering technical report (2010)
5. Champagne, D., Lee, R.: Scalable architectural support for trusted software. In: Proc. of the Int. symposium on high performance computer architecture, ser. HPCA (2010)