Skip to content
View sbellem's full-sized avatar
127 followers · 43 following

Achievements

Achievement: Starstruckx2Achievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: Starstruckx2Achievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Highlights

  • Pro

Organizations

@sciboxes

Block or report sbellem

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
sbellem/README.md

🚧 👷

  • 🔭 I’m currently working on Research Directions for Verifiable Crypto-Physically Secure TEEs
  • 🌱 I’m currently learning about hardware security1 and open source hardware2
  • 👯 I’m looking to collaborate on open source hardware projects for secure chips
  • 🤔 I’m looking for help with transitioning from software to hardware
  • 🧑‍🏫 Teach me about PUFs, physical one-way functions and black holes
  • 💬 Ask me about PUFs, physical one-way functions and black holes
  • 📫 How to reach me: [email protected] ~ x.com/sbellem ~ t.me/gluonix

More on secure hardware

Talk: qtee: Moving Towards Open Source & Verifiable Secure-through-Physics TEE Chips - Sylvain Bellemare, given at TEE.salon @ EthCC Brussels, hosted by Flashbots.

The talk was much appreciated by those who attended (e.g. https://x.com/buchmanster/status/1811386013689778315).

Slides: https://hackmd.io/@sbellem/pufpunks#/

Whitepaper

draft: https://arxiv.org/abs/2410.03183

Deep dive into the core challenges of secure hardware

Blogposts

Footnotes

  1. PUFs, TRNGs, masking, redundancy, side-channel & fault injection attacks, etc ↩

  2. Open source EDA tools and open source PDKs, etc ↩

Pinned Loading

  1. qtee qtee Public

    Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.

    37 7

  2. initc3/auditee initc3/auditee Public

    Tool to verify the reproducibility of SGX enclave builds

    C 4 6

  3. sgx-iot sgx-iot Public

    Intel SGX code sample: Gateway Key Provisioning and Secure Signing. From https://software.intel.com/content/www/us/en/develop/articles/code-sample-gateway-key-provisioning-and-secure-signing-using-…

    C 3 1

  4. initc3/HoneyBadgerSwap initc3/HoneyBadgerSwap Public

    Coming soon to a blockchain near you.

    Python 7 5

  5. initc3/HoneyBadgerMPC initc3/HoneyBadgerMPC Public

    Robust MPC-based confidentiality layer for blockchains

    Python 134 62

  6. initc3/HoneyBadgerBFT-Python initc3/HoneyBadgerBFT-Python Public

    The Honey Badger of BFT Protocols

    Python 138 65