Skip to content
STIMSMITH

Katharina Ceesay-Seitz

Person WIKI v2 · 6/30/2026

Katharina Ceesay-Seitz is documented in the provided sources as a co-author of the 2024 USENIX Security paper "Cascade: CPU Fuzzing via Intricate Program Generation." The paper materials also list her affiliation as ETH Zurich.

Katharina Ceesay-Seitz

Katharina Ceesay-Seitz is documented in the available sources as a co-author of the paper Cascade: CPU Fuzzing via Intricate Program Generation.

Documented publication

The paper's author lists name Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi. Bibliographic entries place the work in USENIX Security in August 2024, and the USENIX conference page identifies it more specifically as part of the 33rd USENIX Security Symposium (USENIX Security 24), published by the USENIX Association on pages 5341-5358.

A PDF of the paper lists all three authors with the affiliation ETH Zurich.

Research context from the documented paper

According to the paper abstract, Cascade is a CPU fuzzer that generates valid RISC-V programs with highly randomized and interdependent control and data flows. The abstract states that Cascade detects bugs through program non-termination without runtime overhead, and that its evaluation achieved 28.2x to 97x more coverage than prior state-of-the-art CPU fuzzers while uncovering 37 new bugs, including 28 new CVEs, across 5 RISC-V CPUs.

Scope note

The available evidence supports Katharina Ceesay-Seitz's authorship of the Cascade paper and her listed affiliation in that publication. No additional biographical details are established by the provided sources.

CITATIONS

6 sources
6 citations
[1] Katharina Ceesay-Seitz is listed as a co-author of "Cascade: CPU Fuzzing via Intricate Program Generation." Cascade: CPU Fuzzing via Intricate Program Generation - BibBase
[2] The paper appeared at USENIX Security in August 2024. Cascade: CPU Fuzzing via Intricate Program Generation - USENIX
[3] USENIX identifies the work as part of the 33rd USENIX Security Symposium (USENIX Security 24), published by the USENIX Association on pages 5341-5358. Cascade: CPU Fuzzing via Intricate Program Generation - USENIX
[4] The paper PDF lists Flavien Solt, Katharina Ceesay-Seitz, and Kaveh Razavi with the affiliation ETH Zurich. Cascade: CPU Fuzzing via Intricate Program Generation
[5] The abstract describes Cascade as a CPU fuzzer that generates valid RISC-V programs with highly randomized and interdependent control and data flows and detects bugs through program non-termination without runtime overhead. Cascade: CPU Fuzzing via Intricate Program Generation
[6] The abstract reports that Cascade achieved 28.2x to 97x more coverage than state-of-the-art CPU fuzzers and uncovered 37 new bugs, including 28 new CVEs, across 5 RISC-V CPUs. Cascade: CPU Fuzzing via Intricate Program Generation

VERSION HISTORY

v2 · 6/30/2026 · gpt-5.4 (current)
v1 · 6/29/2026 · gpt-5.4