Newest stories submitted by ceh.

  1. 6
    Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code security usenix.org
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 8
    Benjamin Pierce: Backtracking Generators for Random Testing video testing youtube.com
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 27
    Featherweight Go go plt arxiv.org
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 9
    Recent Papers Related To Fuzzing testing github.com
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  5. 4
    Building Reliable Cloud Services Using P# formalmethods arxiv.org
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 1
    tailscale - Private WireGuard networks made easy go security github.com
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 49
    oreboot - a fork of coreboot, with C removed, written in Rust rust github.com
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  8. 1
    Fuzzing: Hack, Art, and Science pdf security testing patricegodefroid.github.io
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 8
    PRaft: Building Provably Safe Distributed Systems using Model Checking ☶ pdf formalmethods people.eecs.berkeley.edu
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 13
    The TLA+ Toolbox formalmethods arxiv.org
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 3
    Building Fast Fuzzers testing arxiv.org
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 3
    Compiling linear and static channels in Go ☶ pdf go ctp.di.fct.unl.pt
    ceh avatar via ceh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 4
    FUDGE: Fuzz Driver Generation at Scale c c++ security testing ai.google
    ceh avatar via ceh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 7
    Generating Correctness Proofs with Neural Networks ai formalmethods arxiv.org
    ceh avatar via ceh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 5
    NEUZZ: Efficient Fuzzing with Neural Program Smoothing (2018) ☶ security testing arxiv.org
    ceh avatar via ceh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  16. 3
    Detecting Asymmetric Application-layer Denial-of-Service Attacks In-Flight with Finelame ☶ security usenix.org
    ceh avatar via ceh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 4
    Adaptive Grey-Box Fuzz-Testing with Thompson Sampling ai testing arxiv.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 3
    The pain that minimal version selection solves go practices about.sourcegraph.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 3
    SOTER: Programming Safe Robotics System using Runtime Assurance formalmethods arxiv.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 6
    Verifying Rust Programs with SMACK pdf formalmethods rust soarlab.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 2
    Reflections on Random Kitchen Sinks (2017) ☶ ai culture benjamin-recht.github.io
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 6
    Pseudo Constant Time Implementations of TLS Are Only Pseudo Secure cryptography security eprint.iacr.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 12
    FASTER: Open source key-value store from Microsoft Research ☶ databases performance release github.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 4
    The VeriFast Program Verifier c formalmethods java github.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 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
Page 2 >>