Root-of-trust abstractions for symbolic analysis: application to attestation protocols

Keyphrases

• Symbolic Analysis 100%
• Analysis Application 100%
• Attestation Protocols 100%
• Trusted Computing 100%
• Root of Trust 100%
• Cryptography 66%
• Computing Services 66%
• Large Systems 33%
• Service Trust 33%
• Security Services 33%
• Overall System 33%
• Formal Analysis 33%
• Tamarin Prover 33%
• Hardware Token 33%
• Cryptographic Processor 33%
• Automated Reasoning Tools 33%
• Application Security 33%
• Level of Assurance 33%
• Complex Protocol 33%
• Remote Attestation 33%
• Formal Verification Tools 33%
• Client Application 33%

Computer Science

• Application Analysis 100%
• Root of Trust 100%
• Formal Verification 33%
• Automated Reasoning 33%
• Security Service 33%
• Hardware Token 33%
• Cryptographic Engine 33%
• Application Security 33%
• Complex Protocol 33%
• Client Application 33%
• Underlying Hardware 33%