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