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

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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, I'm Sofía Bobadilla

PhD student at KTH Royal Institute of Technology, Sweden 🇸🇪
Researching automated program repair and smart contract security

📄 Latest paper:
Do Automated Fixes Truly Mitigate Smart Contract Exploits?

  • 💬 Interested in smart contract research? Master’s thesis topics here
  • 👯 PhD in a similar area? Let’s exchange ideas — sofbob [AT] kth [DOT] se
  • 🎯 Open to internships in 2025 (smart contract security / blockchain)

Github Stats

 sofiabobadilla

Pinned Loading

  1. ASSERT-KTH/sb-heists ASSERT-KTH/sb-heists Public

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

    Solidity 12 4

  2. ASSERT-KTH/RepairComp ASSERT-KTH/RepairComp Public

    Comparison of APR tools for smart contracts in Solidity https://arxiv.org/pdf/2501.04600

    Solidity 2

  3. chains-project/dirty-waters chains-project/dirty-waters Public

    automatically detect software supply chain smells and issues http://arxiv.org/pdf/2410.16049

    Python 18 4

  4. ASSERT-KTH/UPPERCASE_IS_ALL_YOU_NEED ASSERT-KTH/UPPERCASE_IS_ALL_YOU_NEED Public

    SIGBOVIK 2025

    Jupyter Notebook 8

  5. javierron/STAPR javierron/STAPR Public

    Solidity 1 1

  6. mokita-j/pinting mokita-j/pinting Public

    ETHGlobal Bangkok Hackathon

    Rust 1