4
Gen
SAILFISH System to Find State-Inconsistency Bugs in Smart ContractsThe Hacker News
A group of academics from the University of California, Santa Barbara, has demonstrated what it calls a "scalable technique" to vet smart contracts and mitigate state-inconsistency bugs, discovering 47 zero-day vulnerabilities on the Ethereum blockchain in the process.
Smart contracts are programs stored on the blockchain that are automatically executed when predetermined conditions are metRead More
Condividi questo post
RELATED
Posts
Trump e l’AI: quali sono i limiti legali al potere militare e poliziescoFrancesca Niola
Il caso Anthropic mostra come un conflitto nato attorno all’uso di Claude da parte del Pentagono si trasformi in una domanda più radicale sui limiti del potere esecutivo. Pesi contrapposti: procurement militare e garanzie costituzionali
L'articolo Trump e l’AI: quali...
Avvocati e LLM: quando la scorciatoia diventa un erroreMarco Calamari
Automazione del lavoro pubblico, risposta alla crisi demografica della PAMatteo Gargiulo
L’intelligenza artificiale promette di automatizzare il 57% delle attività nella Pubblica Amministrazione italiana, offrendo una soluzione concreta alla carenza di personale e all’imminente uscita di oltre 600.000 dipendenti pubblici nei prossimi anni
L'articolo Automazione del lavoro pubblico, risposta alla crisi...

