sel4-ics-gateway-demo

seL4 ICSゲートウェイデモ 産業用制御システムをサイバー攻撃から保護するためのプロトコルブレーク 方式とパケットフォワーディング 方式のアーキテクチャを比較する、防御的セキュリティ研究プロジェクトです。 ドキュメント: ネットワークアーキテクチャ - ネットワーク図とトラフィックフロー コンテナアーキテクチャ - Dockerコンテナの関係性 CVE解説 - 脆弱性の詳細と攻撃メカニズム 研究の動機 現代のICS/SCADAシステムは、FrostyGoopのような高度な攻撃に直面しています。FrostyGoopは2024年1月にModbus...

'The Hacker News' Weekly Roundup — 14 Most Popular Stories

To make the last week’s top cyber security threats and challenges available to you in one shot, we are once again here with our weekly round up. Last week, we came across lots of cyber security threats like the XCodeGhost malware in Apple’s App Store and lockscreen bypass bug in iOS 9 and iOS 9.0...

Is This Security-Focused Linux Kernel Really UnHackable?

Can you name which Operating System is most Secure? ...Windows, Mac, Linux or any particular Linux Distribution? Yes, we get that! It’s not an easy thing to pick. Besides Windows, Even the so-called ultra-secure Linux Distros were found to be vulnerable to various critical flaws in past years...

seL4 Secure Microkernel Made Open Source

General Dynamics C4 Systems and Australia’s Information and Communications Technology Research Centre NICTA today open sourced the code-base of a secure microkernel project known as seL4. Touted as “the most trustworthy general purpose microkernel in the world,” seL4 has previously been adapted b...