Search
 
   

8 results for "domain:cs.ox.ac.uk"

  1. 23
    Authentication vulnerability in most recent 5G drafts, found by formal methods crypto formalmethods mobile security cs.ox.ac.uk
    mpdehnel avatar authored by mpdehnel 6 months ago | cached | no comments
  2. 6
    Precise Verification of C Programs (2014) (dissertation) ☶ pdf compsci programming cs.ox.ac.uk
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 5 comments
  3. 7
    Arithmetic coding with folds and unfolds (2003) ☶ pdf haskell math cs.ox.ac.uk
    mjn avatar via mjn 2 years ago | cached | no comments
  4. 5
    Linearizability Testing Manual ☶ pdf compsci scala cs.ox.ac.uk
    mikejsavage avatar via mikejsavage 2 years ago | cached | no comments
  5. 4
    The Essence of the Iterator Pattern pdf compsci haskell cs.ox.ac.uk
    pushcx avatar via pushcx 2 years ago | cached | no comments
  6. 4
    Qualified Types: Theory and Practice pdf compsci haskell ml cs.ox.ac.uk
    gclaramunt avatar via gclaramunt 4 years ago | cached | no comments
  7. 3
    Just do It: Simple Monadic Equational Reasoning pdf haskell cs.ox.ac.uk
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  8. 9
    A Functional Database (1989) pdf databases cs.ox.ac.uk
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments