BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
remot (2)
base (2)
append (1)
approach (1)
puf (1)

Stem attest$ (all stems)

6 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.