Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev. ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 179-197, IEEE, 2022. [doi]
Abstract is missing.