Search
 
   

3 results for "domain:web.cs.ucdavis.edu"

  1. 5
    Combining Symbolic Execution and Model Checking for Data Flow Testing (2015) ☶ pdf c formalmethods testing web.cs.ucdavis.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  2. 0
    Moral Character of Cryptographic Work security web.cs.ucdavis.edu
    zg avatar via zg 2 years ago | cached | 2 comments
  3. 7
    The Moral Character of Cryptographic Work pdf law privacy security web.cs.ucdavis.edu
    pushcx avatar via pushcx 2 years ago | cached | 1 comment