dslab.epfl.ch: 3 stories from 3 submitters

  1. 2
    Testing Closed-Source Binary Device Drivers with DDT (2010) ☶ pdf formalmethods osdev security testing dslab.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 16
    A Formally Verified NAT Stack ☶ pdf formalmethods networking dslab.epfl.ch
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 2
    Failure Sketches: A Better Way to Debug pdf compsci dslab.epfl.ch
    animatronic avatar via animatronic 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment