MetaSafe: Compiling for Protecting Smart Pointer Metadata to Ensure Safe Rust Integrity
Discover how MetaSafe protects Rust's smart pointer metadata through compiler extensions, ensuring memory safety in safe Rust while maintaining low performance overhead.
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.
Practical Tips for Safer C++ - Writing Bug-Free and Efficient Code
Discover practical strategies for writing safer, more reliable C++ code without compromising performance, featuring expert techniques for bug detection and prevention in everyday programming.
Not Quite Write: On the Effectiveness of Store-Only Bounds Checking
Explore the security limitations of store-only bounds checking in C/C++ code, examining bypass vulnerabilities and potential defenses for compiler-based memory safety enforcement.
Overengineering max(a, b) - Mixed Comparison Functions, Common References and Rust Lifetime Annotations
Dive into advanced C++ template metaprogramming through the lens of max(a,b), exploring mixed comparisons, reference handling, and Rust-inspired lifetime annotations for robust generic programming.
C++'s Next Decade - The Future of Programming Language Evolution
Explore C++'s future trajectory with insights into compile-time reflection, memory safety improvements, and language simplification efforts that promise to revolutionize development practices over the next decade.
Black Hat Asia 2025
Black Hat Asia 2025
Black Hat Europe 2024
Black Hat Europe 2024