BLAKFRAME LTD — фірма системної інженерії, зареєстрована в Англії та Уельсі (номер компанії 16726125) — можна перевірити в Companies House. Фірма працює там, де коректність програмного забезпечення має бути забезпечена для всіх вхідних даних, а не лише для більшості — і де видами відмов є пошкодження пам’яті, невизначена поведінка та розбіжність між специфікацією і виконанням. Її діяльність має два напрями: розробка BLAKHOLE, основної інженерної розробки фірми, та активні дослідження безпеки низькорівневого й криптографічного програмного забезпечення, які є основним джерелом доходу фірми.
Обидва напрями роботи фірма здійснює власними силами, і вони взаємно підсилюють один одного: дослідження вивчають, як системи відмовляють; інженерна робота застосовує ці знання під час побудови систем. Фірма фінансує себе самостійно, не має зовнішніх інвесторів і не пропонує споживчих продуктів. Те, чого вона не публікує, вона не публікує.
Директор і системний архітектор
Давід Царських — єдиний директор BLAKFRAME LTD, який очолює її інженерну та дослідницьку роботу. Він керує розробкою BLAKHOLE та дослідженнями безпеки фірми — від вимог до перевірки. Його призначення та реєстрацію фірми можна перевірити в Companies House.
Фірма досліджує безпеку низькорівневого й криптографічного програмного забезпечення — це її основне джерело доходу — та власними силами розробляє BLAKHOLE, свою основну інженерну розробку. BLAKHOLE не ліцензується, не надається на хостингу й не продається як продукт. Про результати досліджень безпеки повідомляють тим, хто супроводжує відповідне програмне забезпечення, у межах координованого розкриття вразливостей.
Програмне забезпечення, коректність якого потрібно підтвердити, перш ніж на нього покладатися: компоненти, у яких одне необроблене граничне значення, одна небезпечна операція або розбіжність між специфікацією і виконанням робить некоректною систему загалом. Інженерні вимоги до цього класу суворі — безпека пам’яті, визначена поведінка на кожній межі, відтворюване виконання — і фірма веде розробку, оскільки для виконання цих вимог самих лише звичайних інструментів недостатньо.
В аналізі програмних систем для виявлення дефектів, яких не виявляє саме лише тестування — недоліків реалізації криптографічних протоколів, небезпечної обробки на критичних шляхах виконання та розбіжностей між специфікацією і її реалізацією. Про виявлені дефекти повідомляють тим, хто супроводжує відповідне програмне забезпечення, у межах координованого розкриття вразливостей. Фірма не розвиває спроможностей для наступальних дій, не продає експлойти й не надає послуг стеження чи перехоплення.
На етапі розробки. BLAKHOLE активно розробляється, а дослідження безпеки тривають. Фірма не публікує внутрішніх контрольних етапів; анонси виходять після завершення робіт, а не за графіком.
З іншими підприємствами, причому сторони діють від власного імені та за власний рахунок, на підставі окремої угоди для кожної співпраці. Контрагенти отримують технічні матеріали, потрібні для співпраці. Загальні запити та запити від установ: enquiries@blakframe.com. Питання безпеки: security@blakframe.com.
Ні. Фірма розробляє BLAKHOLE власними силами для власної діяльності та співпраці за договорами. BLAKHOLE не ліцензується, не надається на хостингу й не продається як продукт; самостійного доступу немає. Співпраця починається з розмови, а не з оформлення покупки.
