News for hackers. Stuff that matters.

A comment on Cyberattacks in 12 Nations Said to Use Leaked N.S.A. Hacking Tool. Parent comment

Re:Cyberattacks in 12 Nations Said to Use Leaked N.S.A. Hack... by em3rgent0rdr on Friday May 12, 2017 @11:23PM (#14329408)
https://sel4.systems/ is a formally verified microkernel.
[ Parent | on HN ]

There are no comments on this comment yet.