Theory and Formal Methods Lab.

Patents

  • Method for setting communication channel for wireless USB

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Miyoung Kang, So-ra Min
    • Application Code: 10-2013-0010609
    • Date of Application: 2013-01-30
    • Registration Code: 10-1426926
    • Date of Registration: 2014-07-30
  • Method for improving the performance of touch screen in mobile device, and Apparatus thereof

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Jae-Yong Shin
    • Application Code: 10-2012-0092311
    • Date of Application: 2012-08-23
    • Registration Code: 10-1423957
    • Date of Registration: 2014-07-22
  • Method for security in RFID tag, Apparatus for security of RFID tag and Method for security in RFID environment

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Hyun-Seok Kim
    • Application Code: 10-2007-0044334
    • Date of Application: 2007-05-08
    • Registration Code: 10-0882900
    • Date of Registration: 2009-02-03
  • Security method in RFID environment, Recording medium and System using by the same

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Hyun-Seok Kim, Jung-Hyun Oh
    • Application Code: 10-2007-0099520
    • Date of Application: 2007-10-02
    • Registration Code: 10-0955880
    • Date of Registration: 2010-04-26
  • Method of authenticating tag information transmission in RFID environment, Method of tag information transmision in RFID environment, Apparatus and System using by the same

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Hyun-Seok Kim, Jung-Hyun Oh
    • Application Code: 10-2007-0103752
    • Date of Application: 2007-10-15
    • Registration Code: 10-0980320
    • Date of Registration: 2010-08-31
  • Method and Apparatus of formal specification based on XML and Recording medium using this

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Il-Gon Kim, Hyun-Seok Kim, Ji-Yeon Lee
    • Application Code: 10-2007-0132657
    • Date of Application: 2007-12-17
    • Registration Code: 10-0888678
    • Date of Registration: 2009-03-06
  • Method and Apparatus of formal specification based on AXML and Recording medium using this

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Il-Gon Kim, Hyun-Seok Kim, Ji-Yeon Lee
    • Application Code: 10-2007-0132659
    • Date of Application: 2007-12-17
    • Registration Code: 10-0953714
    • Date of Registration: 2010-04-12
  • System for user authenticating and Method thereof

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Hyun-Seok Kim
    • Application Code: 10-2008-0075222
    • Date of Application: 2008-07-31
    • Registration Code: 10-0980321
    • Date of Registration: 2010-08-31
  • System and method for electronic payment in electronic commerce, and recording medium used thereto

    • Domestic (Republic of Korea)
    • Inventor: Jin-Young Choi, Hyun-Seok Kim, Yeonoh Jeong, Joo-Bae Kim
    • Application Code: 10-2008-0094719
    • Date of Application: 2008-09-26
    • Registration Code: Under Application

    • Date of Registration: Under Application

  • Traffic Information Providing System for Mobile Terminal

    • Registration Number: 10-0468115-0000
    • Date of Registration: 17 Jan 2005
    • Applicant: thin multimedia, inc

    • Inventor: Chuck Yoo, Jin-Young Choi



SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved