Skip to content
View sofiabobadilla's full-sized avatar
🤝
Hej!
🤝
Hej!
39 followers · 92 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Block or report sofiabobadilla

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
sofiabobadilla/README.md

Hi there 👋

I'm Sofia, a PhD student at KTH, Royal Institute of Technology Sweden. My research focus is automated program repair for smart contracts and smart contract security.

The first milestone of my PhD is already on arXiv, have a look :

Do Automated Fixes Truly Mitigate Smart Contract Exploits?

  • 💬 Are you a master's student interested in smart contract research? Join our team. We have several master thesis topics.
  • 👯 Are you a fellow PhD student working in the same neighborhood? DO reach out, information exchange is crucial for science. sofbobATkthDOTse

Pinned Loading

  1. ASSERT-KTH/sb-heists Public

    scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600

    Solidity 9 3

  2. javierron/STAPR Public

    Solidity 1 1

  3. ASSERT-KTH/SolidityStrikeHive Public

    SSH exploit@chain. Harald Hobbelhagen's master's thesis.

    Solidity 1

  4. DD3431-PhD-Task Public

    Repository for the PhD assignment of course DD3431 at KTH.

    Jupyter Notebook 1

  5. repairnator Public

    Forked from eclipse-repairnator/repairnator

    Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

    Java