Baumann, J., Kim, Y., Farba, Y., Hritcu, C., & Leatherman-Brooks, J. (2026). Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking.
Style de citation Chicago (17e éd.)Baumann, Jonathan, Yonghyun Kim, Yan Farba, Catalin Hritcu, et Julay Leatherman-Brooks. Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking. 2026.
Style de citation MLA (9e éd.)Baumann, Jonathan, et al. Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.