KSC 2019
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
³µ¶È ÇØÁ¦¸¦ À§ÇÑ Opaque Predicate Detector |
¿µ¹®Á¦¸ñ(English Title) |
Opaque Predicate Detector for Deobfuscation |
ÀúÀÚ(Author) |
¾çÁ¾È¯
±è¿µÃ¶
¸ñ¼º±Õ
Á¶Àº¼±
ÃÖ¼®¿ì
Jonghwan Yang
Yeongcheol Kim
Seong-Kyun Mok
Eun-Sun Cho
Seokwoo Choi
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 46 NO. 02 PP. 0779 ~ 0781 (2019. 12) |
Çѱ۳»¿ë (Korean Abstract) |
³µ¶È µµ±¸¿Í ±â¼úÀÌ º¸Æíȵʿ¡ µû¶ó ¸¹Àº ¾Ç¼ºÄڵ尡 ³µ¶È ±â¹ýÀ» Àû¿ëÇÏ°í ÀÖ´Ù. ¹Ý¸é ºÐ¼®¿¡ È°¿ë °¡´ÉÇÑ ³µ¶È ºÐ¼® µµ±¸ÀÇ ºÎÀç¿Í ÀÚµ¿ÈµÈ ºÐ¼® ±â¼úÀÇ ÇÑ°è·Î ³µ¶È ÄÚµå ºÐ¼®¿¡ ¸¹Àº ½Ã°£°ú ³ë·ÂÀÌ ¿ä±¸µÇ°í ÀÖ´Ù. º» ³í¹®¿¡¼´Â ´ëÇ¥ÀûÀÎ ³µ¶È ±â¹ýÀÎ opaque predicateÀ» ÇØÁ¦Çϱâ À§ÇÑ µµ±¸·Î OPE¸¦ Á¦¾ÈÇÑ´Ù. OPE´Â BB-DSE ¹æ¹ýÀ» ÀÀ¿ëÇÑ µ¿Àû ½Éº¼¸¯ ¼öÇà ±â¹Ý ¿ª³µ¶È µµ±¸ÀÌ´Ù. OPE´Â µ¿Àû ½ÇÇà Æ®·¹À̽º·ÎºÎÅÍ Á¶°ÇºÐ±â¹®À» ½Äº°ÇÏ°í »óÀ§ k°³ÀÇ ¸í·É¾î¿¡ ´ëÇÑ ½Éº¼¸¯ ¼öÇàÀ» ÅëÇØ ±× Á¶°ÇÀÌ opaque predicateÀÎÁö ¿©ºÎ¸¦ Áõ¸íÇÑ´Ù. O-LLVM ¹× Code Virtualizer¸¦ ÅëÇØ ³µ¶È µÈ ¹ÙÀ̳ʸ® ½ÇÇàÆÄÀÏ¿¡ OPE¸¦ Àû¿ëÇÏ¿© opaque predicate ŽÁö¿¡ µµ¿òÀÌ µÊÀ» º¸¿´À¸¸ç BB-DSE ±â¹ýÀÇ ÇÑ°è¿Í ¹ßÀü ¹æÇâÀ» ³íÀÇÇÑ´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|