HotStrokes - Word-Gesture Shortcuts on a Trackpad
Innovative trackpad gesture typing method for efficient command activation, reducing time by 43% compared to menus and achieving 91% adoption rate in experimental settings.
Program-Adaptive Mutational Fuzzing
Innovative algorithm maximizes bug detection in black-box mutational fuzzing by leveraging symbolic analysis to optimize mutation ratios, resulting in 38.6% more bugs found across 8 applications.
SwarmFlawFinder - Discovering and Exploiting Logic Flaws of Swarm Algorithms
Explore techniques for identifying and exploiting vulnerabilities in swarm algorithms, enhancing cybersecurity in distributed systems and AI applications.
Genetic Algorithms in Elixir
Explore genetic algorithms in Elixir with Sean Moriarity and Bruce Tate. Learn problem-solving techniques, from basics to real-world applications, using this powerful tool in a familiar language.
AutoFR - Automated Filter Rule Generation for Adblocking
Innovative reinforcement learning framework for automated ad-blocking filter rule creation, balancing ad removal and visual integrity while matching EasyList's effectiveness and offering scalability.
Fine-Grained Poisoning Attack to Local Differential Privacy Protocols for Mean and Variance Estimation
Explores a new fine-grained attack on local differential privacy protocols, allowing manipulation of mean and variance estimations. Discusses security-privacy consistency and proposes a defense method.
Memory Efficient Algorithms for Finding Needles in Haystacks
Explore efficient algorithms for locating specific elements in large datasets, focusing on memory optimization and improved search techniques.
Scrypt is Maximally Memory Hard
Explore the memory-hardness of Scrypt, a cryptographic function, through an in-depth analysis of its time complexity, technical barriers, and strategic implications.
Quantum Multicollision Finding Algorithm
Explore a groundbreaking quantum algorithm for finding multicollisions, presented at Asiacrypt 2017. Delve into its potential impact on cryptography and computational complexity.
On Optimal Algorithms and Assumption Factories
Explore optimal algorithms and assumption factories in cryptography, covering sum-of-squares algorithms, proof systems, and tensor recovery. Gain insights into low-degree PRGs and open questions in the field.
On a Generalization of Substitution-Permutation Networks - The HADES Design Strategy
Explore innovative cryptographic design strategies, focusing on the HADES approach that generalizes substitution-permutation networks for enhanced security and efficiency in various applications.
Multi-Party Computation II
Explore advanced concepts in multi-party computation, focusing on secure protocols for distributed data processing and privacy-preserving algorithms.
Program Synthesis
Explore program synthesis techniques including data wrangling, enumerative search, and superoptimization. Learn about tools like FlashFill and PROSE for automated code generation and optimization.
STL Algorithms - How to Use Them and How to Write Your Own
Explore STL algorithms, their design principles, and learn to create custom algorithms that seamlessly integrate with existing ones in this comprehensive guide.
Robust and Efficient Multi Precision Algorithms Design
Exploring design principles for complex numeric algorithms, balancing usability, extensibility, efficiency, and robustness. Insights from Boost.Polygon.Voronoi library implementation.
Generic Conversion & Segmentation for Ranges - A Solution for Unicode
Presentation on a generic, flexible Unicode solution for C++ using Range concepts, including a spin-off library for range conversion and segmentation with potential SIMD acceleration.
How to Design C++ Implementations of Complex Combinatorial Algorithms
Learn techniques for implementing complex combinatorial algorithms in C++, focusing on design patterns, data structures, and optimization strategies for efficient and maintainable code.
Type Based Template Metaprogramming is Not Dead
Exploring advanced C++ template metaprogramming techniques for improved compilation speed and efficiency, with a focus on type-based approaches and algorithm-data separation.
SIMD Libraries in C++
Explore SIMD libraries in C++, including std::simd for C++26. Learn about application-level libraries, developer libraries, and design trade-offs for exploiting SIMD in modern C++ development.
How to Conquer the World
Learn to develop a genetic algorithm in Python to master the board game Risk, exploring object-oriented design and AI strategies for game simulation and optimization.
Tips for the Scientific Programmer
Practical insights for efficient scientific programming, covering parallelism, data management, memory optimization, and performance enhancement for large-scale numeric calculations.