Zhuo Zhang
@i2huer
PostDoc, Ph.D. in Computer Science @PurdueCS β‘οΈ Assistant Professor @??? π Binary Analysis π±βπ» β Web3 π¦π π Opinions are my own. βοΈβοΈβοΈ
Excited to be heading to New York this week for SBC! If you'll be there, send me a DM and let's catch up over coffee. We can chat about Web3 security, development, or any topic you're passionate about. Also, don't forget to ping @troublor, who's traveling with me. High five!
π Excited to announce the LMPL Workshop at ICFP/SPLASH 2025! π PL research is all about rigorβbut LLMs often feel like mysterious "black boxes". Open question: Can we bridge these two worlds and get LLMs working seamlessly with PL? #PL #LLM π conf.researchr.org/home/icfp-splaβ¦
Is there a way to just make a Foundry plugin? Adding even a small feature directly to Foundry seems to trigger long reviews and refactoring, which feels like a lot of work for both maintainers and third-party devs.
π«‘π«‘π«‘
π§΅1/5: π£ Hey, solidity developers of @HardhatHQ, have you ever envied Foundry users to easily clone on-chain contracts for local development? π₯³ Meet @megda/hardhat-clone, bringing the on-chain contract clone feature to the Hardhat toolchain. #solidity #hardhat
Nice Job! πππ
Nice. I just found a confirmed bug on @immunefi #immunefitribe immunefi.com/s/ss/?severityβ¦
Wow, this is amazing! As someone who has recently started studying AI Security, I find it quite difficult to understand attack scenarios in this domain. I really appreciate efforts to formalize security tasks before conducting extensive research. π
A paper (arxiv.org/abs/2310.12815) on formalizing and benchmarking prompt injection attacks and defenses for LLM was accepted by USENIX Security Symposium 2024. We thank the reviewersβ very constructive comments. Very excited about this paper. Congratulations to my coauthors!
π
Just got an unexpected trip to Austin. Anyone also attending #Consensuus2024? π€Looking forward to connect π€€
When will academic researchers stop talking about "timestamp dependency" or "transaction-ordering dependency" bugs in their smart contract bug finding papers? π
Just checked out one of the most user-friendly EVM bytecode symbolic engines around, created by @degrigis and some other amazing folks from @angrdothorse team! Great work! π github.com/ucsb-seclab/grβ¦
