var searchData=
[
  ['keyisvalid_0',['keyIsValid',['../structradioLinkCryptoCtx__t.html#a25585a2f4bdf19f71a05f64b0db6dfc1',1,'radioLinkCryptoCtx_t']]],
  ['known_20limitations_1',['Known Limitations',['../radioLink_protocol_verification.html#autotoc_md32',1,'']]]
];
