Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
Samuel Greengard From Communications of the ACM | July 1, 2021
Canada's Office of the Privacy Commissioner has cited the Royal Canadian Mounted Police for illegally using facial recognition software from Clearview AI.
The Wall Street Journal From ACM TechNews | June 18, 2021
A spokesperson for video game publisher Electronic Arts verified that hackers have compromised the company's systems and stolen game source code and other assets...CNN From ACM TechNews | June 11, 2021
Clearview AI has been marketing facial recognition software to law enforcement around the country. In Minnesota, some agencies are finding out the technology doesn't...West Central Tribune (MN) From ACM News | May 27, 2021
2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a...Neil Savage From Communications of the ACM | June 1, 2021