InfoQ Homepage Interviews Todd Montgomery on Protocol Design, Security, Formal Verification Tools
Todd Montgomery on Protocol Design, Security, Formal Verification Tools
Bio
Todd is a networking hacker who has researched, designed, and built numerous protocols, messaging-oriented middleware systems, and real-time data systems, done research for NASA, contributed to the IETF and IEEE, and co-founded two startups. He currently works for Kaazing as Chief Architect. @toddlmontgomery
About the conference
GOTO Aarhus is the enterprise software development conference designed for team leads, architects, and project management and is organized by developers, for developers. Our concept has always been to present the latest developments as they become relevant and interesting for the software development community.
Dec 19, 2014
Interview with
This content is in the Security topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
Microsoft Introduces Postgres-Compatible Azure HorizonDB
-
Breaking Silos: Netflix Introduces Upper Metamodel to Bring Consistency across Content Engineering
-
Lyft Rearchitects ML Platform with Hybrid AWS SageMaker-Kubernetes Approach
-
Java News Roundup: Spring Tools 5, TornadoVM, Payara Platform, Hibernate ORM, Spock Framework
-
AWS Debuts “DevOps Agent” to Automate Incident Response and Improve System Reliability
-
Building a More Appealing CLI for Agentic LLMs Based on Learnings from the Textual Framework
-