Posts by Collection

Terminal-Based Snake Game

Terminal-Based snake game implemented for the C# course’s final project at MFT

GoodEats Web

GoodEats web application implemented for the Advanced Programming course

Doodle Jump

Doodle Jump game implemented using the SDL library for the Advanced Programming course

Calculator

A GUI calculator

Truth or Dare Telegram Bot

A Telegram Bot for playing Truth or Dare

Computer Architecture Course Projects

MIPS CPU

Digital Logic Design Lab Projects

Clock and UART, Multiplier, Function Generator, Accelerator Wrappers

Signals and Systems Course Projects

License plate detection and sending data via signals

Computer Aided Design Course Projects

Applying encoding functions over a 3D matrix in hardware

Computer Architecture Lab Projects

ARM Processor, Hazard Unit, Forwarding Unit, SRAM, and Cache

TruSt Implementation in Lincheck @ MPI-SWS

Full details can be found on the research page.

Enforcing Control Flow Integrity on Smart Contracts @ UofT

Full details can be found on the research page.

Artificial Intelligence Course Projects

Search Algorithms, Machine Learning, Neural Networks

Database Lab Projects

Relational, Graph, and Document (NoSQL) Databases

Systems Analysis and Design Course Projects

Designing and Implementing a Medical Tourism System using UML Diagrams

Compiler Design and Programming Languages Course Projects

A compiler written using ANTLR with Java for the LogicPL programming language

Data Science Course Projects

Scraping, Hypothesis Testing, Data Visualization, Machine Learning

Software Testing Course Projects

Unit Tests, Mocks, Graph Coverage, API Testing, Logic Coverage, Mutation Testing, BDD

Cyber-Physical Systems Course Projects

Qt, Arduino, Android, Sensors, IoT

Operating Systems Lab Projects

Extended XV6 Operating System

Operating Systems Course Projects

Socket Programming, Pipes, Multithreading

Computer Networks Course Projects

Socket programming, Wireless LAN Simulation, Network Routing Protocols, TCP Congestion Control Algorithms

API Gateway

A group project developed for the Sotoon internship

Computer Networks Security Course Projects

SSL, Encryption, Decryption, Digital Signatures, OAuth, and Phishing

Distributed Computing Course Projects

gRPC and ProtoBuf, Concurrency in Go, GlusterFS

Introduction to Cryptocurrencies Course Projects

Wallet Credentials, Testnet Transactions, and Block Generation

Enforcing Control Flow Integrity on DeFi Smart Contracts

Z. Chen, SM. Beillahi, P. Barahimi, C. Minwalla, H. Du, A. Veneris, F. Long

TruSt Implementation in Lincheck

Max Planck Institute for Software Systems

Implementation of a stateless DPOR algorithm for a model-checking framework

Enforcing Control Flow Integrity on Smart Contracts

University of Toronto (Remote)

Detecting self-reverting storage slots in Ethereum smart contracts

Data Structures and Algorithms

Algorithm Design

Systems Analysis and Design

Artificial Intelligence

Machines and Language Theory

Advanced Programming

Advanced Programming

Introduction to Software Testing

SRE Internship

Sotoon

Site Reliability Engineering

Sotoon