AntiFuzz - Impeding Fuzzing Audits of Binary Executables
Explore techniques to protect binary executables against automated bug-finding tools, focusing on impeding fuzzing, symbolic execution, and hybrid fuzzing approaches while maintaining performance.
JEDI - Many-to-Many End-to-End Encryption and Key Delegation for IoT
Explore JEDI, a novel end-to-end encryption protocol for IoT systems, addressing security challenges in smart buildings and cities through key delegation and fine-grained access control.
Understanding and Improving Security and Privacy in Multi-User Smart Homes - A Design Exploration and In-Home User Study
Explore security and privacy challenges in multi-user smart homes, examining design principles and a prototype solution for respectful usage and user agency.
Platforms in Everything - Analyzing Ground-Truth Data on the Anatomy and Economics of Bullet-Proof Hosting
Empirical study on Bullet-Proof Hosting provider Maxided, analyzing business model, supply chain, customers, and finances. Reveals shifts in BPH landscape and potential intervention points for disrupting cybercrime-supporting services.
Scalable Scanning and Automatic Classification of TLS Padding Oracle Vulnerabilities
Innovative TLS vulnerability scanning methodology reveals widespread CBC padding oracle vulnerabilities, challenging assumptions about their exploitability and highlighting significant security risks in web infrastructure.
The Art of The Scam - Demystifying Honeypots in Ethereum Smart Contracts
Explores honeypot smart contracts in Ethereum, their prevalence, and impact. Presents HoneyBadger tool for detecting honeypots, analyzing 2M+ contracts and identifying 690 honeypots with 240 victims.
Multi-Queue Fair Queuing
Introduces MQFQ, a fair and efficient scheduler for multi-queue systems, addressing fairness issues in high-speed devices while maintaining scalability and performance.
Your Coflow has Many Flows - Sampling them for Fun and Speed
Innovative coflow scheduling technique using flow sampling to estimate coflow size, improving performance and scalability for data-intensive applications in distributed computing environments.
Hodor - Intra-Process Isolation for High-Throughput Data Plane Libraries
Explores intra-process isolation for high-throughput data plane libraries, proposing protected libraries as a new OS abstraction to achieve safety and performance in kernel-bypass approaches for managing high-speed devices.
Zanzibar - Google’s Consistent, Global Authorization System
Explore Google's Zanzibar, a global authorization system for storing and evaluating access control lists, offering scalability, consistency, and high performance across various services.
Scaling the Distributed Actor Runtime - PARTISAN
Presentation on PARTISAN, a runtime system for actor applications offering improved scalability and reduced latency through dynamic overlay selection, named channels, and affinitized parallelism.
Everyone Loves File - File Storage Service in Oracle Cloud Infrastructure
Explore Oracle Cloud's File Storage Service architecture, featuring scalable block store, B-tree implementation, and nonblocking programming for efficient, elastic NFS service with predictable performance.
LegoOS - A Disseminated, Distributed OS for Hardware Resource Disaggregation
Explore LegoOS, a revolutionary distributed OS for disaggregated hardware resources in datacenters. Learn about its splitkernel model, improved resource utilization, and enhanced failure handling capabilities.
LXDs - Towards Isolation of Kernel Subsystems
Explores Lightweight Execution Domains (LXDs) as a solution for isolating kernel subsystems, enhancing security by confining potential exploits without significant modifications or performance impact.
Libmpk - Software Abstraction for Intel Memory Protection Keys
Explore libmpk, a software abstraction enhancing Intel MPK's security and scalability. Learn about its implementation, benefits, and applications in OpenSSL, JavaScript JIT, and Memcached.
Cross Continent Infrastructure Scaling at Instagram
Explore Instagram's global infrastructure scaling challenges and solutions, focusing on cross-continent deployment, latency issues, and strategies for managing stateful services.
Linux Memory Management at Scale - Under the Hood
Explore Linux memory management for reliable, large-scale systems. Learn about swap, cgroups, PSI, and memory protection from a Facebook SRE, debunking myths and offering expert insights.
Leading without Managing - Becoming an SRE Technical Leader
Explore technical leadership in SRE, focusing on strategic guidance without people management. Learn tactics for career growth, mentoring, and identifying impactful work opportunities.
Building Blocks of Distributed Systems - Parts 1 & 2
Interactive class exploring orchestration, load balancing, databases, and storage in distributed systems. Covers key concepts and design principles for large data processing pipelines through collaborative exercises.
Implementing Distributed Consensus
Explore distributed consensus through "Skinny," a lock service. Learn Paxos protocol, design a simple consensus protocol, and tackle implementation challenges from theory to coding.
Tuning Java's G1 Garbage Collector for Realtime Services
Explore Java's G1 Garbage Collector tuning for realtime services, focusing on performance measurement, latency optimization, and effective settings for large heaps.