Newest stories submitted by ceh.

  1. 1
    Formal models of core Elasticsearch algorithms formalmethods github.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 4
    Koord: Language and analysis for robust, distributed, cyber-physical systems pdf formalmethods plt programming cyphyhouse.github.io
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  3. 4
    TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing pdf ai testing arxiv.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    code2seq: Generating Sequences from Structured Representations of Code ☶ pdf ai arxiv.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 1
    "Death of the Trusted Internet" by Marianne Bellotti (2017) video practices youtube.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 2
    TRIMMER: Application Specialization for Code Debloating ☶ pdf performance security csl.sri.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    TaskSanitizer: Runtime Determinacy Race Detection Tool for OpenMP Tasks testing github.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 1
    EmbedSanitizer: A Runtime Race Detection Tool for 32-bit Embedded ARM testing github.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    HPolyC: length-preserving encryption for entry-level processors ☶ cryptography python eprint.iacr.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    Quotations for Learning and Programming ☶ practices programming cs.cmu.edu
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  11. 11
    GDPR Data Extract Request - Spotify Delivers 850MB and 250MB of Data privacy twitter.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  12. 2
    Crash Triage Process security testing blog.grimm-co.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 7
    Introducing Web Authentication in Microsoft Edge browsers security blogs.windows.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 4
    The Design and Implementation of Hyperupcalls ☶ pdf performance security virtualization usenix.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 4
    Manage Windows 10 connection endpoints privacy windows docs.microsoft.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 4
    Diffy: A digital forensics and incident response tool python security github.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 1
    BOLT: A Practical Binary Optimizer for Data Centers and Beyond ☶ performance arxiv.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 4
    PerfFuzz: Automatically Generating Pathological Inputs ☶ pdf testing carolemieux.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 4
    Compiler Fuzzing through Deep Learning ☶ pdf testing homepages.inf.ed.ac.uk
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 4
    Badger: Complexity Analysis with Fuzzing and Symbolic Execution ☶ testing arxiv.org
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 8
    Nagini: A Static Verifier for Python ☶ pdf formalmethods python pm.inf.ethz.ch
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 6
    Formal reasoning about the security of AWS pdf formalmethods cs.ucl.ac.uk
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 13
    XARs: An efficient system for self-contained executables python code.fb.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 4
    FASTER: A Concurrent Key-Value Store with In-Place Updates databases microsoft.com
    ceh avatar via ceh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>