#otp

Raspberry Pi のマイクロコントローラ RP2350 に対して、Ledger の研究チームがかなり手の込んだ物理攻撃を試し、永久に無効化されたはずの Secure debug を復活させた、というのが今回の話です。しかもやみくもにレーザーを当てたのではなく、まず photon-emission microscopy で狙う場所を絞り込み、そのあと laser fault injection で必要なビットを立てています。単に「壊せた」ではなく、どの防御がどこで崩れるかを丁寧に示した点が重要です。現実の脅威としてはかなり特殊ですが、ハードウェアの“永久設定”がどこまで頼れるのかを考える材料になります。 Ledger Donjon が扱ったのは、Raspberry Pi の RP2350 です。これは Arm Cortex-M33 か RISC-V Hazard3 のどちらかを起動時に選べるデュアルコア MCU で、Secure boot、Armv8-M TrustZone、永久の debug-disable 設定、そしてクロックや電源の乱れを検出する glitch detect

Erlang/OTP 29.0 が公開されました。 ひとことで言うと、「新機能もあるけど、今回は安全性と堅牢性をかなり真面目に底上げした版」という印象です。Erlangは昔から、止まらない通信システムや分散システムで強い言語として知られていますが、今回のアップデートはその“実戦向け”な性格がさらに濃くなっています。 `-unsafe` 属性が追加され、危険な関数を明示しやすくなった コンパイラが「危ない呼び出し」に警告を出すようになった SSH daemon が shell / exec をデフォルト無効化し、より安全な初期設定に SFTP subsystem もデフォルト無効化 SSL/SSH のデフォルトで、量子耐性を意識した hybrid key exchange が採用された `io_ansi` で ANSI カラーや装飾を出しやすくなった `ct_doctest` でドキュメント中のコード例をテストできる native records、`is_integer/3`、multi-valued comprehensions など言語機能も拡張 Windows の 32-b