StairCASE Demo 1

Two ODROID instances running seL4:

• Ground Station
• UAV Simulation

Demo Flow:

1. UAV generates a nonce and sends request to Ground Station
2. Ground Station receives request and executes Copland phrase:

• Generate measurement results
• Pair with nonce
• Sign

3. Ground Station sends evidence to UAV
4. UAV checks signature and evidence

The UAV AM is just the CAmkES component running an attestation manager The Ground Station userAM is running in the Linux VM Measurement performed is a dummy for now