Для подписчиков Недавно Microsoft опубликовала свой SMT-решатель Z3. Давай попробуем разобраться, как можно применить этот инструмент в практических целях.
Для подписчиков 9 марта компания Google представила Android N — предварительный выпуск седьмой версии своей операционки. И пока все радуются многооконному режиму, новой панели быстрых настроек и развитым уведомлениям, на которые можно отвечать без запуска приложения, я бы хотел сосредоточиться на действительно важных новшествах, которые делают Android лучше как систему, а именно: улучшениях в Doze, JIT/AOT-компиляторе, новом API тайлов и движении Android на десктопы.
Энтузиасты DIY до недавнего времени вынуждены были использовать для своих проектов далеко не лучшую камеру. Официально предлагаемое Raspberry Pi решение было выпущено еще в 2013 году и обладало разрешением 5 Мп с датчиком OmniVision OV5647. Камера стоила $25 и не могла похвастаться хорошим качеством снимков и видео. 25 апреля 2016 года разработчики наконец-то представили обновленный продукт, получивший 8 Мп датчик.
Директор Национальной разведки США Джеймс Клэппер заявил, что после разоблачений Сноудена процесс усложненения коммерческих средств шифрования пошёл значительно быстрее, опередив прогнозы примерно на семь лет. «И это, с нашей точки зрения, совсем не хорошо», — добавил он.
Блокировка пользователей, которые удаляют рекламу при помощи Adblock Plus или других баннерорезок, может нарушать европейские законы. Такое мнение изложено в письме Европейской комиссии, которое опубликовал защитник прав на тайну частной жизни Александр Ханф.
Компания Bitdefender обнаружила опасную уязвимость в процессе регистрации учётных записей в Facebook. С её помощью злоумышленники могли захватывать чужие учётные записи на сайтах, которые позволяют логиниться при помощи Facebook Social Login.
«Лаборатория Касперского» сообщает, что криптовымогатель CryptXXX более не представляет угрозы. Данная малварь впервые попала в после зрения экспертов в середине апреля 2016 года. CryptXXX — это не просто шифровальщик, он также умеет похищать биткоины и личные данные с компьютеров своих жертв. Теперь у пострадавших есть хоть какое-то утешение: «Лаборатория Касперского» представила бесплатную утилиту для дешифровки файлов.
Группа исследователей из Калифорнийского университета в Санта-Барбаре обнаружила опасную уязвимость в бесплатном навигационном приложении Waze. Исследователи сумели отреверсить код Waze, что позволило им обвести серверы приложения вокруг пальца. Уязвимость помогла специалистам не только проследить за настоящими водителями в Сан-Франциско и Лос-Анджелесе, но также позволила наводнить карту тысячами автомобилей-призраков и создать виртуальные пробки.
В минувшие выходные на большинстве торрент-трекеров интернета наблюдался небывалый ажиотаж. Состоялась премьера шестого сезона сериала «Игра престолов», и новый эпизод уже к утру понедельника скачали и раздавали более 200 000 человек. Неизвестно, случайно или намерено, но хакеры выбрали именно этот момент, чтобы разместить на страницах трекера The Pirate Bay вредоносную рекламу.
23–24 апреля в Шанхае прошел финальный этап соревнования по компьютерной безопасности 0CTF. Первое место заняла команда LC↯BC из России, набрав по итогам 33-часового хакерского состязания больше очков, чем вместе взятые команды на втором и третьем месте — PPP из США и Dragon Sector из Польши.
