6 papers:
DAC-2014-KongKPSW #embedded #framework #named #novel- PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DATE-2014-FrancillonNRT #approach- A minimalist approach to Remote Attestation (AF, QN, KBR, GT), pp. 1–6.
SOSP-2011-SirerBRSWWS #architecture #logic- Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
ICSM-2007-RenC #named #testing #tool support #validation- ATTEST: A Testing Toolkit for Validating Software Properties (Y(R, FC), pp. 469–472.
- SOSP-2007-ChunMSK #memory management #word
- Attested append-only memory: making adversaries stick to their word (BGC, PM, SS, JK), pp. 189–204.
FoSSaCS-2006-PitcherR #policy- Dynamic Policy Discovery with Remote Attestation (CP, JR), pp. 111–125.
