APA (7th ed.) Citation

Skalka, C., & Near, J. P. (2025). SMT-Boosted Security Types for Low-Level MPC.

Chicago Style (17th ed.) Citation

Skalka, Christian, and Joseph P. Near. SMT-Boosted Security Types for Low-Level MPC. 2025.

MLA (9th ed.) Citation

Skalka, Christian, and Joseph P. Near. SMT-Boosted Security Types for Low-Level MPC. 2025.

Warning: These citations may not always be 100% accurate.