Sater, S. A., & Ollivier, H. (2026). Composable Verification in the Circuit-Model via Magic-Blindness.
Chicago Style (17th ed.) CitationSater, Sami Abdul, and Harold Ollivier. Composable Verification in the Circuit-Model via Magic-Blindness. 2026.
MLA (9th ed.) CitationSater, Sami Abdul, and Harold Ollivier. Composable Verification in the Circuit-Model via Magic-Blindness. 2026.
Warning: These citations may not always be 100% accurate.