Additional benchmarks for analysis

[shchae7]

Currently, the repository supports a single benchmark, MQT-TZ, which limits the scope of specification evaluation.
It would be valuable to support additional benchmarks.

Candidates to consider for inclusion:

1. Gatekeeper and Keymaster TA for Keystore

• Documentation: https://source.android.com/docs/security/features/authentication
• Implementation: https://github.com/linaro-swg/kmgk

[rgyen]

Thanks for your suggestion. It would be nice to add more benchmarks. I'll take a look at Gatekeeper URLs.

[shchae7]

Here are some more candidates to consider:

2. Bitcoin Wallet

• Documentation: TrustZone-backed bitcoin wallet (CS2 2017)
• Implementation: https://github.com/Miraje/TrustZone-backed-Bitcoin-Wallet

3. Mobile Ticketing Application

• Documentation: DBStore: A TrustZone-backed Database Management System for Mobile Applications (SECCRYPT 2018)
• Implementation: https://github.com/PedroRibeiro95/HCEMobileTicketing

4. Microsoft Research Security TAs

• Implementation: https://github.com/microsoft/MSRSec

[shchae7]

I have opened a new issue solely dedicated to the KMGK benchmark #4, to separate its development progress and related matters with this issue. (So that this issue can be used to keep record of candidate benchmarks & related discussions only.)