Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
3 results for "domain:web.cs.ucdavis.edu"
5
Combining Symbolic Execution and Model Checking for Data Flow Testing (2015)
☶
pdf
c
formalmethods
testing
web.cs.ucdavis.edu
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
0
Moral Character of Cryptographic Work
security
web.cs.ucdavis.edu
via
zg
2 years ago
|
cached
|
2 comments
2
7
The Moral Character of Cryptographic Work
pdf
law
privacy
security
web.cs.ucdavis.edu
via
pushcx
2 years ago
|
cached
|
1 comment
1