> For the complete documentation index, see [llms.txt](https://whitepaper.plyr.network/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://whitepaper.plyr.network/conclusion/sources/security_and_consensus_mechanisms_in_avalanche.md).

# Security and Consensus Mechanisms in Avalanche:

"When is Spring coming? A Security Analysis of Avalanche Consensus" analyzes the Avalanche consensus protocol's security, including a detailed formulation of Avalanche through pseudocode and an analysis of formal properties fulfilled by Avalanche in terms of a generic broadcast protocol. It also identifies a vulnerability affecting the protocol's liveness and proposes a solution (Amores-Sesar, Cachin, & Tedeschi, 2022).