TCT propose une nouvelle façon de sécuriser les smart contracts Ethereum.
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 7 min lire
Tzu-Han Hsu
Une méthode pour corriger automatiquement les bugs logiciels en mettant l'accent sur la confidentialité et la sécurité.
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour
― 10 min lire