pith. sign in

Boris K\"opf

Identifiers

No identifiers captured yet.

Papers (7)

  1. Securing AI Agents with Information-Flow Control cs.CR · 2025 · author #2
  2. SPECTECTOR: Principled Detection of Speculative Information Flows cs.CR · 2018 · author #2
  3. Theory and Practice of Finding Eviction Sets cs.CR · 2018 · author #2
  4. Loophole: Timing Attacks on Shared Event Loops in Chrome cs.CR · 2017 · author #2
  5. Security Analysis of Cache Replacement Policies cs.CR · 2017 · author #2
  6. A Language-theoretic View on Network Protocols cs.FL · 2016 · author #2
  7. Rigorous Analysis of Software Countermeasures against Cache Attacks cs.CR · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors