1. 6
    Separation Logic (2019) ☶ formalmethods programming cacm.acm.org
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | no comments
  2. 2
    An Interference-Free Programming Model for Network Objects (2016) ☶ pdf distributed java networking security se.inf.ethz.ch
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  3. 3
    SafeGPU: Contract- and Library-based GPGPU for Object-Oriented Languages (2016) ☶ pdf dotnet formalmethods graphics security se.inf.ethz.ch
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  4. 7
    Lua in the NetBSD Kernel (2012) pdf slides lua netbsd netbsd.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 6 comments
  5. 4
    A Brief History of Software Engineering (2008) ☶ pdf historical programming inf.ethz.ch
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  6. 4
    A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model (2010) ☶ pdf formalmethods programming security se.inf.ethz.ch
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  7. 4
    Neuroevolution of Self-Interpretable Agents ☶ pdf ai arxiv.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  8. 2
    International Competition on Software Testing Test-Comp (2019) ☶ pdf security testing sosy-lab.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  9. 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 1 year ago | cached | no comments
  10. 2
    Applying Combinatorial Testing to Systems with a Complex Input Space (2013) ☶ pdf c java testing rc.library.uta.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  11. 2
    Verifying Arithmetic in Cryptographic C Programs ☶ pdf c crypto formalmethods security drive.google.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 4 comments
  12. 5
    JQF: Coverage-Guided Property-Based Testing in Java ☶ pdf java testing people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  13. 7
    Modular Information Hiding and Type-Safe Linking for C (2008) ☶ pdf c formalmethods plt saurabh-srivastava.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  14. 3
    Making Whiley Boogie! (2017) ☶ pdf formalmethods programming homepages.ecs.vuw.ac.nz
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  15. 12
    Drawing with Ants: Generative Art with Ant Colony Optimization Algorithms ai art javascript python amydyer.art
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  16. 3
    ARMY: A Deductive Verification Platform for ARM Programs Using Why3 ☶ pdf assembly formalmethods inforum.org.pt
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  17. 5
    Binary Mutation Analysis of Tests Using Reassembleable Disassembly ☶ pdf assembly c testing www-users.cs.umn.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  18. 4
    Data Abstraction and Relational Program Logic ☶ pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  19. 5
    Pegasus: A Framework for Sound Continuous Invariant Generation ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  20. 2
    Critical Perspectives on Provable Security: Fifteen Years of "Another Look" Papers ☶ pdf crypto formalmethods security eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  21. 31
    How Do Bullets Work in Video Games? games programming gamasutra.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 8 comments
  22. 5
    Security Wrappers and Bernstein Chaining (2003) historical security unix catb.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  23. 12
    Scant Evidence of Power Laws Found in Real-World Networks (2018) science quantamagazine.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 7 comments
  24. 5
    Automatic Loop Invariant Generation and Refinement through Selective Sampling (2017) ☶ pdf ai c formalmethods testing lijiaying.github.io
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  25. 14
    Designed for Reliability practices security thedailywtf.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 4 comments
Page 2 >>