Sameer Arora

at Cornell

[Sameer Arora @sameerarora101]

@ParagArora just started working on an AI gym trainer, personalised gym trainer that can help correct form etc. Thoughts?

(PS: we have a solid team of 4 working on it)

[Sameer Arora @sameerarora101]

@paraschopra My input: "An MVP builder where you input your idea and it cooks up a prototype + a landing page + a paid campaign to drive traffic." + $100

[Certora @Certora]

We're bringing the receipts🧾

Get ready for an epic dive into formal verification vs fuzzing @EthCC!

[Mooly Sagiv @SagivMooly]

Thanks @eulerfinance and @SpearbitDAO for attracting new FV wizards to the crypto space and good luck to everybody.

[Mooly Sagiv @SagivMooly]

Crowdsoucing formal specifications adds an extra layer on security around DeFi protocols. Thanks to community auditing platforms like @cantinaxyz , @code4rena , @CodeHawks , @HatsFinance , @immunefi, and @sherlockdefi for supporting this.

[Defi Security Summit @summit_defi]

Our next DSS webinar will happen in 2 days
April 24th at 5PM UTC 🗓️

We are lucky to be joined by:
• Emilio (@The3D_), VP Engineering at @aave and,
• Juani (@0xJuani), Head of Smart contracts at @Balancer
to talk about next-gen DeFi protocols.

Register in the next post ⬇️

[Sameer Arora @sameerarora101]

@paraschopra @theliverdoc supplements

[Defi Security Summit @summit_defi]

🎉 Announcing DSS 2024 in Bangkok, Thailand! 🎉

We're back for 3 full days with the world's top DeFi security researchers, auditors & protocol builders.

Nov 7-9 directly preceding @EFDevcon

🎟️ Tickets opening soon - get on the waitlist!

https://t.co/U2KTLVvXsb

[Sameer Arora @sameerarora101]

@paraschopra Any blog post/ thread with some explanation? I like your charts but i don't want to infer from them incorrectly

[Certora @Certora]

Morpho Labs is leading the way with their formal verification 👏

Morpho Blue is a revolutionary lending protocol where all markets are risk-isolated. Amongst many other properties, the Morpho team mathematically proved that if a market falls the others are unaffected.

[Certora @Certora]

Try out our starter template for Certora Prover

➡️ Basic rules for ERC20 contracts
➡️ Starting point for adding formal verification to other projects

Get your free key: https://t.co/B8ISZDDmWr

Checkout the starter: https://t.co/O7IVJUYIoY

[Certora @Certora]

Q: How do you know if your tests are good enough?

A: Use Gambit, an open source Solidity mutation testing tool!

Mutation testing introduces faults, called mutants, to the program under test and measures a test suite’s ability to detect these mutants.

https://t.co/29s9XaMJ8Q

[Mooly Sagiv @SagivMooly]

The quality of fuzzing and formal verification depends on the tested properties as seen from recent events. Come and learn how to increase your security using mutation testing and constraint solving and use it with a free version of the Certora Prover.

[TrustX @TheTrustX]

🎉 #TrustX2023 Speaker: Mooly Sagiv

🎙️ Mooly Sagiv @SagivMooly, CEO, @certora will speak about "Formal Reasoning about Fairness of Liquid Staking Protocols"

[Sameer Arora @sameerarora101]

Come learn about formal verification & DeFi!!

[Certora @Certora]

Join us today at @ETHGlobal Security Summit 🔥

11:20am - 12pm PST

https://t.co/9XfH5mruxK

[Certora @Certora]

Join us today at @ETHGlobal Security Summit 🔥

11:20am - 12pm PST

https://t.co/9XfH5mruxK

[ETHGlobal @ETHGlobal]

We're thrilled to present:

🦺 The ETHOnline Security Summit

Talks from the foremost experts on smartcontract security!

From Formal Verification to a live smart contract audit, we've got it all!

📺 Join us on https://t.co/trozMju4BD on Oct 20, 12pm ET
📷 See the agenda below!

[ETHGlobal @ETHGlobal]

Formal Verification with DeFi with @sameerarora101

How much of contract auditing can be automated with formal verification? Sameer leads a talk about the new tools we have available for ensuring valid contacts.

[Certora @Certora]

We are excited to announce a new partnership with @StellarOrg to help secure the @SorobanOfficial
ecosystem.

This initiative is the first time Certora will bring the power of automatic formal verification to a Rust/WASM-powered project.

Here's why Soroban devs should care 👇

[Trail of Bits @trailofbits]

We’re launching a new service: invariant development. We’ll identify, implement, and test security-critical invariants to prevent bugs & secure your codebase over the long term. Plus, we’ll upskill your team to write their own invariants! https://t.co/oNnUd98RKh