News for hackers. Stuff that matters.

A comment on Memory Safe Languages in Android 13. Parent comment

Re:Memory Safe Languages in Android 13 by ShredKazoo on Thursday December 01, 2022 @10:39PM (#33826470)
Out of curiosity did the Wireguard formal verification effort end up identifying any security issues in the implementation?
[ Parent | on HN ]

There are no comments on this comment yet.