أبو فرحة، فادى، و Alsadeh، A. (2018). Automatic Verification and Symbolic Analysis for 0-RTT Security in TLS 1.3 (رسالة ماجستير غير منشورة). جامعة بيرزيت، بيرزيت. مسترجع من http://search.mandumah.com/Record/1015389
أبو فرحة، فادى، و Ahmad Alsadeh. "Automatic Verification and Symbolic Analysis for 0-RTT Security in TLS 1.3" رسالة ماجستير. جامعة بيرزيت، بيرزيت، 2018. مسترجع من http://search.mandumah.com/Record/1015389