Strobe
protocol framework
overview
specification
example protocols
code
papers
Protocol examples
Authenticated encryption with associated data