1. 11
    Forvis: A Formal RISC-V ISA Specification formalmethods hardware haskell github.com
    minimax avatar via minimax 1 month ago | cached | 1 comment
  2. 19
    RISC-V Foundation Forms Security Committee hardware security embedded-computing.com
    minimax avatar via minimax 1 month ago | cached | no comments
  3. 5
    freenode Security Update: Reused Password Attack culture security freenode.net
    minimax avatar via minimax 1 month ago | cached | 3 comments
  4. 3
    AMD’s EPYC server encryption is the latest security system to fall hardware security virtualization networkworld.com
    minimax avatar via minimax 2 months ago | cached | no comments
  5. 1
    Crypko [AI Blockchain Anime] ai art cryptocurrencies crypko.ai
    minimax avatar via minimax 3 months ago | cached | no comments
  6. 24
    US cell carriers are selling access to your real-time phone location data law privacy zdnet.com
    minimax avatar via minimax 3 months ago | cached | no comments
  7. 23
    Hijack of Amazon’s internet domain service used to reroute web traffic for two hours unnoticed networking security doublepulsar.com
    minimax avatar via minimax 4 months ago | cached | 7 comments
  8. 18
    Runtime error in formally verified CompCert C compiler's parser c formalmethods github.com
    minimax avatar via minimax 8 months ago | cached | 14 comments
  9. 2
    INSCOM Red Disk image found on public AWS storage practices security zdnet.com
    minimax avatar via minimax 8 months ago | cached | 1 comment
  10. 7
    DJI private keys in public view practices security web arstechnica.com
    minimax avatar via minimax 9 months ago | cached | no comments
  11. 10
    Formal Methods and the KRACK Vulnerability formalmethods security galois.com
    minimax avatar via minimax 10 months ago | cached | no comments
  12. 12
    Having an Effect ☶ compsci haskell ml okmij.org
    minimax avatar via minimax 11 months ago | cached | no comments
  13. 1
    Blockstack: "a new decentralized internet" ☶ distributed networking blockstack.org
    minimax avatar via minimax 1 year ago | cached | 2 comments
  14. 3
    Matterhorn terminal client for Mattermost chat haskell release galois.com
    minimax avatar via minimax 1 year ago | cached | no comments
  15. 4
    The Seven Properties of Highly Secure Devices (MS Research: Project Sopris) hardware security microsoft.com
    minimax avatar via minimax 1 year ago | cached | 4 comments
  16. 4
    Probabilistic Programming Summer School 2017 compsci programming ppaml.galois.com
    minimax avatar via minimax 1 year ago | cached | no comments
  17. 4
    Galois is hiring ☶ haskell job networking security galois.com
    minimax avatar via minimax 1 year ago | cached | 3 comments