NVIDIA、ソフトウェアのセキュリティ検証に形式検証を採用
NVIDIAのソフトウェア・セキュリティ担当副社長は、次のように述べています。「テスト指向のソフトウェア検証は、単純にセキュリティのためには機能しません。ユーザーに提供される機能の品質の尺度を持つことはできますが、セキュリティのためには機能しません。"幸いなことに、コードが指定されたとおりに動作することを数学的に証明することが可能です。このプロセスは「形式的検証」と呼ばれています。NVIDIAは、ソフトウェアの安全性を証明するために、ソフトウェアの形式的検証のための業界ソリューションであるSPARKを使用しています。数年前の概念実証の後、現在では多くのNVIDIA製品がSPARKコンポーネントを使用してリリースされています。
JavaScript、Java、Python、Kotlin、Rustの開発者が目覚ましい勢いで増加中
SlashData が昨夏に 163 か国、26,000 人以上の開発者を対象に実施した第 23 回開発者国別レポートによると、JavaScript は依然として最大のプログラミング言語コミュニティであり、世界中で推定 1,960 万人の開発者が日常的に JavaScript を使用しています。Javaコミュニティは過去2年間で830万人から1650万人に増加しましたが、同期間の開発者の増加は50%に過ぎません。Pythonは過去2年間で約800万人の開発者が新たに加わり、KotlinとRustコミュニティは過去2年間でいずれも2倍の規模になっています。
暗号技術者が非格子ポスト量子暗号アルゴリズムの検討を提案
現在の多くの暗号システムの安全性は、大きな数の因数分解に基づいていますが、因数分解の癖が量子コンピュータによる攻撃に脆弱にしています。そのため、1990年代に導入され、NISTが選んだ4つのポスト量子暗号標準のうち3つで使用されている「格子暗号」に大きな期待が寄せられています。アディ・シャミールが心配しているRSAアルゴリズムの名前にある「S」は、「ある意味、すべての卵を1つのカゴに入れる」ことです。すべての卵を一つのカゴに入れること"この夏の初め、有望なポスト量子暗号方式が量子コンピュータではなく、普通のラップトップで解読されました。
