Relating symbolic and cryptographic secrecyMichael BackesBirgit Pfitzmann2005S&P 2005Conference paper
BIND: A fine-grained attestation service for secure distributed systemsElaine ShiAdrian Perriget al.2005S&P 2005Conference paper