Jonathan Protzenko

@_protz_

Formal verification, cryptography, type systems, and stuff

Vrijeme pridruživanja: rujan 2010.

Medijski sadržaj

  1. 31. sij
    Prikaži ovu nit
  2. 24. sij

    For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler! at

  3. 22. sij

    Thanks to all who attended and contributed thoughts and conversation to HASE 2020 and made it a great workshop! Now on to

  4. 27. svi 2012.

    Compose in a tab for Thunderbird. Mostly a hack that re-uses Conversation's quick reply in standalone mode + bonus.

  5. 7. lis 2010.

    Attachments in Thunderbird Conversations, yay! http://twitpic.com/2vi18p

Č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:

    ·