Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @beurdouche
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @beurdouche
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Benjamin Beurdouche 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 -
Benjamin Beurdouche proslijedio/la je Tweet
Coq 8.11.0 has been released! It introduces Ltac2 tactic language and primitive IEEE 754 floats. A summary and packages for Windows & macOS are available at https://github.com/coq/coq/releases/tag/V8.11.0 …. An opam release is underway. Many thanks to the Coq team and the release manager P.-M. Pédrot!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
Relieved to see that Italians can finally resort to non-verbal communication on Twitter with this new emoji from the 2020 emoji list: https://emojipedia.org/pinched-fingers/ …pic.twitter.com/G93fzrdPC2
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The IETF Messaging Layer Security (MLS) working group released an update of the Architecture document. https://tools.ietf.org/html/draft-ietf-mls-architecture-04 …
#IETFMLSHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
Taumatawhakatangihangakoauauotamateaturipukakapikimaungahoronukupokaiwhenuakitanatahu https://en.wikipedia.org/wiki/Taumatawhakatangihangakoauauotamateaturipukakapikimaungahoronukupokaiwhenuakitanatahu …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
Excited to share this blog post about some of the work
@durumcrustulum and I have been doing at the@ZcashFoundation, designing a new network stack for Zcash:https://www.zfnd.org/blog/a-new-network-stack-for-zcash/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
Black holes are a good metaphor for “enclaves” sharing caches with the main CPU. In principle, they should not leak data (Hawking says black holes destroy information) but in practice they end up leaking through a side channel (the gravitons) https://arxiv.org/abs/1507.02948 https://twitter.com/jfbastien/status/1221935253608005632 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Axiom: debating formal notions with informal terminology on Twitter ends up with everyone confused!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler!
@davidpichardie at#poplpic.twitter.com/kN4JTOxkT9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is how an IETF Messaging Layer Security (MLS) secure group messaging session evolves over time… Our CGKA is called TreeKEM and most of the time requires O(log N) encryptions / O(1) decryption for changes in active groups.
#IETFMLSpic.twitter.com/XE1jS6xilb
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
How robust is your model against adversarial attacks? We recently released Advbox, a toolbox to generate adversarial examples that fool neural networks across DL frameworks and benchmark the robustness of ML models. ArXiv: https://arxiv.org/abs/2001.05574 GitHub: https://github.com/advboxes/AdvBox pic.twitter.com/XWhfrUVuH9
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
Google and Mozilla sent Microsoft cakes to celebrate its Edge Chromium release. The cake tradition continues
pic.twitter.com/EZQZhn4dat
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
#ePrint Anonymous Tokens with Private Metadata Bit: B Kreuter, T Lepoint, M Orru, M Raykova https://ia.cr/2020/072Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
OMG! IETF Messaging Layer Security
@wire ! :)https://twitter.com/wire/status/1219745367475933185 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
Coming soon to OpenSSL: a simple, safe and performant API for primality testing. With
@Massicrypt, and with thanks to Kurt Roeckx from OpenSSL and@LindellYehuda who posed the question.#AppliedCryptoFTWhttps://twitter.com/iacr_news/status/1219697685550313473 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I claim Messaging Layer Security (MLS) is actually a group-private blockchain! You know we have a chaining of Merkle trees updated via commits !!
#blockchain#cryptoHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
"None of the software guarantees that you expected hold. Invisible bugs, that you can't see, everywhere."
#realworldcryptoPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Beurdouche proslijedio/la je Tweet
One thing that the Messaging Layer Security working group has shown is that N cryptographers working together can be as good or better than 2 cryptographers (for N>2). You end up with a lot more complexity, but working through that complexity reveals new and powerful insights.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It is so confusing to see people keep debating about doing pen and paper cryptographic proofs of some small constructs when their protocol is completely broken symbolically :/ **The primitives serve no purpose if your protocol is broken !!!**
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.