Petar Tsankov

Identifiers

No identifiers captured yet.

Papers (3)

1. Securify: Practical Security Analysis of Smart Contracts cs.CR · 2018 · author #1
2. Network-wide Configuration Synthesis cs.NI · 2016 · author #2
3. Access Control Synthesis for Physical Spaces cs.CR · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Martin Vechev 2 shared papers
• Ahmed El-Hassany 1 shared papers
• Andrei Dan 1 shared papers
• Arthur Gervais 1 shared papers
• Dana Drachsler Cohen 1 shared papers
• David Basin 1 shared papers
• Florian Buenzli 1 shared papers
• Laurent Vanbever 1 shared papers
• Mohammad Torabi Dashti 1 shared papers