We have the great pleasure of being joined by Dr. Martin Carlisle, a highly respected expert in cyber security and Professor of Computer Science at Texas A&M University. Listen as the Lobsters and Dr. Carlisle discuss the White House’s new Cyber Trust Mark for IOT devices (see the following for more technical information), formal verification for secure programs, and the joy of teaching computer science to English majors.