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

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

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

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

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

Как мы упростили развертывание почтового сервиса для тестирования или сказ про Mailpit — он же сервис fakemail\mailtrap
Привет! В нашей команде возникла задача — развернуть почтовый сервер для удобства тестирования. Цель — проверять, как различные сервисы...
![[Перевод] Ох уж эти скрытные ботнеты](https://habrastorage.org/webt/2x/ok/m7/2xokm7j4wivtrlqe2snohs46op8.png)
[Перевод] Ох уж эти скрытные ботнеты
Вот очередной день, когда ботнеты пытаются взломать мой скромный почтовый сервер брутфорсом для рассылки спама. Такое случается волнами, но волны...

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