Tweetovi

Blokirali ste korisnika/cu @xEFFFFFFF

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @xEFFFFFFF

  1. proslijedio/la je Tweet

    Had a lot of fun using F* to mechanize some of our Models of Computation course notes. Hoping to make a bonus lecture out of this to get some students excited about theorem provers

    Poništi
  2. proslijedio/la je Tweet
    1. velj

    "So I have decided to stop attempting to generate new mathematics, and concentrate instead on carefully checking “known” mathematics on a computer."

    Poništi
  3. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet

    Wireguard is now in the mainline Linux kernel.

    Poništi
  5. proslijedio/la je Tweet
    28. sij

    Privacy: * model inversion attack, where the attacker can recover the training data from queries to the model [ THIS SHOULD BE BETTER KNOWN IT'S A REAL PROBLEM FOR DATA RETENTION AS WELL ]

    Prikaži ovu nit
    Poništi
  6. 9. sij

    Is reducing rounds reasonable?

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    9. sij

    How Apple generates keys for “Find My”. I don’t yet understand the weird Pedersen commitment public key structure.

    Prikaži ovu nit
    Poništi
  8. 8. sij

    Thankfully Merkle isn't easily discouraged:

    Prikaži ovu nit
    Poništi
  9. 8. sij

    The full review is in NSA's Cryptolog Vol XIII N. 8-9:

    Prikaži ovu nit
    Poništi
  10. 8. sij

    This critique of Merkle's work didn't age well.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    8. sij

    The OCB2 scheme was proposed in 2004. Standardized in 2009. Nothing much happens. In September 2018 someone found a flaw in the proof. By November 12, 2018 they had full plaintext recovery. “Attacks always get better”, sometimes fast.

    Prikaži ovu nit
    Poništi
  12. 8. sij
    Poništi
  13. proslijedio/la je Tweet
    8. sij

    Beautiful figure showing the evolution of TLS versions in use, 2012-2019.

    Poništi
  14. Prikaži ovu nit
    Poništi
  15. Get your taxonomy straight ! These are not hyenas, they are African wild dogs. As if our planet wasn't in enough trouble, now it has to deal with taxonomic vandalism.

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    2. tra 2019.

    EverCrypt, a project many years in the making, is finally out! It's been a thrill to collaborate and do research in the open with Inria and Carnegie Mellon University. Wrote a brief blog post about it:

    Poništi
  17. proslijedio/la je Tweet
    2. tra 2019.

    Congratulations to on producing (with partners) , a library. has been a dream of developers for decades and is an ideal domain to make the dream reality.

    Poništi
  18. proslijedio/la je Tweet

    Working toward provably secure online communications requires a strong foundation on which to build protocols. Enter EverCrypt, a fully verified cryptographic provider offering a comprehensive suite of algorithms, agility, and multiplexing capabilities:

    Poništi
  19. I'm proud to be part of EverCrypt. This is one visible result of a large team effort that spanned over 3 years.

    Poništi
  20. proslijedio/la je Tweet
    27. ožu 2019.

    This video from 1983 is so great, I am going to start my compiler class from it.

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·