discovery.princeton.edu
COMPUTER SCIENCE: Security check: A strategy for verifying software that could prevent bugs
IN APRIL 2014, INTERNET USERS WERE SHOCKED to learn of the Heartbleed bug, a vulnerability in the open-source software used to encrypt Internet content and passwords. The bug existed for two years …