• Developing passkey applications for high assurance scenarios