Aggiornamenti recenti Agosto 12th, 2022 3:28 PM
partner
News Recenti
- Transparency Center Initiative di Kaspersky Lab: cosa significa per l’Italia
- Callback phishing: attacchi via call center
- Imparare dagli incidenti come nell’aeronautica
- Cisco rivela i dettagli di un attacco subito
- Patch per una serie di vulnerabilità gravi in prodotti VMware
- Microsoft risolve 121 bug, tra cui due zero-day
Crittografia a prova di violazione? La soluzione è EverCrypt
Il progetto unisce i principi matematici al coding e punta a creare una libreria crittografica a “prova di vulnerabilità”.
Se i problemi per la sicurezza informatica non mancano nemmeno per il presente, nell’ottica futura una delle maggiori preoccupazioni è quella relativa alla tenuta dei sistemi di crittografia. E a preoccupare non è solo il possibile avvento dei computer quantistici, che rischia di travolgere gli algoritmi attualmente in uso.
A turbare il sonno degli sviluppatori è anche la possibilità che una semplice vulnerabilità possa consentire di violare dei sistemi che oggi rappresentano il cardine stesso nella sicurezza delle comunicazioni.
Ma è possibile mettere a punto un sistema di crittografia a prova di bug? A provarci è un gruppo di ricercatori che si è riunito intorno al Project Everest, che ha cercato di applicare una strategia chiamata “verifica formale” unendo i principi della matematica a quella della programmazione.
La logica, in pratica, è quella di rendere il codice verificabile attraverso principi matematici, es0cludendo così la possibilità di “comportamenti indesiderati” che possano trasformarsi in bug utilizzabili per violare la crittografia.
Per farlo, i ricercatori hanno addirittura creato una piattaforma ad hoc, chiamata F*, che secondo i membri del team unisce la capacità di C++ alla sintassi nella struttura di programmi come Isabelle e Coq.
In un articolo pubblicato da QuantaMagazine.org riassumono il concetto in pochi termini chiave: “Puoi scrivere software come se fossi uno sviluppatore di software, ma allo stesso tempo puoi scrivere una dimostrazione come se fossi un teorico”.
Il risultato è EverCript, una libreria crittografica a “prova di bomba” in cui sono stati eliminati alcuni degli aspetti più deboli di questo tipo di componenti. A partire, per esempio, dalle differenze di elaborazione nei dati, che permettono attacchi side-channel come i timing attack.
Siamo quindi all’alba di un nuovo giorno per la crittografia? Non proprio. Anche se EverCript offre la garanzia di non contenere errori di codice, rimane l’incognita della sua implementazione.
Quando verrà utilizzata in abbinata con sistemi operativi e software, infatti, le variabili aumenteranno e la possibilità che da qualche parte ci sia un cortocircuito in grado di “sporcare” il tutto.
Il passaggio, però, potrebbe dimostrarsi di fondamentale importanza per andare verso sistemi più sicuri di quelli attuali. Soprattutto se il Project Everest proseguirà (come è nelle intenzioni dei ricercatori) con il compito di circondare EverCript con altri elementi software verificati.
Condividi l'articolo
Password predefinita nell’app: migliaia di auto a rischio furto
Crypto-Jacking via browser in calo: ora si mina con il malware
Articoli correlati
Altro in questa categoria
Approfondimenti
-
Mitre Engenuity Test: il test impossibile da ignorare Il Mitre lo conoscono tutti: come istituzione, come... -
Acronis: fare cyber security partendo dalla sicurezza del... Acronis è un’azienda che deve buona parte della sua fama... -
Ransomware: le tecniche dei criminali per estorcere denaro Il ransomware è un flagello che sta colpendo le aziende di... -
Ransomware: perché il backup non basta Il ransomware è una tipologia d’attacco di cui... -
Ransomware: le multe, il GDPR e le contromisure Non c’è quasi utente di computer che non abbia sentito...
Minacce recenti
Off topic
-
Maythefourth: La caduta dell’Impero Galattico è... E se vi dicessimo che la saga di Star Wars ... -
Gli hacker e il cinema: i dieci migliori film secondo... Abbiamo rubato al blog di Kaspersky un vecchio pezzo di... -
Campione di scacchi blinda il PC. “Paura degli hacker” Il numero uno degli scacchi mondiali Magnus Carlsen ha... -
L’autore di fsociety pensa di essere Mr. Robot, ma è un... Il pirata informatico che ha creato il ransomware cerca... -
Yahoo sospende l’inoltro delle email. Paura di un esodo... Dopo la raffica di figuracce, l’azienda sospende per...
Post recenti
-
Callback phishing: attacchi via call center Phishing mirato, social engineering e operatori telefonici... -
Imparare dagli incidenti come nell’aeronautica L’analisi del modo in cui l’industria... -
Cisco rivela i dettagli di un attacco subito Phishing e l’account personale di Google di un... -
Patch per una serie di vulnerabilità gravi in prodotti... VMware ha pubblicato aggiornamenti che risolvono bug di... -
Microsoft risolve 121 bug, tra cui due zero-day Tra le vulnerabilità corrette, uno zero-day attivamente...
Callback phishing: attacchi via call center
Phishing mirato, social engineering e operatori telefonici specializzati sono alla... Continua →
Ransomware: la serie
No posts found.