You are here: Home › News & Events › Press Releases › NaCl to give way to RockSalt

Send this page to someone

Fill in the email address of your friend, and we will send an email that contains a link to this page.
Address info
(Required)
The e-mail address to send this link to.
(Required)
Your email address.
A comment about this link.
NaCl to give way to RockSalt

But who checks the checker? Greg Morrisett, Allen B. Cutting Professor of Computer Science, helped develop a rigorous, machine-checked proof. (Photo by Rose Lincoln, Harvard News Office.)