Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Interning @ UofT
Published: |
Interning @ MPI-SWS
Published: |
Starting to Work @ Sotoon
Published: |
Projects
Terminal-Based Snake Game
Summer 2020 | C# |
Terminal-Based snake game implemented for the C# course’s final project at MFT
GoodEats Web
Spring 2021 | C++ |
GoodEats web application implemented for the Advanced Programming course
Doodle Jump
Spring 2021 | C++ |
Doodle Jump game implemented using the SDL library for the Advanced Programming course
Calculator
Summer 2021 | Python |
A GUI calculator
Truth or Dare Telegram Bot
Fall 2021 | C# |
A Telegram Bot for playing Truth or Dare
Computer Architecture Course Projects
Spring 2022 | Verilog |
MIPS CPU
Digital Logic Design Lab Projects
Spring 2022 | Verilog |
Clock and UART, Multiplier, Function Generator, Accelerator Wrappers
Signals and Systems Course Projects
Fall 2022 | MATLAB |
License plate detection and sending data via signals
Computer Aided Design Course Projects
Fall 2022 | Verilog |
Applying encoding functions over a 3D matrix in hardware
Computer Architecture Lab Projects
Spring 2023 | Verilog |
ARM Processor, Hazard Unit, Forwarding Unit, SRAM, and Cache
TruSt Implementation in Lincheck @ MPI-SWS
Summer 2023 | Kotlin |
Full details can be found on the research page.
Enforcing Control Flow Integrity on Smart Contracts @ UofT
Summer 2024 | Rust |
Full details can be found on the research page.
Artificial Intelligence Course Projects
Fall 2022 | Python |
Search Algorithms, Machine Learning, Neural Networks
Database Lab Projects
Fall 2023 | SQL, NoSQL, Python |
Relational, Graph, and Document (NoSQL) Databases
Systems Analysis and Design Course Projects
Spring 2023 | UML, Python |
Designing and Implementing a Medical Tourism System using UML Diagrams
Compiler Design and Programming Languages Course Projects
Spring 2023 | Java |
A compiler written using ANTLR with Java for the LogicPL programming language
Data Science Course Projects
Spring 2024 | Python |
Scraping, Hypothesis Testing, Data Visualization, Machine Learning
Software Testing Course Projects
Fall 2023 | Java |
Unit Tests, Mocks, Graph Coverage, API Testing, Logic Coverage, Mutation Testing, BDD
Cyber-Physical Systems Course Projects
Spring 2024 | C++, Arduino |
Qt, Arduino, Android, Sensors, IoT
Operating Systems Lab Projects
Fall 2022 | C |
Extended XV6 Operating System
Operating Systems Course Projects
Fall 2022 | C, C++ |
Socket Programming, Pipes, Multithreading
Computer Networks Course Projects
Spring 2023 | C++ |
Socket programming, Wireless LAN Simulation, Network Routing Protocols, TCP Congestion Control Algorithms
API Gateway
Aug 2022 | Golang |
A group project developed for the Sotoon internship
Computer Networks Security Course Projects
Fall 2023 | Bash, Python |
SSL, Encryption, Decryption, Digital Signatures, OAuth, and Phishing
Distributed Computing Course Projects
Spring 2024 | Golang |
gRPC and ProtoBuf, Concurrency in Go, GlusterFS
Introduction to Cryptocurrencies Course Projects
Spring 2023 | Python |
Wallet Credentials, Testnet Transactions, and Block Generation
Publications
Enforcing Control Flow Integrity on DeFi Smart Contracts
Z. Chen, SM. Beillahi, P. Barahimi, C. Minwalla, H. Du, A. Veneris, F. Long
Submitted to ACM International Conference on the Foundations of Software Engineering (FSE) 2025 |
Research
TruSt Implementation in Lincheck
Max Planck Institute for Software Systems
Jul 2023 - Sep 2023 | Research Intern |
Implementation of a stateless DPOR algorithm for a model-checking framework
Enforcing Control Flow Integrity on Smart Contracts
University of Toronto (Remote)
Aug 2024 - Sep 2024 | Research Intern |
Detecting self-reverting storage slots in Ethereum smart contracts
Talks
Teaching
Data Structures and Algorithms
Undergraduate Course, University of Tehran, ECE Department | Teaching Assistant |
Algorithm Design
Undergraduate Course, University of Tehran, ECE Department | Teaching Assistant |
Systems Analysis and Design
Undergraduate Course, University of Tehran, ECE Department | Teaching Assistant |
Artificial Intelligence
Undergraduate Course, University of Tehran, ECE Department | Teaching Assistant |
Machines and Language Theory
Undergraduate Course, University of Tehran, ECE Department | Teaching Assistant |
Advanced Programming
Undergraduate Course, University of Tehran, ECE Department | Teaching Assistant |
Advanced Programming
Undergraduate Course, University of Tehran, ECE Department | Head Teaching Assistant |
Introduction to Software Testing
Undergraduate Course, University of Tehran, ECE Department | Head Teaching Assistant |
Work
SRE Internship
Sotoon
Jun 2022 - Sep 2022 | SRE Intern (Full-Time) |
Site Reliability Engineering
Sotoon
Oct 2022 - Jan 2024 | Junior Software Engineer (Part-Time) |