Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @xEFFFFFFF
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @xEFFFFFFF
-
Santiago Zanella-Beguelin proslijedio/la je Tweet
Had a lot of fun using F* to mechanize some of our Models of Computation course notes. https://github.com/amiller/fstar374 … Hoping to make a bonus lecture out of this to get some students excited about theorem provers
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
"So I have decided to stop attempting to generate new mathematics, and concentrate instead on carefully checking “known” mathematics on a computer." http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
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! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
Wireguard is now in the mainline Linux kernel. https://lists.zx2c4.com/pipermail/wireguard/2020-January/004906.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Is reducing rounds reasonable?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
How Apple generates keys for “Find My”. I don’t yet understand the weird Pedersen commitment public key structure.pic.twitter.com/ufiO0vAZlk
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
The full review is in NSA's Cryptolog Vol XIII N. 8-9: https://archive.org/details/cryptolog_103/page/n28 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This critique of Merkle's work didn't age well.
@RealWorldCryptopic.twitter.com/NPuGh65Fs6
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
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.pic.twitter.com/CoDPCCjELo
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This tweet aged well. All results merged in https://eprint.iacr.org/2019/311
@RealWorldCryptohttps://twitter.com/xEFFFFFFF/status/1062002234085531654 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
Beautiful figure showing the evolution of TLS versions in use, 2012-2019.
#realworldcryptohttps://twitter.com/durumcrustulum/status/1214915835426484224 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Get your taxonomy straight
@Netflix! 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.#OurPlanetpic.twitter.com/E2HVYLoOFJ
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
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:https://jonathan.protzenko.fr/2019/04/02/evercrypt-alpha1.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
Congratulations to
@MSFTResearch#ProjectEverest on producing (with partners)#EverCrypt, a#formallyverified#cryptography library.#Formalverification has been a dream of#software developers for decades and#crypto is an ideal domain to make the dream reality.#cybersecurityhttps://twitter.com/KSHartnett/status/1113086207800553473 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin 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: https://aka.ms/AA4p4y7
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm proud to be part of EverCrypt. This is one visible result of a large team effort that spanned over 3 years.https://twitter.com/QuantaMagazine/status/1113077180433682432 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Santiago Zanella-Beguelin proslijedio/la je Tweet
This video from 1983 is so great, I am going to start my compiler class from it.https://youtu.be/_C5AHaS1mOA
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.