<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Riccardo Schirone on The Trail of Bits Blog</title><link>https://miscreants.github.io/blog.trailofbits.com/authors/riccardo-schirone/</link><description>Recent content in Riccardo Schirone on The Trail of Bits Blog</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Wed, 22 Mar 2023 07:00:49 -0400</lastBuildDate><atom:link href="https://miscreants.github.io/blog.trailofbits.com/authors/riccardo-schirone/index.xml" rel="self" type="application/rss+xml"/><item><title>Codex (and GPT-4) can’t beat humans on smart contract audits</title><link>https://miscreants.github.io/blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/</link><pubDate>Wed, 22 Mar 2023 07:00:49 -0400</pubDate><guid>https://miscreants.github.io/blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/</guid><description>Is artificial intelligence (AI) capable of powering software security audits? Over the last four months, we piloted a project called Toucan to find out. Toucan was intended to integrate OpenAI’s Codex into our Solidity auditing workflow. This experiment went far […]</description></item></channel></rss>