Newest stories submitted by minimax.

  1. 5
    Announcing the ‘blst’ BLS verification project cryptography distributed formalmethods galois.com
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 7
    Nagini: an automated, modular verifier for Python formalmethods python pm.inf.ethz.ch
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 32
    Factor programming language plt factorcode.org
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 24 comments
  4. 7
    Multi-Touch Systems that I Have Known and Loved design hardware osdev billbuxton.com
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  5. 4
    How did software get so reliable without proof? formalmethods practices surfingcomplexity.blog
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 18
    New fuzzing tool finds 26 USB bugs in Linux, Windows, macOS, and FreeBSD security testing zdnet.com
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  7. 11
    Landmark Computer Science Proof Cascades Through Physics and Math compsci math science quantamagazine.org
    minimax avatar via minimax 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  8. 6
    Systems Benchmarking Crimes hardware testing cse.unsw.edu.au
    minimax avatar via minimax 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 5
    AdaCore Technologies for Cyber Security book security adacore.com
    minimax avatar via minimax 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 21
    Haskell - An Experience Summary haskell holmusk.dev
    minimax avatar via minimax 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 1
    Linux Foundation launches ELISA project for safety-critical systems linux venturebeat.com
    minimax avatar via minimax 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 7
    The US could regulate AI in the name of national security ai law qz.com
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  13. 6
    The Discoveries of Continuations (1993) ☶ pdf compilers historical math math.bas.bg
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System formalmethods practices security usenix.org
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 7
    Free & Fair: Open source elections technology formalmethods security freeandfair.us
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 4
    Hardware Implants hardware security securinghardware.com
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 7
    Formal Proofs, the Fine Print and Side Effects pdf formalmethods security people.eng.unimelb.edu.au
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 3
    Round5: compact and fast post-quantum public-key encryption cryptography round5.org
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 29
    rv8 RISC-V simulator for x86-64 hardware rv8.io
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 10
    Easy-to-use, FPGA-accelerated Cycle-accurate Hardware Simulation of RISC-V Systems in the Cloud hardware virtualization fires.im
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 11
    Forvis: A Formal RISC-V ISA Specification formalmethods hardware haskell github.com
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 19
    RISC-V Foundation Forms Security Committee hardware security embedded-computing.com
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 5
    freenode Security Update: Reused Password Attack culture security freenode.net
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  24. 3
    AMD’s EPYC server encryption is the latest security system to fall hardware security virtualization networkworld.com
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 1
    Crypko [AI Blockchain Anime] ai art merkle-trees crypko.ai
    minimax avatar via minimax 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>