Notes. Proofs. Systems.
Here you can find 20 articles including class notes, toolkits, and paper summaries.
Featured
Notes & Toolkits
Paper Summaries
- Cassandra - a decentralized structured storage system
- Kafka - A distributed messaging system for log processing
- Apache flink - Stream and batch processing in a single engine
- Dynamo - amazon’s highly available key-value store
- Spanner - Google’s globally distributed database
- Adversarial Examples Are Not Bugs, They Are Features
- An Experimental Security Analysis of an Industrial Robot Controller
- The Circle Of Life - A Large-Scale Study of The IoT Malware Lifecycle
- Peeking into Your App without Actually Seeing It - UI State Inference and Novel Android Attacks
- Modeling and performance analysis of BitTorrent-like peer-to-peer networks
- Understanding Linux Malware
- StackGuard - Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks
- Impossibility of Distributed Consensus with One Faulty Process
- The dangers of replication and a solution
- Horus - A Flexible Group Communication System
- The Chandy Lamport Algorithm
- Operating System Directions for the Next Millenium