254
submitted 1 year ago by OsrsNeedsF2P@lemmy.ml to c/privacy@lemmy.ml
you are viewing a single comment's thread
view the rest of the comments
[-] planish@sh.itjust.works 0 points 1 year ago

Every piece of software has vulnerabilities lurking within.

Remind me why we put up with this again? Formal verification does exist.

[-] fartsparkles@sh.itjust.works 3 points 1 year ago

Formal Verification doesn't guarantee that the code is free of vulnerability, it just increases confidence in its security. It’s never perfect.

this post was submitted on 08 Sep 2023
254 points (98.8% liked)

Privacy

31538 readers
852 users here now

A place to discuss privacy and freedom in the digital world.

Privacy has become a very important issue in modern society, with companies and governments constantly abusing their power, more and more people are waking up to the importance of digital privacy.

In this community everyone is welcome to post links and discuss topics related to privacy.

Some Rules

Related communities

Chat rooms

much thanks to @gary_host_laptop for the logo design :)

founded 4 years ago
MODERATORS