Emina Torlak

Identifiers

No identifiers captured yet.

Papers (5)

1. Precise Attack Synthesis for Smart Contracts cs.CR · 2019 · author #2
2. Refinement Types for Ruby cs.PL · 2017 · author #5
3. SIMPL: A DSL for Automatic Specialization of Inference Algorithms cs.PL · 2016 · author #2
4. Knowledge Flow Analysis for Security Protocols cs.CR · 2006 · author #1
5. A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols cs.CR · 2006 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Blaise Gassend 2 shared papers
• Marten van Dijk 2 shared papers
• Rastislav Bodik 2 shared papers
• Srinivas Devadas 2 shared papers
• Austin Bourgerie 1 shared papers
• Daniel Jackson 1 shared papers
• Jeffrey S. Foster 1 shared papers
• Milod Kazerounian 1 shared papers
• Niki Vazou 1 shared papers
• Rohin Shah 1 shared papers
• Yu Feng 1 shared papers