Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Safety to the Weak! Security Through Feebleness - An Unorthodox Manifesto

IEEE via YouTube

Overview

Explore an unorthodox approach to cybersecurity in this 23-minute IEEE conference talk. Delve into the concept of "Security Through Feebleness" as presented by Rick McGeer at the 2016 LangSec Workshop. Examine the challenges and opportunities in Software-Defined Infrastructure, focusing on the need for guaranteed properties of performance and function in opaque, user-independent systems. Investigate the importance of static bug detection and inherently verifiable infrastructure configurations. Learn about the tractability of verification in state-free and finite-state systems, particularly in OpenFlow rulesets and configuration layers. Consider the community's challenge in designing usable, concise configuration models for software-defined infrastructure that maintain weak semantics and appropriate performance abstractions while enabling verification.

Syllabus

Intro
Prevent Bugs
Why use Turingcomplete languages
What are Turingcomplete languages
Verilog VHDL
Verification
Networking is a mess
Traditional switch
Turing
SoftwareDefined Networking
Network Verification
Network Specifications
Key Unverifiable Component
SDI
Base
Soft
Finite State Modeling
Finite State Simulation
Runtime Model Checking

Taught by

IEEE Symposium on Security and Privacy

Reviews

Start your review of Safety to the Weak! Security Through Feebleness - An Unorthodox Manifesto

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.