Introducing Typir - Type Checking for the Web
Discover how Typir framework enables web-based type checking for programming languages, offering validation hints and semantic constraints for both textual and graphical language development.
The Best TypeScript Features You're Not Using Yet
Discover cutting-edge TypeScript features and tools like 'satisfies', 'NoInfer', Knip, and typescript-eslint@7 to write more robust, bug-free code and enhance your development workflow.
Understanding TypeScript - Fixing the Billion Dollar Mistake and Other Concepts
Dive into TypeScript fundamentals with author Josh Goldberg, exploring core concepts from basic types to advanced features, while understanding how modern type systems evolved to prevent costly programming mistakes.
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks
Discover how T-PRUNIFY optimizes type confusion detection in C++ programs by identifying and leveraging developer-implemented type checks, significantly reducing runtime overhead while maintaining security.
VulSim: Leveraging Similarity of Multi-Dimensional Neighbor Embeddings for Vulnerability Detection
Explore advanced vulnerability detection techniques using multi-dimensional neighbor embeddings and deep learning models to enhance software security through improved pattern recognition and data analysis.
FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection
Discover how FIRE combines multi-stage filtering and taint analysis to efficiently detect recurring vulnerabilities in open-source software, achieving 90% precision and superior performance over existing tools.
A Taxonomy of C Decompiler Fidelity Issues
Explore a comprehensive analysis of C decompiler output fidelity issues, examining defects beyond missing names and types to improve reverse engineering effectiveness in security analysis.
What IF Is Not Enough? Fixing Null Pointer Dereference with Contextual Check
Discover how CONCH improves null pointer dereference fixes by incorporating contextual checks, achieving 85%+ patch accuracy through innovative intraprocedural and interprocedural analysis techniques.
Black Hat Europe 2024
Black Hat Europe 2024