Professor Allison Lewko is named one of Forbes magazine’s “30 under 30” in science and healthcare for her research on proving the security of cryptographic protocols.