Search
 
   

6 results for "domain:langsec.org"

  1. 8
    Persuasive Language for Language Security: Making the case for software safety security spw18.langsec.org
    adsouza avatar via adsouza 1 month ago | cached | 14 comments
  2. 2
    Eliminating Input-Based Attacks by Deriving En/Decoders from Context-Free Grammars pdf compsci programming security spw17.langsec.org
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | 2 comments
  3. 2
    Writing Parsers Like it is 2017 pdf rust security spw17.langsec.org
    lthms avatar via lthms 1 year ago | cached | no comments
  4. 10
    LANGSEC: Language-theoretic Security compsci practices security langsec.org
    pushcx avatar via pushcx 2 years ago | cached | 1 comment
  5. 2
    LangSec: Recognition, Validation, and Compositional Correctness for Real World Security pdf security langsec.org
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  6. 12
    Attempting to write a formally verified PDF parser pdf programming spw14.langsec.org
    pushcx avatar via pushcx 3 years ago | cached | 1 comment