A detailed overview of the formal verification of Apple's iMessage PQ3 protocol using the Tamarin prover. The talk covers PQ3's hybrid cryptographic design, its post-quantum security goals like forward secrecy and post-compromise security, the powerful adversary model it resists, and the successful formal analysis of its unbounded double ratchet structure.
Joe Reis and Matt Housley, authors of "Fundamentals of Data Engineering," reflect on the book's principles three years after its publication. They discuss how the rise of AI has created both powerful tools and dangerous "bear traps" for engineers, the critical role of expertise in a world of AI-generated content, and why foundational knowledge is more important than ever.
An empirical study of the 'hi mum and dad' SMS scam, a new interaction-based fraud technique. The research dissects the scam's lifecycle, from initial contact to financial exploitation, by analyzing scam messages, mobile network data, and mule accounts in collaboration with a UK mobile operator. Key findings reveal the psychological principles used, the abuse of mobile and financial infrastructure, and the underlying structure of scammer networks.
Dr. Jay Bhattacharya, Director of the NIH, discusses his vision for reforming the institution by adopting a Silicon Valley-style portfolio approach to funding, tackling the replication crisis, supporting early-career scientists, and leveraging AI to accelerate biomedical research while rebuilding public trust in science.
A summary of the conversation between YC's Harj Taggar and Base's Jesse Pollak about the 'golden age of crypto,' covering the evolution to Fintech 3.0, the technological and regulatory shifts enabling it, and the key opportunities for founders in stablecoins, tokenization, and the intersection of AI and crypto.
Ashley Peacock, author of 'Serverless Apps on Cloudflare,' joins Ricky Robinett to provide a deep dive into Cloudflare's evolution from a security provider to a comprehensive developer platform. They explore its unique global architecture, serverless offerings like Workers and Durable Objects, and its growing suite of AI and data tools, contrasting its developer experience with traditional cloud providers.