ਖੋਜ ਨਤੀਜੇ
ਸ਼ਾਇਦ ਤੁਸੀਂ ਇਸ ਵਿਕੀ ’ਤੇ ਸਫ਼ਾ "User cs" ਬਣਾ ਸਕਦੇ ਹੋ ਪਰ ਹੇਠਾਂ ਖੋਜ ਨਤੀਜਿਆਂ ਵਿਚ ਜ਼ਰੂਰ ਵੇਖੋ ਕਿ ਕਿਤੇ ਇਸ ਵਿਸ਼ੇ ਬਾਰੇ ਕੋਈ ਸਫ਼ਾ ਪਹਿਲਾਂ ਹੀ ਮੌਜੂਦ ਤਾਂ ਨਹੀਂ।
"Automated Symbolic Verification of Telegram's MTProto 2.0". arXiv:2012.03141v1 [cs.CR]. Albrecht, Martin R.; Mareková, Lenka; Paterson, Kenneth G.; Stepanovs...64 KB (4,241 ਸ਼ਬਦ) - 11:45, 23 ਨਵੰਬਰ 2022
