Saeed ZarinfaminITNEXTStatic Analysis vs Dynamic AnalysisComparison of two dominant approaches for Program AnalysisJul 22
Navid SalehnamadiinGeek CultureGenerating Call Graphs in Android Using FlowDroid + PointsTo AnalysisI explain how call graph algorithms work, why it’s hard to create call graphs in Android, and how to use FlowDroid to create call graphsMar 19, 20211
Connor DalyMy Experience in the USCC 2024 Cyber CampI wanted to share a brief summary of my experiences and what I learned in the USCC 2024 Cyber Challenge.Jun 14Jun 14
VeridiseinVeridiseMedjai: Protecting Cairo code from BugsIn this blog post, we will take you on a tour of how we developed Medjai, a new symbolic execution tool for finding bugs in Cairo programs…Jul 21, 2022Jul 21, 2022
DorinsmlXLAnnouncing bytecode-generated storage layouts on evm.storageWe’re improving visibility into unverified contracts on evm.storage by representing them with storage layouts generated from contract…Oct 24, 2023Oct 24, 2023
Saeed ZarinfaminITNEXTStatic Analysis vs Dynamic AnalysisComparison of two dominant approaches for Program AnalysisJul 22
Navid SalehnamadiinGeek CultureGenerating Call Graphs in Android Using FlowDroid + PointsTo AnalysisI explain how call graph algorithms work, why it’s hard to create call graphs in Android, and how to use FlowDroid to create call graphsMar 19, 20211
Connor DalyMy Experience in the USCC 2024 Cyber CampI wanted to share a brief summary of my experiences and what I learned in the USCC 2024 Cyber Challenge.Jun 14
VeridiseinVeridiseMedjai: Protecting Cairo code from BugsIn this blog post, we will take you on a tour of how we developed Medjai, a new symbolic execution tool for finding bugs in Cairo programs…Jul 21, 2022
DorinsmlXLAnnouncing bytecode-generated storage layouts on evm.storageWe’re improving visibility into unverified contracts on evm.storage by representing them with storage layouts generated from contract…Oct 24, 2023
Sifis LagouvardosinDedaubI See Dead CodeWhat if I told you that over one-third of recently-deployed Ethereum smart contracts consist mostly of unusable junk?Feb 10, 2023
Seyyed Ali AyatiDiving Deep into The Solana Validator — Part 2Profiling the Solana Validator (RPC Node).Aug 5, 2022