デイビッド・ツァルスキフ
取締役・システムアーキテクト
デイビッド・ツァルスキフはBLAKFRAME LTDの唯一の取締役として、同社のエンジニアリングと研究を統括しています。要件定義から検証まで、BLAKHOLEの開発と同社のセキュリティ研究を指揮しています。同氏の選任と同社の登記は、Companies Houseで確認できます。
BLAKFRAME
低レベルシステムのエンジニアリング
BLAKFRAME LTDは、イングランドおよびウェールズで登記されたシステムエンジニアリング企業です（会社登記番号 16726125）。Companies Houseで確認できます。同社が取り組むのは、大半の入力だけでなく、すべての入力に対してソフトウェアの正しさが成り立つ必要があり、メモリ破壊、未定義動作、仕様と実行の乖離が障害として生じる領域です。その活動は、主要なエンジニアリング開発であるBLAKHOLEの開発と、低レベルソフトウェアおよび暗号ソフトウェアを対象とした継続的なセキュリティ研究の二つです。セキュリティ研究は、同社の主な収入源です。
これらの活動はいずれも社内で行い、相互に補強し合っています。研究ではシステムがどのように障害を起こすかを調べ、エンジニアリングではその知見をシステムの構築に適用します。同社は自己資金で運営し、外部投資家はおらず、消費者向け製品も提供していません。公開しないものは、公開しません。
技術概要
BLAKFRAMEは何を行っていますか。
同社は、主な収入源である低レベルソフトウェアおよび暗号ソフトウェアのセキュリティ研究を行うとともに、主要なエンジニアリング開発であるBLAKHOLEの開発を社内で進めています。BLAKHOLEは、製品としてライセンスを供与したり、ホスティングしたり、販売したりするものではありません。セキュリティ研究の結果は、協調された脆弱性開示に従い、影響を受けるソフトウェアのメンテナーに報告します。
同社はどのような種類の問題に取り組んでいますか。
対象は、利用の前提として正しさを確立する必要があるソフトウェアです。未処理の境界値が一つあるだけで、安全でない操作が一つあるだけで、あるいは仕様と実行が乖離するだけで、全体の正しさが失われるコンポーネントを扱います。この種のソフトウェアには、メモリ安全性、すべての境界で定義された動作、再現可能な実行という厳格なエンジニアリング要件があります。従来のツールだけではこれらの要件を満たすには不十分であるため、同社は開発に取り組んでいます。
セキュリティ研究では何を行っていますか。
テストだけでは明らかにならない欠陥を見つけるため、ソフトウェアシステムを分析します。対象には、暗号プロトコルの実装上の欠陥、重要な実行経路での安全でない処理、仕様と実装の乖離が含まれます。研究結果は、協調された脆弱性開示に従い、影響を受けるソフトウェアのメンテナーに報告します。同社は攻撃能力を開発せず、エクスプロイトを販売せず、監視サービスや通信傍受サービスも提供しません。
現状
現在はどの段階にありますか。
開発段階です。BLAKHOLEの開発を進めており、セキュリティ研究も継続しています。同社は内部のマイルストーンを公開していません。発表は予定に合わせて行うのではなく、完了後に行います。
同社は取引先とどのように事業を行っていますか。
取引ごとに個別の契約を締結し、双方が自らの名義と責任で企業間取引を行っています。取引先には、その取引に必要な技術資料を提供します。一般のお問い合わせおよび機関からのお問い合わせ： enquiries@blakframe.com。セキュリティに関する事項： security@blakframe.com。
この技術は販売またはライセンス供与の対象ですか。
いいえ。BLAKHOLEは、同社自身の運用と契約に基づく業務のために社内で開発しています。製品としてライセンスを供与したり、ホスティングしたり、販売したりするものではなく、セルフサービスでのアクセスもありません。取引は購入手続きではなく、協議から始まります。