Skip to content
View sofiabobadilla's full-sized avatar
🤝
Hej!
🤝
Hej!
49 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

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