Лаборатория TJCTF CTF 2016 - earphones [misc 155]

Progressor
, 3 июня 2016

Дан зашифрованный флаг и сто равенств вида :

IONBGmcquy & fkpDdiTNxy ^ mzkirabTWJ | vSqZRztsJa ^ uGgiknmEjy | xoSIgvqmdH & FxGckrWdLm & HYBLyJWogU ^ rMxRyBwZAg + RWSvxhHlEg = sMJfBSPOjY

Операции в равенстве выполняются слева направо, без учета приоритета операций. Регистр важен. Шифр - преобразование из множества a-zA-Z в множество 0-9.

Зашифрованный флаг: Flag = gWT ZYv za gdT WbR ZSX ZZa Ghr WWZ gbQ ZZJ te GRd Nz dnF gjI gdk gYH GYz dAA GrQ ZZb ZnC GWT Ggg Zbv dnc Wqq qrh WqO gbU grQ aa gVP dGT GnL gZE gQl dbE qZH ay Wqj dqM tu gZB gdo gds zi WYq qji Gbm qjt GWx qZF Zrn dnT gQN qQa gVd WGu qGX dgq ZQQ ZVf ZZs ZVt ty aK aO gQz dbO gYo ZWJ qgi dQD gjZ qVs dGY drd qWh dhd qrQ GGF zD Wnv qbW qhA gRZ dby ZqW gQB dGg Gqj WZl ZYY dGK WQo WAW ZQU qYL Zde ZWn zm dVL dVE Zgo ZSP

Перебор в лоб - слишком большой. Идея в том, чтоб сократить перебор и количество операций.

Сокращение вариантов перебора.

  1. Различная длина чисел в правой части равенств => лидирующие нули не пишутся => все первые буквы слов не ноль. Символ j=0
  2. Флаг содержит много троек букв и немножко двоек => используются маленькие буквы в ascii (начинаются с 97)
  3. Первые буквы в двойках во флаге - 9, вторые - {7,8,9}
  4. Первые буквы в тройках - 1, вторые - {0,1,2}. Не должно превышать 128.
  5. Из формата флага получаем несколько точных значений: tjctf{...}
  6. Некоторые индивидуальные ограничения, например для одинаковых пар букв в тройках.

Сокращение количества операций.

Некоторую информацию можно получить из равенств вручную. Поскольку числа зашифрованы в десятичной системе, то работать напрямую на уровне бит можем только с последним битом - битом четности. Для этого бита: если последняя операция в левой части - конъюнкция с 0, то справа должен быть ноль: обратно, если справа в бите единица, то слева должна быть единица (из таблицы истинности конъюнкции). Тоже самое для дизъюнкции, с заменой 0 на 1.

Вручную также можно пройти дальше и захватить больше операций из равенства. Для бита четности можно проследить и операции xor (xor 1 => смена бита), и операции обычного сложения (четное + нечетное равняется нечетному и т.д.). Знание четности сокращает количество вариантов вдвое для последней буквы числа в общем случае.

Перебор

После того, как сократили количество вариантов перебора, начинаем сам перебор. Перебор я делал только для двух небольших подмножесв зашифрованных слов: для последних слов левой части равенства, если последняя операция логическое И или ИЛИ. Динамически составляем строчку, описывающую несколько вложенных циклов, и исполняем ее через eval. Далее идея - рассматриваем случай с последней операцией конъюнкция - если для всех допустимых вариантов перебора в левой части равенства для какого-то бита всегда значение 0, то и справа он должен быть всегда ноль, поэтому исключаем варианты, которые дают в правой части равенства единицу для этого бита. После такого анализа может получиться, что это выполняется только для одного единственного допустимого варианта перебора для некоторой буквы шифртекста. Мы заменяем эту расшифрованную букву на ее найденное значение и повторяем весь анализ снова. После нескольких итераций у меня расшифровался весь флаг (это оказался набор случайных букв). Код приводить не буду, он путанный и неинформативный.

16 комментариев:

  1. Justnix
       #   12:14, 24 мая 2017
    Uti Amoxicillin Brand Cialis Online Buy Orlistat 120mg In Usa Xenical Avec Ou Sans Ordonnance Zoloft Online Usa Cialis Farmacia Del Ahorro Where To Order Fluoxetine 40mg Floxet Buy Strattera Online Usa Buy Prescription Levitra Elocon Website Internet Fedex Shipping Low Price Cheap Cialis Online Propecia Canadian Propecia Soft Procalis Levitra Cheap Cialis Usual Dosage Of Amoxicillin Euro Levitra In Farmacia Buy Online Cialis Sale generic isotretinoin c.o.d. website Buy Diflucan Online Australia Female Cialis Cialis Rossore Cialis Laboratorio Lilly How To Order Cialis Where Can I Buy Macrobid Express Delivery Generic Tadalafil Buy Cheap Atomoxetine Online Fedex Stendra Get Shop Cialis Super Active 20mg Reviews Cheap Cialis Generic Priligy Dapoxetina 2011 mini loans with friends and family flending All rights reserved.HML Loan Type Both Lending Area TX Contact Rob Barney Address Greenville Ave City State Zip Dallas Texas Phone Fax Web Site Real Estate Books Real Estate Success Stories Discussion Forums REIClub YouTube Real Estate Videos Contact REIClub Endeavor Capital HML Loan Type Both Lending Area MA FL Contact Dan Burke Address S. games Driver killed in Saturday morning accident in Longview Copyright Longview Daily News. bad credit payday loans We will learn how your situation has improved Home Car Loans Guides.Tomar Viagra Sildenafil Buy Online Kamagra Cialis Kaufen Levitra Buy Celebrex Uk Cialis Cheap Sale Isotretinoin Low Price Finasteride Results Pictures Propecia How Much Is Viagra Isotretinoin On Line Cialis Hace Dano Order Kamagra Cialis Brevetto Side Effects Of Amoxicillin 500mg Tablet Oral Jelly Kamagra Stendra Avanafil Cost Orlistat Used Cialis Cost Cialis Non Si Alza Vente Viagra France Pas Cher Cheap Zoloft Amoxicillin Fail The Drug Test Nolvadex Vendre Cialis Free Offer Keflex Warning Buy Propecia Finasteride Buy Tadalafil Online Efectos Viagra Mujer Commande Viagra Fiable Buy Zoloft Online Usa Stendra No Prescription Capsulas Propecia Buy Generic Cialis Online Zithromax Time To Work Propecia En Parejas Nolvadex Order Online Kamagra Effetti Collaterali Buy Metronidazole 400mg Order Strattera Online Pdr Keflex Nimesulide Cheap Accutane The Canadian Drugstore Inc Pneumonia And Amoxicillin Where To Buy Zoloft Buy Viagra Mastercard Ordinare Cialis Line Generic Cialis 100mg Using Propecia Months Baclofene Nouvel Observateur Tadalafil Generic Amoxicillin Dosage In Dog Pharmacie Cialis Levitra Viagra Buy Cheap Generic Zoloft accutane buy online canada Buy Viagra Online Australia Generic Cialis Online Clomid Antibiotique What Does Zithromax Do Purchase Cheap Kamagra Viagra Dapoxetine Reviews Vente Cialis En Pharmacie How To Order Cialis Cialis Original O Generico Kamagra For Sale Dublin Buy Zithromax Cheap Cialis In Nurnberg Genericos Cialis Buy Priligy 30mg Amoxicillin And Your Appetite Glucovance Propranolol To Buy Kamagra Generico Canadian 25 Mg Viagra Buy Cialis Online Usa Order Effexor No Prescription Commander Cialis 20mg Cheap Generic Viagra Achat De Cialis France Cialis Daily Erfahrung Cialis Usa Amoxicillin And Cats And Lethargic Best Levitra Prices Cheap Generic Zoloft Cheap Viagra Pills No Prescription
  2. KelDuhCrory
       #   02:40, 20 июня 2017
    Pak Zithromax Levitra Price Amoxicillin Dosage Cats Metronidazole Cialis Online Pharmacy Cephalexin Altace Zyprexa Positive Direct Coombs Propecia Largo Plazo Viagra Sample Zithromax Take All At Once Achat Kamagra Oral Jelly generic viagra Comprar Cialis Mas Barato Cialis 20mg Prix En Pharmacie Generic Vibramycin Cheap Generic Doxycycline China Syntroid Cheap Kamagra Usa Achat Cialis A Paris Propecia Antifouling Depoxetine Levitra Wirkung Verstarken
  3. DorisHot
       #   05:55, 15 июля 2017
    Нейросетевое обновление "XRumer 16.0 + XEvil": автораспознавание бесплатно и быстро капч Гугла, Yandex, Фэйсбука, ВКонтакте, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других типов captchas, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно? ищите в Ютубе "XEvil: new OCR - captcha solver" XRumer201707
  4. DorisHot
       #   15:58, 17 июля 2017
    Революционное обновление "XRumer 16.0 + XEvil": распознавание бесплатно и быстро капчи Google, Yandex, Фэйсбука, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов капчи, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно - см. в YouTube "XEvil: new OCR - captcha solver" XRumer201707
  5. DorothyRip
       #   01:59, 18 июля 2017
    Принципиально новое обновление "XRumer 16.0 + XEvil 3.0": решение бесплатно и быстро captcha Гугла, Yandex, Facebook, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов капч, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно - см. в YouTube "XEvil: new OCR - captcha solver" XRumer20170717
  6. DorothyRip
       #   04:19, 19 июля 2017
    Революционное обновление "XRumer 16.0 + XEvil": распознавание бесплатно и быстро captchas Гугла, Яндекса, Facebook, ВКонтакте, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов captchas, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы? ищите в Ютубе "XEvil: new OCR - captcha solver" XRumer20170718
  7. DorothyRip
       #   09:45, 19 июля 2017
    Принципиально новое обновление "XRumer 16.0 + XEvil": взлом бесплатно и быстро captcha Гугла, Yandex, Facebook, ВКонтакте, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов капч, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы - см. в Ютубе "XEvil: new OCR - captcha solver" XRumer20170718
  8. ArlenePex
       #   06:55, 22 июля 2017
    Нейросетевое обновление "XRumer 16.0 + XEvil 3.0": автораспознавание бесплатно и быстро капчи Google, Яндекса, Фэйсбука, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов captcha, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы? ищите в YouTube "XEvil: new OCR - captcha solver" XRumer20170721
  9. ArlenePex
       #   16:18, 22 июля 2017
    Принципиально новое обновление "XRumer 16.0 + XEvil": обход бесплатно и быстро капчи Google, Яндекса, Фэйсбука, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов captcha, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно - ищите в YouTube "XEvil: new OCR - captcha solver" XRumer20170721
  10. ArlenePex
       #   21:41, 22 июля 2017
    Принципиально новое обновление "XRumer 16.0 + XEvil": распознавание бесплатно и быстро капчи Гугла, Яндекса, Фэйсбука, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов капч, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно? см. в Ютубе "XEvil: new OCR - captcha solver" XRumer20170721
  11. ArlenePex
       #   02:52, 23 июля 2017
    Революционное обновление "XRumer 16.0 + XEvil 3.0": решение бесплатно и быстро капч Google, Яндекса, Facebook, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других типов капчи, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы - см. в Ютубе "XEvil: new OCR - captcha solver" XRumer20170721
  12. FlossieAnipt
       #   21:59, 25 июля 2017
    Принципиально новое обновление "XRumer 16.0 + XEvil": решение бесплатно и быстро капчи Google, Яндекса, Фэйсбука, VK, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов captcha, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно - ищите в Ютубе "XEvil: new OCR - captcha solver" XRumer20170725
  13. FlossieAnipt
       #   03:21, 26 июля 2017
    Нейросетевое обновление "XRumer 16.0 + XEvil 3.0": взлом бесплатно и быстро капч Гугла, Яндекса, Фэйсбука, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других типов captchas, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Интересно? см. в Ютубе "XEvil: new OCR - captcha solver" XRumer20170725
  14. FlossieAnipt
       #   08:48, 26 июля 2017
    Нейросетевое обновление "XRumer 16.0 + XEvil": обход бесплатно и быстро captcha Гугла, Яндекса, Facebook, VK, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других типов капчи, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы - ищите в Ютубе "XEvil: new OCR - captcha solver" XRumer20170725
  15. FlossieAnipt
       #   14:09, 26 июля 2017
    Нейросетевое обновление "XRumer 16.0 + XEvil 3.0": взлом бесплатно и быстро captchas Google, Яндекса, Facebook, Vkontakte, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других типов captchas, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы - см. в YouTube "XEvil: new OCR - captcha solver" XRumer20170725
  16. FlossieAnipt
       #   19:39, 26 июля 2017
    Принципиально новое обновление "XRumer 16.0 + XEvil": взлом бесплатно и быстро captchas Google, Yandex, Фэйсбука, VK, Bing, Hotmail, Mail.Ru, SolveMedia, а также свыше 8400 других видов капчи, с высокой скоростью - 100 изображений в секунду, и точностью - 80%..100%. В XEvil 3.0 реализовано подключение любых SEO/SMM программ - XRumer, GSA, ZennoPoster, VKBot, A-Parser, и многих других. Готовится абсолютно бесплатная демо-версия. Заинтересованы? ищите в YouTube "XEvil: new OCR - captcha solver" XRumer20170725

Авторизуйтесь, что бы оставить комментарий