Pamina Georgiev

2 talks by Pamina Georgiev

  • Designing Solidity Contracts That Don’t Fight Verification
  • Securing your protocol with the Certora Prover