Red Hot Cyber
Condividi la tua difesa. Incoraggia l'eccellenza. La vera forza della cybersecurity risiede nell'effetto moltiplicatore della conoscenza.
Redazione RHC : 19 Giugno 2020 10:23
Un team di ricercatori dell’Università del Michigan e Microsoft Research e Carnegie Mellon, ha escogitato un modo per verificare che una classe di programmi complessi sia priva di #bug senza la necessità di #test del #software tradizionale. Chiamato #Armada, il sistema utilizza una tecnica chiamata “verifica formale” per dimostrare se un software produrrà ciò che dovrebbe.
Si rivolge a software che esegue l’esecuzione simultanea, un metodo diffuso per migliorare le prestazioni, che è stato a lungo una caratteristica particolarmente impegnativa per applicare questa tecnica.
I programmi concorrenti sono noti per la loro complessità, ma sono stati uno strumento importante per aumentare le prestazioni dopo che la velocità dei processori ha iniziato a salire.
 CALL FOR SPONSOR - Sponsorizza la Graphic Novel Betti-RHC Sei un'azienda innovativa, che crede nella diffusione di concetti attraverso metodi "non convenzionali"? Conosci il nostro corso sul cybersecurity awareness a fumetti? Red Hot Cyber sta ricercando un nuovo sponsor per una nuova puntata del fumetto Betti-RHC mentre il team è impegnato a realizzare 3 nuovi episodi che ci sono stati commissionati. Contattaci tramite WhatsApp al numero 375 593 1011 per richiedere ulteriori informazioni oppure alla casella di posta [email protected]
Se ti piacciono le novità e gli articoli riportati su di Red Hot Cyber, iscriviti immediatamente alla newsletter settimanale per non perdere nessun articolo. La newsletter generalmente viene inviata ai nostri lettori ad inizio settimana, indicativamente di lunedì. |
La verifica formale, è un mezzo per dimostrare che un programma produrrà sempre valori corretti senza doverlo testare con una gamma completa di possibili input.
Ragionando sul programma come una prova matematica, i programmatori possono dimostrare che bug o errori sono impossibili e che la sua esecuzione è ermetica. Questo supera il difetto comune a tutti i programmi, anche senza concorrenza, che testare qualcosa in modo esauriente può essere impraticabile o effettivamente impossibile.
Ovviamente non si parla di bug di sicurezza.
#redhotcyber #cybersecurity #amanda #metodologia
https://techxplore.com/news/2020-06-method-complex-bug-free.amp
RedazioneUn servizio di botnet chiamato Aisuru, offre un esercito di dispositivi IoT e router compromessi, per sferrare attacchi DDoS ad alto traffico. In soli tre mesi, la massiccia botnet Aisuru ha lanciato ...
Un’indagine congiunta di BCA LTD, NorthScan e ANY.RUN ha svelato uno degli schemi di hacking più segreti della Corea del Nord. Con il pretesto di un reclutamento di routine, il team ha monitorato c...
L’adozione su larga scala dell’intelligenza artificiale nelle imprese sta modificando in profondità i processi operativi e, allo stesso tempo, introduce nuovi punti critici per la sicurezza. Le a...
L’azienda francese Mistral AI ha presentato la sua linea di modelli Mistral 3, rendendoli completamente open source con licenza Apache 2.0. La serie include diversi modelli compatti e densi con 3, 8...
Nel panorama dei forum underground esistono attori che operano in modo episodico, alla ricerca di un singolo colpo mediatico, e altri che costruiscono nel tempo una pipeline quasi industriale di comp...
