В Python задействованы криптофункции с математическим доказательством надёжности

В Python задействованы криптофункции с математическим доказательством надёжности

Объявлено об успешном завершении инициативы по замене в Python реализаций криптографических алгоритмов, предлагаемых в модулях hashlib и hmac, на варианты с математическим (формальным) доказательством надёжности, подготовленные проектом "HACL*". Работа по переходу на функции с математическим доказательством надёжности велась с 2022 года и была инициирована после выявления переполнения буфера в реализации алгоритма SHA3, используемой в Python-модуле hashlib....
21.04.2025 [15:28]
Источник: www.opennet.ru  
Рубрика: «Игры и Интернет»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Мосгорсуд признал стрим в Instagram* допустимым доказательствомМосгорсуд признал стрим в Instagram* допустимым доказательством В споре о защите деловой репутации суд отклонил доводы ответчика о том, что публикации в запрещенной соцсети нельзя рассматривать как доказательство. ...

Основным доказательством по делу Попова стал перевод на карту более 1 млнОсновным доказательством по делу Попова стал перевод на карту более ₽1 млн Основным доказательством факта мошенничества в деле экс-командующего 58-й армией генерал-майора Ивана Попова стал перевод на сумму более одного милли ...

Фицо назвал операцию США в Венесуэле доказательством распада мирового порядкаФицо назвал операцию США в Венесуэле доказательством распада мирового порядка По мнению премьер-министра Словакии Роберта Фицо, военная операция США в Венесуэле стала свидетельством кризиса мирового порядка, сложившегося после ...

Признание судом голосового сообщения доказательством вызывает вопросы  юрист КапштыкПризнание судом голосового сообщения доказательством вызывает вопросы — юрист Капштык Признание голосовых сообщений доказательством оскорбления вызывает серьезные вопросы к доказательной базе и процедурам проверки, считает юрист, медиа ...

Более 200 высокоскоростных поездов будут задействованы на четырех ВСМБолее 200 высокоскоростных поездов будут задействованы на четырех ВСМ Более 200 высокоскоростных поездов будут задействованы на железной дороге для эксплуатации четырех ВСМ (из Москвы в Минск, в Адлер, в Рязань и в Екат ...

На выборах брянского губернатора будут задействованы 88 КОИБовНа выборах брянского губернатора будут задействованы 88 КОИБов Огромное значение в этом процессе имеют комплексы обработки избирательных бюллетеней. На выборах брянского губернатора в этом году (а они будут прохо ...

Режиссёры мультфильма Моана никак не задействованы в работе над фильмомРежиссёры мультфильма «Моана» никак не задействованы в работе над фильмом Режиссёры известного мультфильма «Моана» Джон Маскер и Рон Клементс рассказали, что никак не задействованы в одноимённом фильме. ...

На площадке Бушер в Иране задействованы около 700 специалистов из РоссииНа площадке "Бушер" в Иране задействованы около 700 специалистов из России Первый энергоблок АЭС уже выработал 75 млрд кВт⋅ч, отметил глава госкорпорации "Росатом" Алексей Лихачев ...

Маск: машины Tesla задействованы в помощи пострадавшим от пожаров в КалифорнииМаск: машины Tesla задействованы в помощи пострадавшим от пожаров в Калифорнии Кибертраки Tesla используются для оказания помощи пострадавшим от пожаров в Калифорнии. Об этом сообщил генеральный директор компании — производителя ...

Спутники для интернета вещей могут быть задействованы в управлении дронамиСпутники для интернета вещей могут быть задействованы в управлении дронами Создание гибридной сети связи нужно, чтобы контролировать беспилотники в труднодоступных местах ...

Эксперт развеял миф о надежности автомата КалашниковаЭксперт развеял миф о надежности автомата Калашникова Максим Попенкер рассказал о важности ухода за оружием. Фото: pikabu.ru\vitalykuzmin.net Советский автомат Калашникова (АК) является крайне распростра ...

На страже надежности: гарантия на автомобили JettaНа страже надежности: гарантия на автомобили Jetta Автомобили Jetta отличаются высокой надежностью и не подведут в любой ситуации. Уверенность в этом подкрепляет гарантия на любую модель бренда. Прогр ...

Парвальбумин-экспрессирующие нейроны базального переднего мозга оказались задействованы в аверсивном обученииПарвальбумин-экспрессирующие нейроны базального переднего мозга оказались задействованы в аверсивном обучении Венгерские нейробиологи выяснили, что в реакции на аверсивные стимулы вовлечены ГАМКергические нейроны базального переднего мозга, экспрессирующие па ...

Дром изучил вопрос надёжности Changan CS35 PlusДром изучил вопрос надёжности Changan CS35 Plus Компактный кроссовер Changan CS35 Plus стал заметным игроком в категории представленных в России автомобилей этого класса — за 2024 года продано почт ...

АльфаСтрахование подтвердила высокий рейтинг финансовой надежности«АльфаСтрахование» подтвердила высокий рейтинг финансовой надежности Рейтинговое агентство «Эксперт РА» подтвердило рейтинг финансовой надежности АО «АльфаСтрахование» на уровне ruААА, прогноз по рейтингу — стабильный. ...

Военные США рассказали, какие силы были задействованы в операции Absolute Resolve против ВенесуэлыВоенные США рассказали, какие силы были задействованы в операции Absolute Resolve против Венесуэлы В ходе проведенной в субботу операции Absolute Resolve против Венесуэлы были задействованы 150 американских самолетов и вертолетов, сообщил на пресс- ...

Глава Роснефти усомнился в надежности поставок альтернативной энергииГлава "Роснефти" усомнился в надежности поставок альтернативной энергии Из известных в настоящее время исследований наиболее перспективным видом "чистого" топлива является водород, однако для него пока не существует ни ко ...

Свыше 400 млн рублей направлено на программу повышения надежности Артемовской ТЭЦСвыше 400 млн рублей направлено на программу повышения надежности Артемовской ТЭЦ Комплекс мер реализуется отдельно от основной ремонтной программы и особенно важен для предприятий-долгожителей. На Артемовской ТЭЦ АО «Дальневосточн ...

Эксперт РА отозвало рейтинг финансовой надежности СК Росгосстрах Жизнь«Эксперт РА» отозвало рейтинг финансовой надежности СК «Росгосстрах Жизнь» Рейтинговое агентство «Эксперт РА» отозвало без подтверждения рейтинг финансовой надежности ООО СК «Росгосстрах Жизнь». Ранее у компании действовал р ...

Ресурсный мотор, стойкая подвеска  японский эталон надежности за 1,5 млн рублейРесурсный мотор, стойкая подвеска — японский эталон надежности за 1,5 млн рублей Бизнес-седан за 1,5 млн рублей? Раньше они стоили столько новыми, а сейчас... Но пусть они успели сменить 1-2 владельцев, все же это не бюджетники, а ...

Банк Центр-инвест поднялся на 4 строчки в рейтинге надежности ForbesБанк «Центр-инвест» поднялся на 4 строчки в рейтинге надежности Forbes Банк «Центр-инвест» в очередной раз вошел в рейтинг надежности банков России по версии Forbes. Он занял 42 место, поднявшись на четыре строчки выше п ...

В Новосибирске дополнительно направят 1 млрд рублей на повышение надежности теплосетейВ Новосибирске дополнительно направят 1 млрд рублей на повышение надежности теплосетей В первую очередь будет проведена инвентаризация теплосетей и выявлены участки, где есть вероятность аварий ...

Выпуск языка программирования Python 3.13Выпуск языка программирования Python 3.13 После года разработки опубликован значительный выпуск языка программирования Python 3.13. Новая ветка будет поддерживаться в течение полутора лет, по ...

55% Python-разработчиков используют Linux55% Python-разработчиков используют Linux Организация Python Software Foundation опубликовала результаты совместного ежегодного опроса, в котором приняли участие более 25 тысяч разработчиков, ...

Выпуск языка программирования Python 3.14Выпуск языка программирования Python 3.14 После года разработки опубликован значительный выпуск языка программирования Python 3.14. Новая ветка будет поддерживаться в течение полутора лет, по ...

Разработчики ELMA365 и СПАРК-Интерфакс выпустили модуль для оценки надежности контрагентовРазработчики ELMA365 и «СПАРК-Интерфакс» выпустили модуль для оценки надежности контрагентов Разработчики Low-code платформы ELMA365 и системы «СПАРК-Интерфакс» выпустили модуль для продукта ELMA365 CRM. Теперь клиенты... ...

Смартфон получил максимальные 5 звезд в рейтинге надежности SGS // Александр Леви  о новинке Honor X9c«Смартфон получил максимальные 5 "звезд" в рейтинге надежности SGS» // Александр Леви — о новинке Honor X9c Обозреватель “Ъ FM” Александр Леви рассказывает о том, благодаря чему устройство может выдержать падение с высоты до 2 м. ...

Марка Subaru заняла первое место в рейтинге надежности автомобилей 2024 годаМарка Subaru заняла первое место в рейтинге надежности автомобилей 2024 года Исследование провело американское издание Consumer Reports — по его итогам, Subaru удалось обойти традиционных лидеров Toyota и Lexus. Рейтинг, соста ...

Курская область имеет шансы стать частью программы повышения надежности энергоснабженияКурская область имеет шансы стать частью программы повышения надежности энергоснабжения Об этом сообщил врио губернатора региона Александр Хинштейн после рабочей встречи с вице-премьером Правительства РФ Александром Новаком. Также, в ход ...

АО Транснефть  Сибирь провело комплекс работ по повышению надежности объектов в трех регионахАО "Транснефть – Сибирь" провело комплекс работ по повышению надежности объектов в трех регионах Работы прошли на объектах, расположенных в Тюменской области, а также в Ханты-Мансийском и Ямало-Ненецком автономных округах... ...

no-code - пакет для скрытия кода на языке Pythonno-code - пакет для скрытия кода на языке Python Опубликован инструментарий no-code, позволяющий скрывать код в скриптах на языке Python. Преобразованный скрипт выглядит в редакторах кода как одна с ...

В платформу cTrader добавлена встроенная поддержка PythonВ платформу cTrader добавлена встроенная поддержка Python Компания Spotware, разработчик популярной торговой платформы cTrader, сообщила накануне о том, что в версии cTrader Windows 5.4 появится встроенная п ...

Компания Anthropic выделила 1.5 млн долларов проекту PythonКомпания Anthropic выделила 1.5 млн долларов проекту Python Компания Anthropic, продвигающая семейство больших языковых моделей Claude, выделила организации Python Software Foundation (PSF) грант, размером 1.5 ...

Выпуск Python-библиотеки для научных вычислений NumPy 2.0.0Выпуск Python-библиотеки для научных вычислений NumPy 2.0.0 Доступен релиз Python-библиотеки для научных вычислений NumPy 2.0.0, ориентированной на работу с многомерными массивами и матрицами, а также предоста ...

Подмена зависимости в Python-библиотеке, насчитывающей 40 млн загрузок в месяцПодмена зависимости в Python-библиотеке, насчитывающей 40 млн загрузок в месяц В библиотеке Python JSON Logger выявлена уязвимость (CVE-2025-27607) дающая возможность подменить зависимость при установке через каталог PyPI и доби ...

Фишинг-атака на сопровождающих Python-пакеты в репозитории PyPIФишинг-атака на сопровождающих Python-пакеты в репозитории PyPI Администраторы репозитория Python-пакетов PyPI (Python Package Index) предупредили о выявлении фишинг-атаки, напоминающей недавнюю атаку на сопровожд ...

Школьников Удмуртии начнут обучать основам программирования на PythonШкольников Удмуртии начнут обучать основам программирования на «Python» Казань. Татарстан. В Казани прошёл форум «Формируя будущее», на котором Удмуртией был подписан меморандум с Международной школой программ ...

Около 145 тысяч человек и более 15 тысяч единиц техники задействованы в уборке снега в МосквеОколо 145 тысяч человек и более 15 тысяч единиц техники задействованы в уборке снега в Москве Сейчас улично-дорожная сеть расчищена от снега. В течение дня работы проводятся и на дворовых территориях. ...

Проект PyXL развивает процессор для выполнения байт-кода PythonПроект PyXL развивает процессор для выполнения байт-кода Python Представлен специализированный процессор PyXL, предназначенный для ускорения выполнения кода на языке Python. Байт-код Python напрямую выполняться чи ...

Исследователи из ВШЭ разработали Python-библиотеку для анализа данных движений глазИсследователи из ВШЭ разработали Python-библиотеку для анализа данных движений глаз Исследовательская группа из Высшей школы экономики разработала Python-библиотеку EyeFeatures, предназначенную для анализа... ...

Достижение выполнения кода при контроле над текстом комментария в Python-скриптеДостижение выполнения кода при контроле над текстом комментария в Python-скрипте Один из участников соревнования UIUCTF 2025, подробно разобрал, как ему удалось выполнить задание, требующее добиться исполнения своего кода на серве ...

Хакеры стали чаще атаковать через публичные библиотеки PythonХакеры стали чаще атаковать через публичные библиотеки Python Это самый популярный язык у разработчиков, и под ударом может оказаться множество корпоративных решений ...

Проект Python отказался от гранта в 1.5 млн долларов на повышение защищённости PyPIПроект Python отказался от гранта в 1.5 млн долларов на повышение защищённости PyPI Организация Python Software Foundation, курирующая разработку языка программирования Python, отказалась от получения гранта в 1.5 млн долларов, одобр ...

Уязвимость в Python-модуле TarFile, допускающая запись в любые части ФСУязвимость в Python-модуле TarFile, допускающая запись в любые части ФС Во входящем в штатную поставку Python модуле tarfile, предоставляющем функции для чтения и записи tar-архивов, выявлено пять уязвимостей, одной из ко ...

Выпуск Snek 1.10, Python-подобного языка программирования для встраиваемых системВыпуск Snek 1.10, Python-подобного языка программирования для встраиваемых систем Кит Паккард (Keith Packard), активный разработчик Debian, лидер проекта X.Org и создатель множества X-расширений, включая XRender, XComposite и XRand ...

Утечка токена для полного доступа к GitHub-репозиториям проекта PythonУтечка токена для полного доступа к GitHub-репозиториям проекта Python Исследователи из компании JFrog обнаружили в составе Docker-образа "cabotage-app" токен, предоставляющий доступ с правами администратора к репозитори ...

Древние языки программирования ворвались в топ популярности. COBOL, Ada и Fortran угрожают PythonДревние языки программирования ворвались в топ популярности. COBOL, Ada и Fortran угрожают Python Очень старые языки пробираются в топ-20 рейтинга Tiobe. Fortran и Delphi соревнуются за место в первой десятке, тогда как COBOL и Ada прочно закрепил ...

Миллионы компьютеров оказались под угрозой взлома из-за критической уязвимости, связанной с PythonМиллионы компьютеров оказались под угрозой взлома из-за критической уязвимости, связанной с Python В популярном пакете объектно-ориентированного языка программирования Python — python-json-logger — обнаружена критическая уязвимость, кот ...

Один из ключевых разработчиков Python отстранён на три месяца из-за нарушения кодекса поведенияОдин из ключевых разработчиков Python отстранён на три месяца из-за нарушения кодекса поведения Тим Петерс (Tim Peters), автор гибридного алгоритма сортировки Timsort, член Python Core Team и один из старожилов проекта, участвующий в разработке ...

Изучение начинки sandbox-окружения, используемого в Google Gemini для запуска Python-кодаИзучение начинки sandbox-окружения, используемого в Google Gemini для запуска Python-кода Опубликованы результаты исследования защищённости изолированного окружения для выполнения Python-кода, применяемого компанией Google в чатботе Gemini ...

В России лютая нехватка программистов на Python и Java. Но при этом зарплаты разработчиков не растутВ России лютая нехватка программистов на Python и Java. Но при этом зарплаты разработчиков не растут В России возникла очень серьезная нехватка программистов, пишущих на популярных в стране и мире языках. Дефицитнее других оказались Python-программис ...

Вместо Python. Huawei создала собственный язык программирования, простой в освоении и доступный каждомуВместо Python. Huawei создала собственный язык программирования, простой в освоении и доступный каждому Huawei открыла доступ к своему фирменному языку программирования Cangjie, на разработку которого потратила, по меньшей мере, три года. Он ориентирова ...

Python  не самый популярный язык программирования. Десятки миллионов ИТ-шников покорены гораздо менее звездным языкомPython – не самый популярный язык программирования. Десятки миллионов ИТ-шников покорены гораздо менее «звездным» языком Python оказался на втором месте среди языков программирования по количеству людей, пишущих на нем. Его с огромным отрывом опередил JavaScript, а люби ...

Очередное доказательство надёжности Toyota. Toyota Tundra проехала 1,4 миллиона километров за 6 лет, единственный крупный ремонт потребовался на пробОчередное доказательство надёжности Toyota. Toyota Tundra проехала 1,4 миллиона километров за 6 лет, единственный крупный ремонт потребовался на пробеге 800 тыс. км Большой пикап Toyota Tundra по праву называют рабочей лошадкой, и эта лошадка не подводит. В США зафиксирован случай, когда владелец машины за 6 лет ...

Python  это змея Отец Linux сознался в неумении программировать на самом популярном языке в мире и призвал на помощь нейросетьPython – это змея? «Отец» Linux сознался в неумении программировать на самом популярном языке в мире и призвал на помощь нейросеть Линус Торвальдс признался, что не умеет программировать на Python – самом популярном языке программирования в мире. Раньше он просто искал нужные ему ...