A

AllHackingCons

86 Followers
AllVideosLiveAbout
    Opening Remarks of the 2015 LangSec Workshop
    5:19

    Opening Remarks of the 2015 LangSec Workshop

    Protocol State Machines and Session Languages
    35:39

    Protocol State Machines and Session Languages

    The Correctness Security Gap in Compiler Optimization YouTube
    25:17

    The Correctness Security Gap in Compiler Optimization YouTube

    The State of Hammer
    9:18

    The State of Hammer

    Towards more Security in Data Exchange
    15:52

    Towards more Security in Data Exchange

    Unambiguous Encapsulation
    36:23

    Unambiguous Encapsulation

    The State of Hammer Ready for ICS
    19:53

    The State of Hammer Ready for ICS

     9  views
    A Posteriori Taint tracking for Demonstrating Non interference in Expressive Low level Languages
    16:00

    A Posteriori Taint tracking for Demonstrating Non interference in Expressive Low level Languages

    An Incremental Learner for Language Based Anomaly Detection in XML
    18:01

    An Incremental Learner for Language Based Anomaly Detection in XML

    Caradoc a Pragmatic Approach to PDF Parsing and Validation
    26:00

    Caradoc a Pragmatic Approach to PDF Parsing and Validation

    Complex Paths and Derelict Sentinels software engineering underpinnings of NTP vulnerabilities
    23:35

    Complex Paths and Derelict Sentinels software engineering underpinnings of NTP vulnerabilities

    Grammatical Inference and Machine Learning Approaches to Post Hoc LangSec
    14:45

    Grammatical Inference and Machine Learning Approaches to Post Hoc LangSec

    In Search Of Shotgun Parsers In Android Applications
    17:47

    In Search Of Shotgun Parsers In Android Applications

    Mitigating LangSec Problems With Capabilities
    24:06

    Mitigating LangSec Problems With Capabilities

    Panel Toward a LangSec Software Development Lifecycle
    43:23

    Panel Toward a LangSec Software Development Lifecycle

    Research Report Analysis of Software for Restricted Computational Environment Applicability
    15:01

    Research Report Analysis of Software for Restricted Computational Environment Applicability

    Safety to the Weak Security Through Feebleness An Unorthodox Manifesto
    23:12

    Safety to the Weak Security Through Feebleness An Unorthodox Manifesto

    Some musings on the deduplication weird machine
    15:30

    Some musings on the deduplication weird machine

     1  view
    2016 The Year of LangSec Bugs
    43:43

    2016 The Year of LangSec Bugs

    Building Hardened Internet of Things Clients with Language theoretic Security
    19:30

    Building Hardened Internet of Things Clients with Language theoretic Security

    Eliminating Input Based Attacks by Deriving Encoders and Decoders from CFGs
    24:29

    Eliminating Input Based Attacks by Deriving Encoders and Decoders from CFGs

     4  views
    Embedded Nom a case study of memory safe parsing in resource constrained environments
    26:30

    Embedded Nom a case study of memory safe parsing in resource constrained environments

    Hardware Enforcement of Walther Recursive Program Functions
    14:32

    Hardware Enforcement of Walther Recursive Program Functions

    How the BIOS assures its handling of inputs
    36:07

    How the BIOS assures its handling of inputs

    IDE Plugins for Detecting Input Validation Vulnerabilities
    13:22

    IDE Plugins for Detecting Input Validation Vulnerabilities

Prev Next
Rumble logo