Skip to content
View KatCe's full-sized avatar
🌞
🌞
37 followers · 76 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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/

Pinned Loading

  1. comsec-group/mucfi comsec-group/mucfi Public

    Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.

    Verilog 16 2

  2. comsec-group/pathfinder comsec-group/pathfinder Public

    Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces

    SystemVerilog 9 2

  3. comsec-group/verifi comsec-group/verifi Public

    Artifacts for the paper "VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity"

    Verilog 4

  4. comsec-group/turboturtle comsec-group/turboturtle Public

    Artifacts for paper "It’s About Time: Detecting Timing Side-Channel Vulnerabilities in High-Level Synthesis Designs"

    C++ 1