マイクロソフトは、FBIに対し容疑者のノートパソコンを解錠するためのBitLocker暗号化キーを提供しました。

2026/01/24 2:58

マイクロソフトは、FBIに対し容疑者のノートパソコンを解錠するためのBitLocker暗号化キーを提供しました。

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

Microsoft は、グアムのパンデミック失業援助プログラムに関連する連邦詐欺捜査で押収された3台のノートパソコンを解錠するために、FBI に BitLocker 回復キーを提供しました。令状は Microsoft に送達され、6か月後に FBI がキーを要求しました。Microsoft は通常年間約20件の同様のリクエストを受け取ると述べています。BitLocker は回復キーを自動的に Microsoft のクラウドにアップロードし、許可がある場合は法執行機関がアクセスできるようにしています。暗号技術者は、Microsoft のクラウドが侵害された場合、攻撃者がこれらのキーを取得でき、物理ドライブは安全であってもユーザーを露出させる可能性があると警告しています。この事件は、暗号化キーの保管・保護方法に関する継続的な懸念を浮き彫りにしています。

Text to translate

Microsoft supplied the FBI with BitLocker recovery keys to unlock three laptops seized during a federal fraud investigation tied to Guam’s Pandemic Unemployment Assistance program. The warrants were served to Microsoft, and the FBI requested the keys six months later—Microsoft said it typically receives about 20 such requests per year. BitLocker automatically uploads recovery keys to Microsoft’s cloud, allowing law‑enforcement access when authorized. Cryptography experts warn that if Microsoft’s cloud is compromised, attackers could obtain these keys, exposing users even though the physical drives remain secure. This incident underscores ongoing concerns about how encryption keys are stored and protected.

本文

画像クレジット:Nicolas Economou/NurPhot / Getty Images

2026年1月23日 午前7:54(太平洋標準時)

フォーブスが金曜に報じたところによると、マイクロソフトは連邦捜査の一環として、3台のノートパソコンのハードドライブ上で暗号化されたデータを解読するための回復キーをFBIへ提供したとのことです。

現在、多くのWindows PC は「BitLocker」と呼ばれるフルディスク暗号化機能に依存しており、これは標準設定で有効になっています。この技術は、デバイスがロックされ電源オフ状態にある場合、所有者以外の人物がデータへアクセスすることを防ぐはずです。

しかし、BitLocker の回復キーはデフォルトでマイクロソフトのクラウドにアップロードされるため、同社(そしてその結果として法執行機関)はそれらにアクセスし、BitLocker で暗号化されたドライブを解読することが可能です。フォーブス報道はこの事例を取り上げています。

今回のケースでは、米国領土・グアム(太平洋にある島)におけるパンデミック失業給付プログラム関連の詐欺疑惑が関係しています。昨年、現地メディア Pacific Daily News は、容疑者のハードドライブに対してマイクロソフトへ差し押さえ令状が送られたと報じました。また別のグアム地方紙 Kandit News も10月に、FBI が BitLocker で暗号化された3台のノートパソコンを押収した後6か月で令状を求めたことを伝えています。

TechCrunch のリクエストに対しマイクロソフトのスポークスパーソンは即座にはコメントできませんでした。マイクロソフトはフォーブスへ、時折当局に BitLocker 回復キーを提供しており、年間平均で約20件のリクエストを受けていると語っています。

回復キーを企業に渡すことによるプライバシーリスクに加え、ジョンズ・ホプキンス大学の教授兼暗号学専門家マシュー・グリーンは、悪意あるハッカーがマイクロソフトのクラウドインフラを乗っ取り、これらの回復キーへアクセスするという潜在的なシナリオを指摘しました。近年何度か同様の事態が発生しており、ハッカーは盗まれた回復キーを使用するには物理的にハードドライブへアクセスできる必要があります。

「2026年であり、これらの懸念は長い間知られている。」
「マイクロソフトが重要な顧客キーを安全に保護できないことは、業界全体から外れた存在となりつつある。」


TechCrunch イベント

サンフランシスコ | 2026年10月13日〜15日

Lorenzo Franceschi‑Bicchierai は TechCrunch のシニアライターで、ハッキング・サイバーセキュリティ・監視・プライバシーを担当しています。

Lorenzo への連絡または確認は、以下から行えます:

  • メール lorenzo@techcrunch.com
  • Signal(暗号化メッセージ) +1 917 257 1382
  • Keybase/Telegram の @lorenzofb

プロフィールを見る


一番人気

同じ日のほかのニュース

一覧に戻る →

2026/01/24 10:00

**27ブランドから325車種へ対応したオープンソース自動運転**

## Japanese Translation: 提供された要約は正確で網羅的かつ明瞭であるため、変更の必要はありません。 --- **元の要約:** Comma Four は、オープンパイロットプラットフォームを利用した高度なドライバーアシスタンス機能を車両に提供する AI 主導型アップグレードです。トヨタ・ヒュンダイ・フォードなど 27 社の 325 台以上の車に追加でき、広範なモデルでテストされ、人間の入力を最小限に抑えて数時間動作可能であることが示されています。オープンパイロットの実証済み自律走行機能を基盤とし、Comma Four は自動運転技術の業界全体への普及へ向けた一歩を表します。同社はユーザーにコミュニティ参加と将来の自律システム形成への貢献を呼びかけつつ、プロダクト開発・自律工学・運用部門での採用も積極的に行っています。広く展開されれば、このアップグレードは多ブランドのドライバーアシスト機能の導入を加速し、自動車技術分野で新たなキャリアパスを創出する可能性があります。

2026/01/19 17:03

**現代のプログラミングで実践しているC++習慣** 1. **説明的な変数名を使う** - 単一文字の識別子は避け、意図が伝わる名前を選ぶ。 2. **不変データには `const` と `static const` を優先する** - 変更されないことを保証し、コンパイラ最適化を促進する。 3. **RAII(Resource Acquisition Is Initialization)パターンを採用する** - リソースの取得と解放をオブジェクトに閉じ込めることでリークを防止。 4. **必要に応じてヘッダーオンリ―ライブラリを利用する** - コンパイル依存性が減り、ビルド時間が短縮される。 5. **型推論には `auto` を使う** - 複雑なイテレータ型を簡潔にしつつ可読性を保つ。 6. **モダンなコンテナ初期化子を活用する** - `std::vector<int> v{1, 2, 3};` は手動の `push_back` よりも明確で簡潔。 7. **Catch2 や Google Test のようなフレームワークで単体テストを書く** - コードの正しさを保証し、リファクタリングを容易にする。 8. **関数は短く、目的を絞る** - 単一責任原則を目指すことで保守性が向上する。 9. **Doxygen コメントでドキュメント化する** - クリーンで検索可能な API ドキュメントを自動生成できる。 10. **最適化はプロファイル後に行う** - ホットスポットを測定し、実際のパフォーマンスボトルネックに対処する。

## Japanese Translation: 作者は主にC#とPythonで作業していますが、バインディングやニッチなタスクのために依然としてC(またはC++)を使用します。これは細粒度の制御を提供するからです。Cには公式のスタイルガイドラインがないため、ブログ、Rust、および完璧主義的マインドセットから引き出した個人的な習慣を構築しています。 新しいプロジェクトでは、GCC/Clang/MSVCサポート付き**C23**を好み、`#if CHAR_BIT != 8 #error` を強制して8ビットの `char` を保証します。彼らは簡潔な typedef のセット(`u8`, `i8`, `i16`, `u16`, `i32`, `u32`, `u64`, `f32`, `f64`, `uptr`, `isize`, `usize`)を採用し、<stdbool.h> からの C23 の `bool` をブール値に使用します。 ヌル終端文字列を避けるために、彼らは **長さ+データ構造**(`String` に `u8 *data; isize len`)を使用します。「parse, don’t validate」に触発されてオープックタイプと信頼できるコンストラクタ(Lelenthran のブログ参照)を作成しています。C23 のタグ互換性により、マクロ (`Tuple2(T1,T2)`) を使って単純なタプルを定義できますが、名前付き構造体は必要です。 エラーハンドリングは **sum types** でモデル化されています:列挙型とそれに伴う構造体(`ErrorCode`, `SafeBuffer`, `MaybeBuffer`)が戻り値に成功または失敗を符号化します。作者は純粋な C では動的メモリ割り当てを意図的に避け、ヒープ重視のコードには Rust または C# を好みます;アレーナアロケータも言及されますが使用されません。 標準ライブラリの使用は最小限です。文字列関数はほとんど使わず、代わりに生の `mem*` 呼び出しを優先します。また、OS API はエルゴノミクスが悪いため再実装されることがよくあります。作者は外部関数のドキュメントを注意深く読むことを強調し、将来的により安全なメモリ取り扱いのために **「slice」タイプ** を追加することを検討しています。 全体として、この記事は読者が自分自身の C スタイルガイドラインを作成するよう奨励しつつ、言語の強みと挫折の両方を認めています。

2026/01/20 0:06

**Go言語が1万5000行を削減** --- ### 概要 Goプログラミング言語は、最近の更新で約 **150万行(LOC)** のコードを削除し、コードベースの大幅な縮小を実現しました。これはコミュニティが言語をシンプルに保ち、保守性を向上させるために継続的に取り組んでいる結果です。 ### 主なポイント - **削減規模** - コアパッケージとツール全体で約1,500,000行が削除されました。 - **動機** - 現在の使用状況に合わなくなった重複コードやレガシーコードを排除する。 - 保守性を簡素化し、コンパイル時間を短縮し、可読性を向上させる。 - **開発者への影響** - 廃止予定の機能に対してわずかなAPI変更が加えられました。 - よりシンプルになったコードベースを反映したドキュメントが更新されました。 - **今後の展望** - ミニマリズムとパフォーマンスへの継続的な注力。 - 言語をさらに洗練させるため、コミュニティからの貢献を奨励しています。 ### 結論 Goプロジェクトが半百万行に及ぶ削減を意図的に実施したことは、世界中の開発者に対して明瞭性・効率性・長期的持続可能性へのコミットメントを示すものです。

## Japanese Translation: ``` ## Summary 著者はQuaminaにUnicode文字プロパティ正規表現の堅牢なサポートを構築し、`[~p{L}~p{Zs}~p{Nd}]`という構文を使用しました。 Goの標準ライブラリが最新のUnicodeバージョン(15.0対17.0)に追いついていないため、Quaminaは独自のデータを維持する必要がありました。著者は `UnicodeData.txt` を取得し、フィールド1と3を解析してすべての37カテゴリとそれらの補集合の範囲をリスト化したコードを生成しました—結果として従来の775K行アプローチに比べ5,122行のGoコードのみで済みました。 初期は、すべてのオートマタを事前計算しコードへ直列化すると約12Mのデータが生成され、起動時に長時間停止したりIDEがクラッシュする問題が発生しました。実行時キャッシュ戦略に切り替えることで、Quaminaは初回使用時にUnicodeプロパティオートマタを計算し保持できるようになりました。この変更で追加速度が135/秒から4,330/秒へ(30倍)向上しました。マッチング性能も高いままであり、UTF‑8の短さと浅いオートマタのおかげで数十万〜百万メッセージ/秒を処理できます。 著者は日常的な作業にGenAIツールを使用することを検討しましたが、ツール不足・時間制約・そのようなサービスのビジネス実現性への懐疑心から控えています。次の主要機能は数値量指定子サポート(例:`a{2-5}`)であり、これによりQuaminaの正規表現機能が完結します。この成功を受けてQuamina 2.0の安定リリースが計画されています。生活上の誘惑が勢いを鈍らせましたが、不確実性があるものの今後の開発は奨励されます。 ```