Infecting Generative AI with Viruses - David A. Noever and Forrest McKee

Boston Computation Club
15/09/2025 59 min

Listen "Infecting Generative AI with Viruses - David A. Noever and Forrest McKee"

Descargar episodio Ver en sitio original

Episode Synopsis

David A. Noever and Forrest McKee are researchers at PeopleTec, where they work on problems at the intersection of security, defense, and AI/ML. Today David joined us to present their joint work Infecting Generative AI with Viruses. This was a really great presentation that took a rigorous approach to defining the security boundaries and limitations of AI tools, and it fostered one of the better discussions we've hosted in a while. We hope you enjoy it as much as we did!

More episodes of the podcast Boston Computation Club

08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng 15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang 02/08/2025
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler 25/07/2025
06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos 22/06/2025
06/13/25: Gradual Verification with Jenna DiVincenzo 14/06/2025
05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman 08/05/2025
04/18/25: Descriptive Complexity with Ramit Das 19/04/2025
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker 05/04/2025
04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer 05/04/2025
03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski 08/03/2025
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA