Property-based attestation for computing platforms: caring about properties, not mechanisms

By Ahmad-Reza Sadeghi, Christian Stüble. New Security Paradigms Workshop, 2004

461 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Signal Processing

View Paper: https://www.semanticscholar.org/paper/b924cf12e9a7d31b2b69f85394892e3b58a0f7d9

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ahmad-Reza Sadeghi
2. Lucas Davi
3. N. Asokan
4. Thomas Ristenpart
5. Gene Tsudik
6. Jeffrey S. Chase
7. David E. Evans
8. Thomas Schneider

In Information Systems

1. Thomas Ristenpart
2. Lucas Davi
3. Ahmad-Reza Sadeghi
4. Gene Tsudik
5. Jeffrey S. Chase
6. Michael M. Swift

In Signal Processing

1. Lucas Davi
2. Ahmad-Reza Sadeghi
3. Gene Tsudik
4. Thomas Ristenpart
5. N. Asokan

Citations in the corpus

• CQSTR: Securing Cross-Tenant Applications with Cloud Containers (2016, background): “CQSTR is complementary to trusted computing mechanisms (e.g., TPM, TXT) that enable trusted execution based on a hardware root of trust [32, 40, 47, 48, 52, 54].”
• C-FLAT: Control-Flow Attestation for Embedded Systems Software (2016, background): “Keywords remote attestation; control-flow attacks; embedded system security”