Обо мне
Джузеппе Кокомацци (Giuseppe Cocomazzi) — технический исследователь безопасности, сотрудничающий с KeyForDEX в удалённом формате. В качестве постоянного автора (Technical Author) он регулярно готовит для платформы глубокие аналитические материалы
Имея сильный инженерный фундамент — диплом с отличием высшей степени (summa cum laude) знаменитого Politecnico di Bari, — Джузеппе профессионально специализируется на сложной криптографии и инфраструктурных уязвимостях. До работы в блокчейн-индустрии он успешно занимался исследованиями безопасности корпоративных продуктов (Fortinet Product Security), а его имя зафиксировано в официальных базах уязвимостей (включая CVE-2023-25000 в HashiCorp Vault) и архивах полного раскрытия (Seclists).
В настоящее время Джузеппе занимает позицию Senior Researcher в компании Certora — одном из ведущих мировых аудиторов формальной верификации смарт-контрактов.
Роль в KeyForDEX: Инженерный Research
Статьи Джузеппе — это не поверхностный копирайтинг. Он пишет в формате строгих "research notes". В KeyForDEX Джузеппе отвечает за самые сложные разделы: скрытые доверительные предпосылки в кроссчейн-мостах (commit-reveal механизмы), уязвимости архитектуры валидаторов (на примере Solana) и тонкости работы криптографии в production-блокчейнах (например, риски при агрегации BLS-подписей).
Области экспертизы
Ключевые Публикации и Ресёрчи
-
Анатомия взломов кроссчейн-мостов: риски Commit-Reveal
KeyForDEX / Аналитика инфраструктуры
-
Keep It Like a Secret (Certora Blog) ↗
Внешняя публикация / Certora
-
Subtleties of BLS Signatures ↗
Внешняя публикация / Certora
-
Operating a Solana Validator: Security via Simplicity ↗
Внешняя публикация / Инфраструктура
-
Ghost in the Block: ETH Consensus Vulnerability ↗
Внешний Research / Asymmetric Research