teaching

#15: Citrix Backdoors, Post Quantum Crypto, Anti-bot AI, and Security for Kids

ROP-E15: HTML5 Audio ^ Austin and Nathan are back at it! This time they discuss a current epidemic of citrix device backdoor installations, and some recent publications detailing hopeful post-quantum cryptographic solutions. They also discuss the ways some are using AI to fight botnets and current efforts to give cyber security license training to students.

#14: Professor of Computer Science Dr. Martin Carlisle, the Cyber Trust Mark, Formal Verification, and Cyber Education

ROP-E14: HTML5 Audio ^ 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....