Topic
Real World Crypto
The Real World Crypto 2020 conference highlighted critical vulnerabilities in modern communication and navigation systems, emphasizing the necessity of formal methods to ensure security. David Basin demonstrated how model checking tools like Tamarin Prover were applied to analyze the complex 3GPP 5G …
Lex Fridman
Emilio Frazzoli, CTO of nuTonomy and former MIT professor, argues that while safety, convenience, and improved mobility access are common reasons for pursuing autonomous vehicles (AVs), they merely improve upon the status quo rather than fundamentally changing transportation. He emphasizes that car- …