pith. sign in

Catalin Hritcu

Identifiers

  • name variant Catalin Hritcu 0.60 · backfill

Papers (12)

  1. Misquoted No More: Securely Extracting F* Programs with IO cs.PL · 2026 · author #4
  2. Dijkstra Monads for All cs.PL · 2019 · author #5
  3. Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms cs.PL · 2018 · author #6
  4. Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract) cs.CR · 2017 · author #2
  5. Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract) cs.CR · 2017 · author #2
  6. Recalling a Witness: Foundations and Applications of Monotonic State cs.PL · 2017 · author #3
  7. The Meaning of Memory Safety cs.PL · 2017 · author #2
  8. Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation cs.CR · 2016 · author #2
  9. Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components cs.PL · 2015 · author #2
  10. A Verified Information-Flow Architecture cs.PL · 2015 · author #5
  11. Testing Noninterference, Quickly cs.PL · 2014 · author #1
  12. A Step-indexed Semantics of Imperative Objects cs.PL · 2009 · author #1

Mentions

  • 1510.00697 #2 · backfill · confidence 0.70 Catalin Hritcu
  • 1509.06503 #5 · backfill · confidence 0.70 Catalin Hritcu
  • 2602.19973 #4 · arxiv_oai · confidence 0.70 Catalin Hritcu
  • 1409.0393 #1 · backfill · confidence 0.70 Catalin Hritcu
  • 0906.1350 #1 · backfill · confidence 0.70 Catalin Hritcu

Frequent Coauthors