pith. sign in

Lucca Hirschi

Identifiers

  • name variant Lucca Hirschi 0.60 · backfill

Papers (7)

  1. Symbolic Abstractions for Quantum Protocol Verification cs.CR · 2019 · author #1
  2. POR for Security Protocol Equivalences: Beyond Action-Determinism cs.CR · 2018 · author #3
  3. A method for unbounded verification of privacy-type properties cs.CR · 2017 · author #1
  4. Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy cs.CR · 2017 · author #2
  5. A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols cs.CR · 2016 · author #2
  6. Partial Order Reduction for Security Protocols cs.CR · 2015 · author #3
  7. A reduced semantics for deciding trace equivalence using constraint systems cs.CR · 2014 · author #3

Mentions

  • 1504.04768 #3 · backfill · confidence 0.70 Lucca Hirschi
  • 1401.2854 #3 · backfill · confidence 0.70 Lucca Hirschi

Frequent Coauthors