(1 - 18 von 18
)
Formal Verification in the Ethereum Ecosystem - Runtime Verificationruntimeverification.com › events › formalverificatio...
runtimeverification.com
Jan Gorzny. Blockchain Researcher. Quantstamp. Yu Feng. Assistant Professor. UC Santa Barbara. Daejun Park. Director of Formal Verification.
Scaling Ethereum ETHGlobalethglobal.com › events › scaling2023
ethglobal.com
Self Employed · speaker image. Jan Gorzny. Quantstamp · speaker image. Rishikesh Kale. Creds Protocol · speaker image. Rahul Khanna. Part Time Small Brain.
sortiert nach Relevanz / Datum