[Перевод] SQL-инъекция через остановку перенаправления на страницу входа
Обзор отчета , в котором сервер компании Razer пострадал от обхода авторизации в странице администратора и SQL-инъекции. Это позволило получить доступ к игровым ключам из раздач, почтовым перепискам, данным пользователей и т.д. Читать далее...
Spark_news: Украинская федерация наложила санкции на киберспортсменов за игру и победу в команде с россиянами
...
Нужно больше Linux-смартфонов: Ubuntu Touch продолжает развиваться, поддерживая новые модели
Проект Ubuntu Touch изначально развивала компания Canonical, и у неё были на мобильную версию своего дистрибутива большие планы. Но что-то пошло не так, и разработчики отказались от проекта. К счастью, он не умер, его подхватила команда из Ubports. Причём не формально — сейчас вышла новая версия...
Что такое формальная верификация
Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказательство с использованием математических методов корректности...
Spark_news: NielsenIQ Russia опубликовала итоги российского FMCG-рынка за 1 полугодие 2023 год
...