Who here _does_ security (like its in your title and role) at their blockchain co?

Pragmatism (Security) at OP Labs.
Prev: ConsenSys & Coinbase.

Attribs: Friendly, curious, introverted, mid-witted.
Chans: /eth-security /maurelian /stoicism




Founder of Hashing It Out podcast, program owner of https://logos.co, phd in some hard shit.

building /cabin (cabin.city). founder of LBRY.com, odysee.com, vibe.camp, @farcon. more at grin.io

I did security at LBRY but that mostly involves staying up to date on Bitcoin code and not keeping too many tokens in any one wallet 

I did write multisig txns by hand though (and later via python script)

∂αFβγ + ∂βFγα + ∂γFαβ = 0 | Che, boludo! Visit /degen . Disclaimer: My casts are not financial advice! 

Santiago del Estero, Santiago del Estero Province, Argentina

Not really, just looking for peers. 

Who is it you refer to Runtime Verification or Certora?

@maurelian.eth - do you have a specific need? I am connected to a web3 security team (bunch of PhDs) and they do mostly formal verification of smart contracts.

Protect web3 users from fraud, phishing, and hacks.