These are the projects completed by students in the CS 3551 course in the Fall 2024 semester:

• Analyzing Unsafe Rust Usage Across Domains: Abdulaziz Alotaibi
• Fault Injection on Prime: Aren Alyahya
• PChord: Towards A Error-Free Distributed Hash Table using P: Shinwoo Kim and Derrick Hicks
• Formal Specification and Verification of the BFT Protocol Prime: Huzaifah Nadeem
• Postdiction in the Distributed Setting: Trevor Petersen
• Blockchain-Enabled Spectrum Sharing System: Xiaoxuan Qin

These are the projects completed by students in the CS 3551 course in the Spring 2020 semester:

• Calibrating Low-Cost Air Quality Sensor Data: Abhishek Viswanathan and Vasco Xu
• Intrusive-Node Detection and Smart Redundancy in Networks: Akshay Madan
• Hierarchical Load Balancing: Ismael Alonso
• Is Blockchain a Better Solution for Managing Health Data?: Ke-Yun Yeh
• Intrusion Detection in Spire: Maher Khan
• Using Unikernels to Enhance the Attack-Resistance of Spire: Mike Boby and Brad Whitehead
• A Survey of Blockchain Storage Requirement Mitigation Techniques: Nick Gordon