The PROOFS workshop is held annually alongside CHES and CRYPTO with the goal of “promoting methodologies that increase the confidence level in the security of embedded systems, especially those which contain cryptographic algorithms”. Ryan was invited to give a keynote talk on hardware security design tools. This year the workshop was held at UC Santa Barbara, which gave Ryan the opportunity to visit his old stomping grounds (he was a professor there from 2002-2007). If you are interested, you can use the Internet “Wayback Machine” and see our old research group’s website. The painting is of UCSB Campus Point. It hangs on the wall in Ryan’s house.