BRACE: Design, implementation and analysis of a consensus-driven protocol to mitigate the impact of Byzantine nodes in Federated Learning systems
Technologies:
MIND: Decentralized implementation of the classic Mastermind game on the Ethereum blockchain.
The project includes a simple browser-based GUI client.
Technologies:
Trustee: Extension of a simple, statically typed, functional language for supporting security primitives.
Technologies:
FAILURE-Analyzer: Group project on the design and implementation of a static analyzer for bug detection that implements Separation Sufficient Incorrectness Logic.
Technologies:
MicroC: Compiler for a statically typed subset of C.
Technologies:
VSA Framework: Design and implementation of a lightweight static analysis framework for performing Value-Set Analysis on binary programs
Technologies:
