Danny Dolev (source code)

= Danny Dolev
{c}
{wiki}

A <computer scientist> whose work with <Andrew Yao> includes the <Dolev-Yao model> of <cryptographic protocols>.