Almost always, the weakest part of an encryption system is the key management, including key exchange. Key management and key exchange involve protocols and I doubt that whatever the company uses to prove their code can be used to prove protocols.
WIPP does not store waste from nuclear reactors. As the article and summary state, WIPP stores materials, such as gloves from glove boxes, that have been contaminated with plutonium. There are no chunks of radioactive fuel, nothing to reprocess, nothing you can make a bomb from. It's all just discarded items that were used in research labs or in weapons plants that also happen to have been in contact with plutonium and are thus contaminated and dangerous to humans. Though having been a long-time reader of Slashdot, I know it's not unusual for most of the posts to be off-topic.
Slashdot Mirror
Almost always, the weakest part of an encryption system is the key management, including key exchange. Key management and key exchange involve protocols and I doubt that whatever the company uses to prove their code can be used to prove protocols.
Giving a gift of a GIF is great!
WIPP does not store waste from nuclear reactors. As the article and summary state, WIPP stores materials, such as gloves from glove boxes, that have been contaminated with plutonium. There are no chunks of radioactive fuel, nothing to reprocess, nothing you can make a bomb from. It's all just discarded items that were used in research labs or in weapons plants that also happen to have been in contact with plutonium and are thus contaminated and dangerous to humans. Though having been a long-time reader of Slashdot, I know it's not unusual for most of the posts to be off-topic.