1. 5
    Verifying Rust Programs with SMACK pdf formalmethods rust soarlab.org
    ceh avatar via ceh 4 days ago | cached | no comments
  2. 2
    Reflections on Random Kitchen Sinks (2017) ☶ ai culture benjamin-recht.github.io
    ceh avatar via ceh 8 days ago | cached | 1 comment
  3. 5
    Pseudo Constant Time Implementations of TLS Are Only Pseudo Secure crypto security eprint.iacr.org
    ceh avatar via ceh 8 days ago | cached | no comments
  4. 12
    FASTER: Open source key-value store from Microsoft Research ☶ databases performance release github.com
    ceh avatar via ceh 9 days ago | cached | no comments
  5. 4
    The VeriFast Program Verifier c formalmethods java github.com
    ceh avatar via ceh 10 days ago | cached | 1 comment
  6. 16
    A Formally Verified NAT Stack ☶ pdf formalmethods networking dslab.epfl.ch
    ceh avatar via ceh 10 days ago | cached | 1 comment
  7. 1
    Formal models of core Elasticsearch algorithms formalmethods github.com
    ceh avatar via ceh 10 days ago | cached | no comments
  8. 4
    Koord: Language and analysis for robust, distributed, cyber-physical systems pdf formalmethods plt programming cyphyhouse.github.io
    ceh avatar via ceh 15 days ago | cached | 3 comments
  9. 3
    TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing pdf ai testing arxiv.org
    ceh avatar via ceh 17 days ago | cached | no comments
  10. 4
    code2seq: Generating Sequences from Structured Representations of Code ☶ pdf ai arxiv.org
    ceh avatar via ceh 18 days ago | cached | 1 comment
  11. 1
    "Death of the Trusted Internet" by Marianne Bellotti (2017) video practices youtube.com
    ceh avatar via ceh 21 days ago | cached | no comments
  12. 2
    TRIMMER: Application Specialization for Code Debloating ☶ pdf performance security csl.sri.com
    ceh avatar via ceh 21 days ago | cached | no comments
  13. 3
    TaskSanitizer: Runtime Determinacy Race Detection Tool for OpenMP Tasks testing github.com
    ceh avatar via ceh 22 days ago | cached | no comments
  14. 1
    EmbedSanitizer: A Runtime Race Detection Tool for 32-bit Embedded ARM testing github.com
    ceh avatar via ceh 22 days ago | cached | no comments
  15. 2
    HPolyC: length-preserving encryption for entry-level processors ☶ crypto python eprint.iacr.org
    ceh avatar via ceh 23 days ago | cached | no comments
  16. 5
    Quotations for Learning and Programming ☶ practices programming cs.cmu.edu
    ceh avatar via ceh 23 days ago | cached | 2 comments
  17. 11
    GDPR Data Extract Request - Spotify Delivers 850MB and 250MB of Data privacy twitter.com
    ceh avatar via ceh 23 days ago | cached | 6 comments
  18. 2
    Crash Triage Process security testing blog.grimm-co.com
    ceh avatar via ceh 24 days ago | cached | no comments
  19. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 24 days ago | cached | 1 comment
  20. 7
    Introducing Web Authentication in Microsoft Edge browsers security blogs.windows.com
    ceh avatar via ceh 26 days ago | cached | 1 comment
  21. 4
    The Design and Implementation of Hyperupcalls ☶ pdf performance security virtualization usenix.org
    ceh avatar via ceh 29 days ago | cached | no comments
  22. 4
    Manage Windows 10 connection endpoints privacy windows docs.microsoft.com
    ceh avatar via ceh 1 month ago | cached | no comments
  23. 4
    Diffy: A digital forensics and incident response tool python security github.com
    ceh avatar via ceh 1 month ago | cached | no comments
  24. 1
    BOLT: A Practical Binary Optimizer for Data Centers and Beyond ☶ performance arxiv.org
    ceh avatar via ceh 1 month ago | cached | no comments
  25. 4
    PerfFuzz: Automatically Generating Pathological Inputs ☶ pdf testing carolemieux.com
    ceh avatar via ceh 1 month ago | cached | no comments
Page 2 >>