Anastasia Mavridou

Identifiers

No identifiers captured yet.

Papers (6)

1. VeriSolid: Correct-by-Design Smart Contracts for Ethereum cs.CR · 2019 · author #1
2. DesignBIP: A Design Studio for Modeling and Generating Systems with BIP cs.SE · 2018 · author #1
3. SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities cs.DC · 2018 · author #3
4. Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts cs.CR · 2018 · author #1
5. Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach cs.CR · 2017 · author #1
6. Coordination of Dynamic Software Components with JavaBIP cs.SE · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aron Laszka 4 shared papers
• Abhishek Dubey 2 shared papers
• Emmanouela Stachtiari 1 shared papers
• Janos Sztipanovits 1 shared papers
• Joseph Sifakis 1 shared papers
• Scott Eisele 1 shared papers
• Simon Bliudze 1 shared papers
• Valentin Rutz 1 shared papers