Simple Science

Scienza all'avanguardia spiegata semplicemente

Scienza all'avanguardia spiegata semplicemente

Tzu-Han Hsu

Crittografia e sicurezza Rafforzare i Contratti Intelligenti con le Transazioni Portatrici di Teoremi

TCT offre un nuovo modo per mettere al sicuro i contratti smart di Ethereum.

Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen

2025-06-29T05:16:30+00:00 ― 6 leggere min

Logica nell'informatica Migliorare la sicurezza del software attraverso riparazioni automatiche

Un metodo per la correzione automatica dei bug software con focus su privacy e sicurezza.

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour

2025-06-28T22:25:42+00:00 ― 7 leggere min