Python ha implementado funciones criptográficas con prueba matemática de seguridad
Se ha anunciado la exitosa finalización de la iniciativa para sustituir en Python las implementaciones de algoritmos criptográficos ofrecidas en los módulos hashlib y hmac por versiones con prueba matemática de seguridad, desarrolladas por el proyecto 'HACL*'. El trabajo para migrar a funciones con prueba matemática de seguridad se realizó desde 2022 y fue iniciado tras la identificación de un desbordamiento de búfer en la implementación del algoritmo SHA3, utilizado en el módulo hashlib de Python. […]
