Новости по тегу "smt"

Подборка публикаций, содержащих тег "smt". Актуальные темы и важные события.

Нет изображения

[Перевод] Решаем задачу про ферзей при помощи SMT-солвера

Автор статьи Modern SAT solvers: fast, neat and underused утверждает, что SAT-солверы «преступно мало используются в нашей отрасли». [SAT —...

17.06.2025 08:38
10
Нет изображения

Формальная верификация смарт-контрактов Solidity: SMTChecker

В данной статье мы делаем поверхностный обзор подходов, обеспечивающих безопасность смарт-контрактов. Разбираем устройство и принцип работы...

09.06.2025 08:54
15
Нет изображения

Взлом уязвимой операционной системы Vulnix. Уязвимая служба/протокол smtp

Всех приветствую, читатели Хабра! В сегодняшней статье я поделюсь примером взлома уязвимой ОС Vulnix и энумерацией порта/сокета/службы smtp. После...

28.05.2025 16:00
19
Нет изображения

Как работает электронная почта. База

Исходим из того, что все умные, но многие не знают, как ходит почта и вопросы эти на 99% исходят из базы.База:Для работы почты почтовый сервер...

15.05.2025 14:04
19
Нет изображения

Как мы упростили развертывание почтового сервиса для тестирования или сказ про Mailpit — он же сервис fakemail\mailtrap

Привет! В нашей команде возникла задача — развернуть почтовый сервер для удобства тестирования. Цель — проверять, как различные сервисы...

08.05.2025 12:15
19
[Перевод] Ох уж эти скрытные ботнеты

[Перевод] Ох уж эти скрытные ботнеты

Вот очередной день, когда ботнеты пытаются взломать мой скромный почтовый сервер брутфорсом для рассылки спама. Такое случается волнами, но волны...

25.04.2025 13:01
25
Нет изображения

Delta Chat. Короткая инструкция в картинках

Все мы являемся экспертами в той или иной области инженерно‑технического знания. Но когда банк обновляет интерфейс пользователя, мы все примерно...

09.04.2025 13:42
26