Couvre MetaMask, un portefeuille crypto pour les applications blockchain, mettant l'accent sur la sécurité du portefeuille et la protection des comptes.
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
