Search
 
   

5 results for "domain:cs.ucsb.edu"

  1. 3
    Unbounded Data Model Verification Using SMT Solvers (2012) ☶ pdf formalmethods ruby web cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  2. 4
    Driller - Augmenting Fuzzing Through Selective Symbolic Execution (2016) pdf compsci programming testing cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 1 comment
  3. 5
    Fuzzing the Rust typechecker using CLP (2015) ☶ pdf formalmethods programming rust cs.ucsb.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  4. 5
    Efficient Computation of Frequent and Top-k Elements in Data Streams pdf compsci icmi.cs.ucsb.edu
    reiver avatar via reiver 4 years ago | cached | no comments
  5. 3
    Nazca: Detecting Malware Distribution in Large-Scale Networks pdf networking security seclab.cs.ucsb.edu
    thorduri avatar via thorduri 4 years ago | cached | no comments