TCT ofrece una nueva forma de asegurar contratos inteligentes de Ethereum.
Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen
― 7 minilectura
Tzu-Han Hsu
Un método para la corrección automática de errores de software enfocado en la privacidad y la seguridad.
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour
― 9 minilectura