checkers-production

Strange Loop·40 min

• STRANGE LOOP
• Blue Team
• Date: 2022
• Location: Strange Loop

Provides automatic Generation of Runtime Checkers for Production Distributed Systems by Ryan Huang and evaluates key implications for security practitioners.