Summer school ad that went too fast
-
-
Day 3! Formal Verification. Andres Erbsen introduces fiat-crypto, a tool that formalizes crypto optimization and proves it correct with Coq. Verified implementations can be faster than hand-tuned C implementations. Some ECC crypto from fiat-crypto is now part of BoringSSL!
Prikaži ovu nit -
Verified Vectorized Cryptography by Karthikeyan Bhargavan. The HACL* library is a toolkit for implementing cryptography from formally verifiable first principles. It includes vectorized implementations on multiple platforms. Code has landed in the Firefox web browser and Linux.
Prikaži ovu nit -
Towards an Open Source, Formally Verified Secure Processor: Srini Devadas explores how optimizations and security requirements often contradict each other and side channels are waiting to be discovered around every corner.
#RealWorldCryptoPrikaži ovu nit -
Friday, session 2: Advanced Cryptographic Primitives. Mariana Raykova explores some advanced primitives such as secure multi-party computation, differential privacy, zero-knowledge proofs, private information retrieval and their applications to machine learning.
Prikaži ovu nit -
Deploying MPC for Social Good.
@lcyqn explains how MPC is used to aggregate wage data from Boston businesses, and how Callisto uses OPRF and threshold encryption for detecting serial perpetrators of sexual misconduct.http://github.com/multipartyPrikaži ovu nit -
Kurt Nielsen of Partisia on transparent zero-knowledge computations with use cases related to secure key management, blockchain privacy, identity management and other threshold applications. An attempt to sell the vision of a more private blockchain ecosystem.
Prikaži ovu nit -
On to the Blockchain and Cryptocurrency sections of the conference. Yehuda Lindell kicks it off with a threshold ECDSA signature scheme.
#RealWorldCryptoPrikaži ovu nit -
Neha NaruIa is now breaking down IOTA. Weird things: ternary data representation, home-brew hash function (Curl-P-27), Winternitz One-Time Signatures. DCI found a chosen message signing attack by colliding the hash function. Weird response by IOTA but the issue is now fixed.
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Č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.