Anton Setzer

Identifiers

• name variant Anton Setzer 0.60 · backfill

Papers (2)

1. Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control cs.SC · 2022 · author #4
2. Modelling Bitcoin in Agda cs.CR · 2018 · author #1

Mentions

• 2203.03054 #4 · arxiv_oai · confidence 0.70 Anton Setzer
• 1804.06398 #1 · arxiv_oai · confidence 0.70 Anton Setzer

Frequent Coauthors

• Arnold Beckmann 1 shared papers
• Bogdan Lazar 1 shared papers
• Fahad F. Alhabardi 1 shared papers