BLAKFRAME LTD — фирма, занимающаяся системной инженерией, зарегистрированная в Англии и Уэльсе (регистрационный номер компании 16726125) — можно проверить в Companies House. Фирма работает там, где корректность программного обеспечения должна сохраняться для всех входных данных, а не для большинства, и где видами отказа служат повреждение памяти, неопределённое поведение и расхождение между спецификацией и выполнением. Её работа ведётся в двух направлениях: разработка BLAKHOLE, основной инженерной разработки фирмы, и активные исследования безопасности низкоуровневого и криптографического программного обеспечения, которые являются основным источником доходов фирмы.
Оба направления ведутся собственными силами и взаимно усиливают друг друга: исследования изучают, как системы отказывают; инженерная работа применяет эти знания при построении систем. Фирма финансирует себя самостоятельно, не имеет внешних инвесторов и не предлагает потребительских продуктов. То, что она не публикует, она не публикует.
Директор и системный архитектор
Давид Царских — единственный директор BLAKFRAME LTD; он руководит её инженерной и исследовательской работой. Он руководит разработкой BLAKHOLE и исследованиями безопасности фирмы — от требований до верификации. Его назначение и регистрацию фирмы можно проверить в Companies House.
Фирма исследует безопасность низкоуровневого и криптографического программного обеспечения — это её основной источник доходов — и собственными силами разрабатывает BLAKHOLE, свою основную инженерную разработку. BLAKHOLE не лицензируется, не размещается на хостинге и не продаётся как продукт. Результаты исследований безопасности сообщаются ответственным за сопровождение затронутого ПО в рамках координированного раскрытия уязвимостей.
Программное обеспечение, корректность которого должна быть установлена до того, как на него начинают полагаться: компоненты, в которых одно необработанное граничное значение, одна небезопасная операция или расхождение между спецификацией и выполнением приводит к некорректности компонента в целом. Инженерные требования к этому классу строги — безопасность памяти, определённое поведение на каждой границе, детерминированное исполнение, — и фирма ведёт разработку потому, что одних традиционных инструментов для выполнения этих требований недостаточно.
Анализ программных систем на наличие дефектов, которые не выявляются одним лишь тестированием, — недостатков в реализации криптографических протоколов, небезопасной обработки на критических путях выполнения и расхождения между спецификацией и её реализацией. Результаты сообщаются ответственным за сопровождение затронутого ПО в рамках координированного раскрытия уязвимостей. Фирма не разрабатывает средства для проведения атак, не продаёт эксплойты и не предоставляет услуг наблюдения или перехвата.
Разработка. BLAKHOLE активно разрабатывается, исследования безопасности продолжаются. Фирма не публикует внутренние контрольные этапы; анонсы делаются по завершении работ, а не по графику.
Фирма работает с организациями; обе стороны действуют от собственного имени, и каждое сотрудничество регулируется отдельным соглашением. Контрагенты получают необходимые для сотрудничества технические материалы. Общие и институциональные запросы: enquiries@blakframe.com. Вопросы безопасности: security@blakframe.com.
Нет. BLAKHOLE разрабатывается собственными силами для деятельности самой фирмы и для работы по договорам. Он не лицензируется, не размещается на хостинге и не продаётся как продукт; самостоятельный доступ не предусмотрен. Сотрудничество начинается с разговора, а не с оформления покупки.
