GitHub repository: Barkhausen-Institut/vRATLS
Primary language: Coq
Description: A formal specification for RATLS (remote attestation embedded into TLS).