KARONTE - Detecting Insecure Multi-Binary Interactions in Embedded Firmware
Explore KARONTE, an innovative tool for detecting security vulnerabilities in embedded firmware through multi-binary interaction analysis, enhancing IoT device protection.
Private Resource Allocators and Their Applications
Introduces private resource allocators to prevent allocation-based side-channel attacks in systems like anonymous messaging, with various constructions offering different privacy guarantees and trade-offs in efficiency.
The Value of Collaboration in Convex Machine Learning with Differential Privacy
Explores collaborative machine learning on distributed private data using differentially-private gradients, quantifying trade-offs between privacy and utility, and validating performance predictions with real-world financial datasets.
SPECTECTOR - Principled Detection of Speculative Information Flows
Principled detection of speculative information flows in computer systems, focusing on security against Spectre-like attacks through speculative non-interference and symbolic execution techniques.
Mitigating Spectre Attacks Using CFI Informed Speculation
Mitigating Spectre attacks using Control-Flow Integrity to constrain speculative execution, combining forward and backward edge protection for comprehensive defense against non-vendor-specific vulnerabilities.
Message Time of Arrival Codes - A Fundamental Primitive for Secure Distance Measurement
Explores secure Time-of-Arrival measurement through Message Time of Arrival Codes, addressing attacks on proximity verification systems and discussing performance-security tradeoffs in signal modulation techniques.
Measuring and Analyzing Search Engine Poisoning of Linguistic Collisions
Analyzing linguistic-collision search poisoning attacks, revealing prevalence and impact on Google and Baidu. Explores misspellings, auto-correction evasion, and targeted categories, offering insights for threat mitigation.
Temporal Lensing and Its Application in Pulsing Denial-of-Service Attacks
Explore temporal lensing, a technique concentrating low-bandwidth floods into high-bandwidth pulses, and its potential for amplifying denial-of-service attacks using DNS infrastructure.
Trustworthy Data Analytics in the Cloud Using SGX
Explore trustworthy cloud-based data analytics using SGX technology. Learn about VC3, a system enabling secure MapReduce computations while preserving confidentiality and integrity of code and data.
A Messy State of the Union - Taming the Composite State Machines of TLS
Explore critical security vulnerabilities in TLS implementations, including the FREAK flaw, and learn about a verified composite state machine for OpenSSL that addresses these issues.
PICCOLO - Exposing Complex Backdoors in NLP Transformer Models
Uncover complex backdoors in NLP transformer models using PICCOLO, addressing challenges in trigger inversion and proposing innovative solutions for enhanced model security.
Authentication in Augmented and Virtual Reality
Explores authentication challenges and solutions in AR/VR, analyzing existing methods and proposing innovative approaches for secure user verification in immersive environments.
SIRAJ - A Unified Framework for Aggregation of Malicious Entity Detectors
Unified framework for aggregating malicious entity detectors, addressing varying scanner accuracy, label flips, and correlations through self-supervised learning and pretext tasks for improved threat detection.
How Robust Is Image Classification Deep Neural Network Watermarking?
Explore the robustness of watermarking techniques for image classification neural networks, analyzing various schemes and attacks to provide guidelines for effective protection of intellectual property.
DP-Sniper - Black-Box Discovery of Differential Privacy Violations Using Classifiers
Explore a novel approach to detect differential privacy violations using classifiers, enhancing data protection and privacy in machine learning systems.
Audio Processing in Python with Feature Extraction for Machine Learning
Learn audio processing in Python using librosa for feature extraction, beat detection, and spectral analysis. Explore practical techniques for music information retrieval and machine learning applications.
Deep Learning Workshop for Satellite Imagery - Training & Prediction
Hands-on deep learning workshop for satellite imagery, covering model training, debugging, prediction, and advanced techniques like custom metrics, heatmaps, and model deployment.
Deep Learning Workshop for Satellite Imagery - Data Processing
Hands-on workshop on data processing for satellite imagery, covering fundamentals, Python processing, image manipulation, and preparation of training data for deep learning applications.
The Role of Critical Care for Children with Special Healthcare Needs
Explore best practices for managing children with chronic critical illnesses in ICUs, including patient populations, current research, and strategies for healthcare providers.
Biomarkers and Enrichment for Sepsis Trials
Explore biomarkers and enrichment strategies for sepsis trials, focusing on the PERSEVERE risk model and its application in clinical research and patient stratification.
Update on the Pediatric Index of Mortality with Dr. Tony Slater
Dr. Slater discusses the development and importance of the Pediatric Index of Mortality (PIM) for improving ICU care quality, covering three generations of PIM, acuity scoring, and data interpretation.