WeAreDevelopers LIVE
•
May 10, 2024
Typed Security: Preventing Vulnerabilities By Design
Michael Koppmann
- Discuss this with your agent
- Open in Claude
- Open in ChatGPT
Stop relying on endless runtime validation to secure your core. Discover how strong typing can make entire classes of software vulnerabilities structurally impossible to compile.
Starting at 37:46 · Watch from the beginning
Checking access…
Playback and chapters load privately for Free videos.
Matching moments
More from WeAreDevelopers LIVE
Upcoming sessions on this topic
Starts in 12 days
Conference India 2026
November 25–26, 2026
Bengaluru, India
-
Supply Chain Security for the Everyday Engineer
Pradumna Saraf · Kestra Technologies
Wed 25 Nov · Stage 3 - powered by GitHub
-
When Caches Lie: Solving Transactional Integrity and Distributed Race Conditions in Spring Boot
Shuchita Prasad · JPMorgan
Thu 26 Nov · Stage 2
-
A Tale of Two Systems: Design and Reality
Mandeep Singh · Kyndryl
Thu 26 Nov · Stage 3 - powered by GitHub
Related videos
Related articles
DC
Daniel Cranney
DC
Daniel Cranney
CS
Christina Schaireiter
BB
Benedikt Bischof
From learning to earning
Jobs that call for the skills explored in this talk.
11 days ago
Senior Web Software Architect, AI Experiences
TeamViewer Germany GmbH
Austin, TX, United States
Expert
ReactJS
TypeScript
TeamViewer
18 days ago
Staff Developer Advocate, GitHub Security Lab
GitHub
San Francisco, CA, United States
Experienced
$323k
Git
Github
Databases
26 days ago
Senior Software Engineer, Vulnerability Management
GitHub
United States
Expert
$329k
Remote
Ruby
Golang
Docker
about 2 months ago
•
Senior Product Security Architect
Expedia
Austin, United States
Expert
Hybrid · 3 days on-site
Agentic AI
Security Architecture
5 days ago
Senior Software Engineer, Identity Platform
GitHub
New York, NY, United States
Expert
$329k
Remote
Ruby
OAuth
Golang
25 days ago
Staff Security Data Engineer
GitHub
United States
Experienced
Remote
Github
Airflow
Terraform