web.cs.ucdavis.edu: 8 stories from 7 submitters

  1. 4
    Mining Semantic Loop Idioms (2018) pdf compilers programming web.cs.ucdavis.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 3
    The Moral Character of Cryptographic Work (2015) ☶ cryptography law philosophy privacy security web.cs.ucdavis.edu
    awn avatar via awn 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 1
    Input and Output Block Conventions for AES Encryption Algorithms (1999) pdf cryptography web.cs.ucdavis.edu
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 1
    Finding Error-Handling Bugs in Systems Code Using Static Analysis (2012) ☶ pdf c formalmethods security web.cs.ucdavis.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 5
    The Moral Character of Cryptographic Work ☶ pdf law philosophy privacy web.cs.ucdavis.edu
    fcbsd avatar via fcbsd 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 5
    Combining Symbolic Execution and Model Checking for Data Flow Testing (2015) ☶ pdf c formalmethods testing web.cs.ucdavis.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 0
    Moral Character of Cryptographic Work security web.cs.ucdavis.edu
    zg avatar via zg 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 8
    The Moral Character of Cryptographic Work pdf law privacy security web.cs.ucdavis.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment