1. 17
    Diversity and Discrimination in Open Source culture quillette.com
    koomi avatar via koomi 1 month ago | cached | 10 comments
  2. 7
    Software Testing as Species Discovery (statistical properties of fuzzing campaigns) ☶ compsci math testing arxiv.org
    koomi avatar via koomi 4 months ago | cached | 2 comments
  3. 3
    Weird machines, exploitability, and provable unexploitability ☶ compsci security ieeexplore.ieee.org
    koomi avatar via koomi 8 months ago | cached | no comments
  4. 7
    An Empirical Study on the Correctness of Formally Verified Distributed Systems pdf compsci distributed practices testing homes.cs.washington.edu
    koomi avatar via koomi 1 year ago | cached | no comments
  5. 3
    CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers pdf browsers crypto security ccs.neu.edu
    koomi avatar via koomi 1 year ago | cached | no comments
  6. 3
    Fuzzing the OpenSSH daemon using AFL ☶ networking security vegardno.blogspot.de
    koomi avatar via koomi 1 year ago | cached | no comments