Graphics Peeping Unit - Exploiting EM Side-Channel Information of GPUs to Eavesdrop on Your Neighbors
Explore electromagnetic side-channel vulnerabilities in GPUs, revealing potential eavesdropping risks and implications for cybersecurity in modern computing systems.
SoK - Demystifying Binary Lifters Through the Lens of Downstream Applications
Explore binary lifters and their impact on downstream applications, analyzing their effectiveness and limitations in various contexts of binary analysis and reverse engineering.
SYMBEXCEL - Automated Analysis and Understanding of Malicious Excel 4.0 Macros
Explore automated techniques for analyzing and understanding malicious Excel 4.0 macros, enhancing cybersecurity defenses against sophisticated threats in spreadsheet files.
27 Years and 81 Million Opportunities Later - Investigating the Use of Email Encryption for an Entire University
Comprehensive study on email encryption adoption at a university, analyzing 81 million emails over 27 years to understand usage patterns, challenges, and implications for cybersecurity.
Why Crypto-Detectors Fail - A Systematic Evaluation of Cryptographic Misuse Detection Techniques
Systematic evaluation of cryptographic misuse detection techniques, exploring limitations and failures of crypto-detectors to improve cybersecurity practices and tool effectiveness.
DEPCOMM - Graph Summarization on System Audit Logs for Attack Investigation
Explore graph summarization techniques for system audit logs to enhance attack investigation efficiency and effectiveness in cybersecurity.
SPURT - Scalable Distributed Randomness Beacon with Transparent Setup
Explore a scalable, distributed randomness beacon system with transparent setup, offering insights into advanced cryptographic protocols and blockchain applications.
DeepCASE - Semi-Supervised Contextual Analysis of Security Events
Explore semi-supervised contextual analysis for security events with DeepCASE, enhancing threat detection and response in cybersecurity systems.
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Explore a logic and interactive prover for computational post-quantum security in protocols, enhancing understanding of cryptographic security in the quantum era.
IronMask - Versatile Verification of Masking Security
Explore versatile verification techniques for masking security, focusing on advanced cryptographic protection against side-channel attacks in hardware implementations.
Transcending TRANSCEND - Revisiting Malware Classification in the Presence of Concept Drift
Explore innovative approaches to malware classification, addressing concept drift challenges and advancing beyond traditional methods for improved cybersecurity defenses.
Statistical Quantification of Differential Privacy - A Local Approach
Explore a local approach to statistically quantify differential privacy, enhancing data protection and privacy in statistical analysis and machine learning.
Differentially Private Histograms in the Shuffle Model from Fake Users
Explore innovative techniques for creating privacy-preserving histograms using fake users in the shuffle model, enhancing data protection and analysis capabilities.
Differential Privacy and Swapping - Examining De-Identification's Impact on Minority Representation and Privacy Preservation in the U.S. Census
Explore differential privacy and swapping techniques in the U.S. Census, examining their effects on minority representation and data protection.
Locally Differentially Private Sparse Vector Aggregation
Explore techniques for privacy-preserving aggregation of sparse vectors, focusing on local differential privacy and efficient algorithms for data collection and analysis.
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Learn to extract finite state machines from protocol documents for automated attack synthesis, enhancing cybersecurity through innovative techniques in protocol analysis and vulnerability detection.
Spook.js - Attacking Chrome Strict Site Isolation via Speculative Execution
Explore a novel attack on Chrome's Strict Site Isolation, leveraging speculative execution to bypass security measures and potentially compromise user data.
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Explore advanced features of ProVerif for protocol verification, including lemmas, induction, and fast subsumption techniques to enhance security analysis capabilities.
PROTRR - Principled yet Optimal In-DRAM Target Row Refresh
Explore an innovative approach to DRAM refresh optimization, enhancing memory performance and efficiency through principled target row selection techniques.
The Big Melt - Tipping Points in Greenland and Antarctica
Explore ice sheet instabilities in Greenland and Antarctica, their potential tipping points, and long-term impacts on sea levels and global climate, spanning millennia.
Climate Tipping Points
Erforschung von Kipppunkten im Klimasystem: Risiken, Auswirkungen und Handlungsmöglichkeiten zur Begrenzung der globalen Erwärmung auf 1,5°C, um katastrophale und irreversible Veränderungen zu verhindern.