We stand with Ukraine  

Katharina Ceesay-Seitz

Orcid: 0000-0001-8398-2705

According to our database1, Katharina Ceesay-Seitz authored at least 4 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Cascade: CPU Fuzzing via Intricate Program Generation.
[BibTeX]
[DOI]
Flavien Solt
,
Katharina Ceesay-Seitz
,
Kaveh Razavi
Proceedings of the 33rd USENIX Security Symposium, 2024

μCFI: Formal Verification of Microarchitectural Control-flow Integrity.
[BibTeX]
[DOI]
Katharina Ceesay-Seitz
,
Flavien Solt
,
Kaveh Razavi
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023
Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives.
[BibTeX]
[DOI]
Matthias Eckhart
,
Andreas Ekelhart
,
David Allison
,
Magnus Almgren
,
Katharina Ceesay-Seitz
,
Helge Janicke
,
Simin Nadjm-Tehrani
,
Awais Rashid
,
Mark Yampolskiy
IEEE Secur. Priv., 2023

2020
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME).
[BibTeX]
[DOI]
Katharina Ceesay-Seitz
,
Hamza Boukabache
,
Daniel Perrin
Proceedings of the Computer Safety, Reliability, and Security, 2020


  Loading...