Search
 
   

7 results for "domain:galois.com"

  1. 10
    Formal Methods and the KRACK Vulnerability formalmethods security galois.com
    minimax avatar via minimax 10 months ago | cached | no comments
  2. 3
    Matterhorn terminal client for Mattermost chat haskell release galois.com
    minimax avatar via minimax 1 year ago | cached | no comments
  3. 6
    LandHere, an x86 ISA extension as possible mitigation for code-reuse attacks assembly linux security virtualization landhere.galois.com
    LeahNeukirchen avatar via LeahNeukirchen 1 year ago | cached | 2 comments
  4. 4
    Probabilistic Programming Summer School 2017 compsci programming ppaml.galois.com
    minimax avatar via minimax 1 year ago | cached | no comments
  5. 4
    Galois is hiring ☶ haskell job networking security galois.com
    minimax avatar via minimax 1 year ago | cached | 3 comments
  6. 1
    Announcing the Software Analysis Workbench release galois.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments
  7. 8
    Concurrent Orchestration in Haskell pdf haskell galois.com
    julienXX avatar via julienXX 3 years ago | cached | no comments