Birdwatch Note Rating
2024-09-26 18:09:26 UTC - HELPFUL
Rated by Participant: 56C908C86854B2ED028DF39C4814E591E84B3B8412A92DD089BDA4504E6D2990
Participant Details
Original Note:
Context: Voting machines are hacked every year at DEFCON to identify potential vulnerabilities. While somewhat successful, there is no way to know if all potential vulnerabilities have been secured, aside from using Formal Methods in the software engineering approach. https://www.politico.com/news/2023/08/13/def-cons-election-hackers-2024-00110981
All Note Details