APA (7th ed.) Citation

Busi, M., Focardi, R., & Luccio, F. L. (2025). Strands Rocq: Why is a Security Protocol Correct, Mechanically?

Chicago Style (17th ed.) Citation

Busi, Matteo, Riccardo Focardi, and Flaminia L. Luccio. Strands Rocq: Why Is a Security Protocol Correct, Mechanically? 2025.

MLA (9th ed.) Citation

Busi, Matteo, et al. Strands Rocq: Why Is a Security Protocol Correct, Mechanically? 2025.