Markus Stadler is an author at ETH Zurich specializing in engineering, formal verification, and automated reasoning.
Top concepts
EngineeringLawFintechBusinessBlockchainCryptographyData PrivacyVerificationData SecurityFormal Methods
Publications per year
1996–1997
3
3
An efficient fair payment system
Jan Camenisch, Jean-Marc Piveteau, Markus Stadler · 1996 · 85 citations · Full text
Rows per page
1–3 of 3