Index of /~guttman/pubs/understanding_attestation_example