We’ve compiled all the most popular repositories that were trending during the day, week, or month on GitHub in one place and prepared a brief description for each of them.
Language: Dafny , Stars: 36
------------
Проект предоставляет инструменты для безопасного шифрования и расшифровки данных с использованием AWS Encryption SDK, реализованного на языке Dafny. Основная цель — обеспечить безопасность данных при передаче и хранении, минимизируя риски утечек информации. Он решает задачи управления ключами, аутентификации и интеграции с другими AWS-сервисами. Ключевые особенности включают поддержку различных алгоритмов шифрования, возможность работы с пользовательскими ключами и проверку целостности данных.