Formally analyzed m-coupon protocol with confirmation code (MCWCC). - Kerim Yildirim; Gökhan Dalkiliç; Nevcihan Duru (Turkish J. Electr. Eng. Comput. Sci., 2019)

Onay kodlu güvenli M-kupon algoritmasının geliştirilmesi ve biçimsel analizi (Development of a secure m-coupon scheme with confirmation code and formally analization of the scheme) - Kerim Yildirim (2019)