A TCT oferece uma nova maneira de proteger contratos inteligentes do Ethereum.
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 7 min ler
Tzu-Han Hsu
Um método pra conserto automático de bugs de software com foco em privacidade e segurança.
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour
― 9 min ler