Verifying Rust cryptography in SymCrypt, from standards to code
Di cosa parla
Si presenta un metodo per verificare il codice crittografico scritto in Rust, un linguaggio di programmazione, nel contesto della libreria SymCrypt: in pratica, controlla che il codice rispetti gli standard man mano che gli sviluppatori lo scrivono. La proposta cerca di mantenere al tempo stesso la velocità di esecuzione e la possibilità di adattare il codice mentre viene implementato e fatto evolvere.
Cosa permette di osservare
Permette di esplorare come si possa controllare la correttezza del codice crittografico durante lo sviluppo, senza sacrificare prestazioni o facilità di modifica, e quali scelte tecniche rendono possibile questo equilibrio.
Dalla fonte
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research .