GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — mojtaba-eshghie - Overview
@mojtaba-eshghie mojtaba-eshghie Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@mojtaba-eshghie
mojtaba-eshghie
Follow
View mojtaba-eshghie's full-sized avatar
🎯
Focusing

Mojtaba Eshghie mojtaba-eshghie

🎯
Focusing
Follow
Postdoc @ Umeå University, Sweden
41 followers · 72 following
  • Umeå University
  • Stockholm
  • https://eshghie.com/
  • https://orcid.org/0000-0002-0069-0588
  • @MojtabaEshghie
  • https://www.umu.se/en/staff/mojtaba-eshghie/

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Developer Program Member
  • Pro

Organizations

@LimonyLab @UniversalTokenForest
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
mojtaba-eshghie/README.md

Hi there 👋

Mojtaba's GitHub stats

  • 👯 I’m looking to collaborate on software engineering and software security research!
  • 📫 How to reach me: Find me via my KTH profile!

Pinned Loading

  1. ASSERT-KTH/FLAMES ASSERT-KTH/FLAMES Public

    Require on fire

    Solidity 3

  2. HighGuard HighGuard Public

    The runtime monitoring tool for smart contracts business logic.

    Jupyter Notebook 19 3

  3. Raven Raven Public

    Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories

    Jupyter Notebook 3

  4. Dynamit Dynamit Public

    Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning

    Jupyter Notebook 31 3

  5. Sindi Sindi Public

    Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

    Solidity 10 1

  6. SoliDiffy SoliDiffy Public

    SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts

    Jupyter Notebook 21 3

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.