Smart Contract Security, Terminology of a Review

4. References

Tweets from @PatrickAlphaC

• Patrick Collins, on what hybrid-fuzzing is and how to use it, 2022–12–09;

• Patrick Collins, on the key aspects of fuzz testing and (vs) invariant testing, 2023–02–10;

• Patrick Collins, on symbolic execution as a form of formal verification, 2023–03–2023;

• Patrick Collins, on stateless/stateful fuzzing, 2023–04–15;

• Patrick Collins, deeper dive into formal verification and symbolic execution, 2023–04–26;

• Patrick Collins, on why you should always keep the FRE-PI pattern in mind when building smart contracts, 2023–07–06;

• Patrick Collins, on the “Rekt Test” by Trail of Bits, 2023–08–15.

Tweets from @SpearbitDAO

• Spearbit, on why shifting the narrative and identity from auditors to security researchers is crucial to our industry, 2023–07–18;

• Spearbit, a poll on “what do you think web3 security professionals should be referred to as?”, 2023–07–18;

• Spearbit, on the desire for terminology change, in the context of a culture embedded in learning and innovation, 2023–07–19;

• Spearbit, on traditional security listings in the professional world, 2023–07–22.

Rajeev Gopalakrishna, Audit Techniques & Tools 101, Secureum, 2021–11–07.

Brock Elmore, You’re writing require statements wrong, Nascent, 2023–06–30.