#Stanford

Blockchain Application Stanford Summit (BASS) is part of the Stanford Blockchain Week as an affiliated side conference to the Sciences of Blockchain Conference (SBC). The conference is organized by the Stanford Blockchain Club with the support of Stanford Center of Blockchain Research. It will take place on Stanford campus in the weekend of 8/26 and […]

Stanford Blockchain Week is an annual event that brings together leading researchers, practitioners, and students from the blockchain ecosystem to discuss the latest advances in the field. The week-long event features a variety of events, including the Science of Blockchain Conference (SBC), the Blockchain Applications Stanford Summit (BASS), and the Starknet Summit. The Science of […]

Formal methods is a mature field in computer science with excellent tools including static program analyzers, fuzzers, formal verification tools, Satisfiability Modulo Theories checkers, and more. Recently, these techniques have been integrated into the industry by companies including Amazon, Certora, Consensys, Facebook, Imandra, Runtime Verification, and Trails of Bits. This one-day workshop brings together researchers […]

DeFi Security Summit 2022 in Stanford, CA, is a 2-day event focused on the security aspects of an emerging suite of applications for decentralized asset management. Decentralized Finance (DeFi) is an emerging suite of applications for decentralized asset management over blockchain technology. One of the basic principles behind DeFis is that the code is law […]

The Science of Blockchain Conference 2022 focuses on technical innovations in the blockchain ecosystem, gathering researchers and practioners working in the space. We are interested in the application of cryptography, decentralized protocols, formal methods, and empirical analysis, to improving the security and scalability of blockchain deployments. The aim of the conference is to foster collaboration […]

The Stanford Blockchain Conference explores methods of security engineering and risk management in blockchain systems. We are interested in the application of cryptography, decentralized protocols, formal methods, and empirical analysis to improving security or mitigating risk in blockchain deployments. We aim to foster multidisciplinary collaboration among practitioners and researchers in blockchain protocol development, cryptography, distributed systems, […]