435 stories from 143 submitters
  1. 27
    Featherweight Go go plt arxiv.org
    ceh avatar via ceh 2 days ago | cached | 1 comment
  2. 4
    Retrofitting Fine Grain Isolation in the Firefox Renderer pdf browsers security arxiv.org
    fro avatar via fro 6 days ago | cached | no comments
  3. 1
    Specifying and Model Checking Workflows of Single Page Applications with TLA+ pdf formalmethods web arxiv.org
    hwayne avatar via hwayne 7 days ago | cached | no comments
  4. 3
    BaseSAFE: Baseband SAnitized Fuzzing through Emulation security testing arxiv.org
    sanxiyn avatar via sanxiyn 8 days ago | cached | no comments
  5. 3
    Backstabber's Knife Collection: A Review of Open Source Software Supply Chain Attacks pdf security arxiv.org
    friendlysock avatar via friendlysock 11 days ago | cached | no comments
  6. 1
    [Story removed by original submitter]
    vrthra avatar via vrthra 18 days ago | cached
  7. 2
    Insignificant Choice Polynomial Time compsci arxiv.org
    Corbin avatar via Corbin 20 days ago | cached | no comments
  8. 1
    Preventing Time Synchronization in NTP's Broadcast Mode networking security arxiv.org
    hernanat avatar via hernanat 27 days ago | cached | no comments
  9. 3
    Bypassing memory safety mechanisms through speculative control flow hijacks pdf security arxiv.org
    fro avatar via fro 28 days ago | cached | no comments
  10. 14
    Retrofitting Parallelism onto OCaml pdf ml arxiv.org
    hwayne avatar via hwayne 1 month ago | cached | 4 comments
  11. 7
    Paxos vs Raft: Have we reached consensus on distributed consensus? ☶ pdf distributed arxiv.org
    calvin avatar via calvin 1 month ago | cached | 1 comment
  12. 6
    Learning to Prove Theorems via Interacting with Proof Assistants ai math arxiv.org
    RiderOfGiraffes avatar via RiderOfGiraffes 1 month ago | cached | no comments
  13. 5
    LLHD: A Multi-level Intermediate Representation for Hardware Description Languages pdf compilers hardware arxiv.org
    hovind avatar via hovind 1 month ago | cached | no comments
  14. 13
    Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs pdf rust security arxiv.org
    animatronic avatar via animatronic 2 months ago | cached | no comments
  15. 4
    Neuroevolution of Self-Interpretable Agents ☶ pdf ai arxiv.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  16. 3
    DangKiller: Eliminating Dangling Pointers Efficiently via Implicit Identifier pdf security arxiv.org
    fro avatar via fro 2 months ago | cached | no comments
  17. 4
    Knowledge Graphs ai databases education arxiv.org
    zig avatar via zig 2 months ago | cached | no comments
  18. 3
    Forensic analysis of the Windows telemetry for diagnostics pdf privacy windows arxiv.org
    calvin avatar via calvin 3 months ago | cached | no comments
  19. 2
    ShadowGuard: Optimizing the Policy and Mechanism of Shadow Stack Instrumentation pdf security arxiv.org
    fro avatar via fro 3 months ago | cached | no comments
  20. 2
    MLIR: A Compiler Infrastructure for the End of Moore’s Law ☶ pdf compilers arxiv.org
    calvin avatar via calvin 3 months ago | cached | no comments
  21. 9
    A Systematic Impact Study for Fuzzer-Found Compiler Bugs pdf compilers testing arxiv.org
    vrthra avatar via vrthra 3 months ago | cached | 6 comments
  22. 21
    Toward Semantic Foundations for Program Editors pdf compsci arxiv.org
    pushcx avatar via pushcx 3 months ago | cached | 4 comments
  23. 4
    Building Reliable Cloud Services Using P# formalmethods arxiv.org
    ceh avatar via ceh 3 months ago | cached | no comments
  24. 4
    Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator pdf math arxiv.org
    355E3B avatar via 355E3B 3 months ago | cached | 2 comments
  25. 1
    Survey of Automated Vulnerability Detection and Exploit Generation Techniques in C.R.S.'s (2018) ☶ pdf ai c c++ formalmethods security testing arxiv.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
Page 2 >>