Developers tasked with security problems are often not cryptographers themselves. They are bright people who, with careful guidance, can implement …