Archives
Building secure distributed Webhooks
How we built a system to send webhooks to many different wallets and dapps while maintaining securit...
Harry Bairstow
MPC vs Account Abstraction: Better Together?
We will discuss the advantages and disadvantages of each technology and how they can potentially be ...
Luka Isailovic
MPC vs Account Abstraction: Better Together?
We will discuss the advantages and disadvantages of each technology and how they can potentially be ...
Luka Isailovic
WebAuthn Optimization: optimizing ECC sec256r1
We present a very efficient open implementation of prime order curves (sec256r1,sec256k1) using impr...
Renaud Dubois
WebAuthn Optimization: optimizing ECC sec256r1
We present a very efficient open implementation of prime order curves (sec256r1,sec256k1) using impr...
Renaud Dubois
Move Fast and Break Nothing
Mooly will provide an overview of formal verification and how the Certora Prover works to secure sma...
Mooly Sagiv
Never Send To Know For Whom The Bell Tolls
A brief walk-through of the details, vectors and lessons learned from the major protocol/infrastruct...
Dr Laurence
E. Day
Hardening Blockchain Security with Formal Methods
Due to the potentially disastrous consequences of bugs in blockchain applications, there is a pressi...
Isil Dillig