pith. sign in

Sandro Etalle

Identifiers

No identifiers captured yet.

Papers (9)

  1. Network intrusion detection systems for in-vehicle network - Technical report cs.CR · 2019 · author #3
  2. Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions cs.CR · 2018 · author #2
  3. APHRODITE: an Anomaly-based Architecture for False Positive Reduction cs.CR · 2006 · author #2
  4. Poseidon: a 2-tier Anomaly-based Intrusion Detection System cs.CR · 2005 · author #3
  5. Integrity Constraints in Trust Management cs.CR · 2005 · author #1
  6. A Trace Logic for Local Security Properties cs.CR · 2004 · author #3
  7. Transformations of CCP programs cs.PL · 2001 · author #1
  8. Properties of Input-Consuming Derivations cs.PL · 2001 · author #2
  9. Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling cs.LO · 2001 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors