Страница 1 из 1
Новая криптографическая библиотека EverCrypt с математическим доказательством надёжности
Добавлено: 06 апр 2019, 15:30
[Ботя]
Исследователи из государственного института исследований в информатике и автоматике (INRIA), Microsoft Research и университета Карнеги — Меллона представили первый тестовый выпуск криптографической библиотеки EverCrypt, развиваемой в рамках проекта Everest и применяющей математические методы формальной верификации надёжности. По своим возможностям и производительности EverCrypt очень близка к существующим криптографическим библиотекам (OpenSSL), но в отличие от них предоставляет дополнительные гарантии надёжности и безопасности.
Подробнее...