Markus A. Kuppe

Identifiers

• name variant Markus A. Kuppe 0.60 · backfill

Papers (3)

1. Smart Casual Verification of the Confidential Consortium Framework cs.DC · 2024 · author #2
2. Validating Traces of Distributed Programs Against TLA+ Specifications cs.PL · 2024 · author #2
3. Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability cs.CR · 2023 · author #12

Mentions

• 2406.17455 #2 · arxiv_oai · confidence 0.70 Markus A. Kuppe
• 2404.16075 #2 · arxiv_oai · confidence 0.70 Markus A. Kuppe
• 2310.11559 #12 · arxiv_oai · confidence 0.70 Markus A. Kuppe

Frequent Coauthors

• Amaury Chamayou 2 shared papers
• Edward Ashton 2 shared papers
• Heidi Howard 2 shared papers
• Andrew Jeffery 1 shared papers
• Antoine Delignat-Lavaud 1 shared papers
• Benjamin Loillier 1 shared papers
• Cedric Fournet 1 shared papers
• Christoph M. Wintersteiger 1 shared papers
• Fotios Kounelis 1 shared papers
• Fritz Alder 1 shared papers
• Horatiu Cirstea 1 shared papers
• Julien Maffre 1 shared papers
• Manuel Costa 1 shared papers
• Mark Russinovich 1 shared papers
• Matthew Kerner 1 shared papers
• Natacha Crooks 1 shared papers
• Stephan Merz 1 shared papers
• Sylvan Clebsch 1 shared papers