Michael RodighieroBridging the Gap, Part 3: How Jira Organizes Ticket Data, and the ImplicationsSummaryNov 27
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
InGeek CulturebyNavid SalehnamadiGenerating 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, 20211Mar 19, 20211
Mark GrechanikApplying the Knaster-Tarski Theorem to Compute Dataflow EquationsThe Knaster-Tarski Theorem plays a crucial role in dataflow analysis by guaranteeing that for monotone functions applied to a complete…Oct 20Oct 20
Michael RodighieroBridging the Gap, Part 3: How Jira Organizes Ticket Data, and the ImplicationsSummaryNov 27
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
InGeek CulturebyNavid SalehnamadiGenerating 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
Mark GrechanikApplying the Knaster-Tarski Theorem to Compute Dataflow EquationsThe Knaster-Tarski Theorem plays a crucial role in dataflow analysis by guaranteeing that for monotone functions applied to a complete…Oct 20
InsmlXLbyDorAnnouncing 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
InITNEXTbySaeed ZarinfamStatic Analysis vs Dynamic AnalysisComparison of two dominant approaches for Program AnalysisJul 22
