"Don't roll your own crypto": les méthodes formelles au service de la sécuritéTTheophile Wallez2023QuickieMéthodes et outils de développementFrench▶Watch again — "Don't roll your own crypto": les méthodes formelles au service de la sécurité