Skip to content
View KatCe's full-sized avatar
🌞
🌞

Highlights

  • Pro

Block or report KatCe

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
KatCe/README.md
  • 👋 Hi, I’m @KatCe
  • 👀 I’m interested in security, digital design verification and embedded software.
  • 🌱 I’m currently researching formal verification for detecting hardware security vulnerabilities.
  • 💞️ I’m looking to collaborate on formal verification.
  • 📫 How to reach me ... https://www.linkedin.com/in/katharina-ceesay-seitz-ba521087/

Popular repositories Loading

  1. Crowdless-flutter-Prototype Crowdless-flutter-Prototype Public

    Forked from Brieden/Crowdless-flutter-Prototype

    #VersusVirus

    Dart 3 2

  2. 3Dobj2opengl 3Dobj2opengl Public

    Converts 3D object file into a opengl header with vertices, normals and texture arrays.

    Python

  3. hdlparse hdlparse Public

    Forked from andresmanelli/hdlparse

    Simple parser for extracting VHDL documentation

    Python

  4. comparison-of-formal-and-simulation comparison-of-formal-and-simulation Public

    Forked from verification-gentleman-blog/comparison-of-formal-and-simulation

    SystemVerilog

  5. KatCe KatCe Public

    Config files for my GitHub profile.

  6. ibex ibex Public

    Forked from lowRISC/ibex

    Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

    SystemVerilog