Locally Differentially Private Frequent Itemset Mining
Explore techniques for mining frequent itemsets while preserving user privacy through Local Differential Privacy. Learn about PSFO protocols and the SVIM method for improved efficiency and accuracy.
Grand Pwning Unit - Accelerating Microarchitectural Attacks with the GPU
Explores how integrated GPUs can accelerate microarchitectural attacks, bypassing mitigations and compromising mobile browsers. Demonstrates novel reverse engineering techniques for GPU cache architecture.
Hardware-Enforcement of Walther-Recursive Program Functions
Explore hardware-enforced restrictions on computational complexity using JIT compilation and Intel's Processor Tracing to improve security through limited return-oriented programming.
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
Explore machine-checked proofs for privacy in electronic voting, focusing on the Helios protocol family. Learn about computational model analysis and formalization challenges.
One TPM to Bind Them All - Fixing TPM2.0 for Provably Secure Anonymous Attestation
Enhancing TPM 2.0 interfaces for secure anonymous attestation, addressing shortcomings, and proposing minimal changes to improve functionality and security in cryptographic key management and remote attestation.
Your Exploit is Mine - Automatic Shellcode Transplant for Remote Exploits
Innovative technique for automatic shellcode transplantation in remote exploits, enabling efficient reuse and adaptation of existing exploits with new shellcode through symbolic tracing and layout remediation.
An Incremental Learner for Language-Based Anomaly Detection in XML
Incremental learning approach for XML anomaly detection, inferring types and datatypes to create extension point-free automaton for improved stream validation and attack prevention.
Some Musings on the Deduplication Weird Machine
Explore the concept of deduplication weird machines in data security, examining potential vulnerabilities and implications for system design and protection.
Password Typos and How to Correct Them Securely
Explore secure methods for correcting password typos, improving login success rates without compromising security. Insights from user studies and Dropbox data reveal common errors and potential solutions.
SoK - The Art of War - Offensive Techniques in Binary Analysis
Comprehensive overview of binary analysis techniques for vulnerability detection, comparing approaches and discussing their effectiveness using a standardized framework and dataset.
Revisiting Square Root ORAM - Efficient Random Access in Multi-Party Computation
Explores modifications to square-root ORAM for efficient random access in multi-party computation, offering significant performance improvements over existing approaches for various applications.
Security Analysis of Emerging Smart Home Applications
Empirical security analysis of SmartThings smart home platform reveals design flaws leading to overprivilege and vulnerabilities in event subsystem, demonstrating potential risks in emerging IoT frameworks.
Automated Analysis and Verification of TLS 1.3 - 0-RTT, Resumption and Delayed Authentication
Explore automated analysis of TLS 1.3, focusing on 0-RTT, resumption, and delayed authentication. Learn about security verification using the Tamarin prover for this crucial protocol.
SoK - Secure Messaging
Evaluation of secure messaging solutions, proposing a framework for assessing security, usability, and adoption. Explores trust establishment, conversation security, and transport privacy challenges.
Security of the J-PAKE Password-Authenticated Key Exchange Protocol
Comprehensive security analysis of J-PAKE protocol, proving its robustness against various attacks and demonstrating its suitability for practical use in password-authenticated key exchange.
Connection-Oriented DNS to Improve Privacy and Security
Enhancing DNS privacy and security through TCP and TLS, addressing eavesdropping, spoofing, and DoS attacks while maintaining performance with careful implementation choices.
Post-Quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem
Explores practical implementation of post-quantum key exchange in TLS using ring learning with errors, demonstrating its feasibility and performance in real-world scenarios.
Can We Eat to Starve Cancer?
Explore how anti-angiogenesis and cancer-fighting foods can prevent tumor growth by cutting off blood supply. Learn a new approach to treating cancer through dietary choices.
What Makes Us Feel Good About Our Work
Explore the surprising factors that motivate us at work beyond money, including progress and purpose, through eye-opening experiments presented by behavioral economist Dan Ariely.
The Art of Choosing
Explore the psychology of decision-making with Sheena Iyengar, uncovering surprising insights about how we make choices and their impact on our lives and society.
Listening to Shame
Explore the impact of shame on behavior and learn how confronting it can lead to personal growth, with Brené Brown's insightful and humorous perspective on vulnerability.