Founded in 2010 as an outgrowth of the PBCC (Plant Breeding Coordinating Committee). Represents the common interests of the plant breeding community working.
JFK Protocol in Applied Pi Calculus CS 395T. Proving Security uReal protocol Process-calculus specification of the actual protocol uIdeal protocol.