amazon.science: 4 stories from 4 submitters

  1. 2
    Resource management in Aurora Serverless databases amazon.science
    eatonphil avatar via eatonphil 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 9
    Better-performing “25519” elliptic-curve cryptography cryptography amazon.science
    fs111 avatar via fs111 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 20
    Formal verification makes RSA faster — and faster to deploy cryptography formalmethods performance amazon.science
    calvin avatar via calvin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 11
    Using lightweight formal methods to validate a key-value storage node in Amazon S3 formalmethods amazon.science
    smaddox avatar via smaddox 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment