PLASSE

Projects


In Progress


page bib:project:active does not exist

Completed


2015 (1)
  • 3rd [Research Fellow] Research on Automatic Validation and Weakness Detection of Web Application. Supported by Ministry of Education. Nov 1, 2015 - Oct 30, 2016.
2014 (2)
  • 2nd [Research Fellow] Research on Automatic Validation and Weakness Detection of Web Application. Supported by Ministry of Education. Nov 1, 2014 - Oct 30, 2015.
  • Automatic detection of security vulnerabilties in mobile-app source code. Supported by National IT Industry Promotion Agency. Jun 1, 2014 - May 31, 2015.
2013 (2)
  • 1st [Research Fellow] Research on Automatic Validation and Weakness Detection of Web Application. Supported by Ministry of Education. Nov 1, 2013 - Oct 30, 2014.
  • 3rd [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Mar 1, 2013 - Feb 28, 2014.
2012 (2)
  • Research on Vulnerability Detection Rules for SW and Mobile Application. Korea Internet Security Agency. Nov 22, 2012 - Dec 31, 2012.
  • 2nd [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Mar 1, 2012 - Feb 29, 2013.
2011 (2)
  • 1st [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Mar 1, 2011 - Feb 29, 2012.
  • Research on enhanced data flow analysis for COIL. GTOne, Inc.. Jul 1, 2011 - Feb 29, 2012.
2010 (3)
  • 3rd [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Mar 1, 2010 - Feb 28, 2011.
  • Development of Vulnerability Detector of Web Application Software. The Small and Medium Business Administration. Jun 1, 2010 - May 31, 2012.
  • 2nd Development of Software Vulnerability Detector and Advanced Security Support System. Korea Internet Security Agency. Jul 1, 2010 - Dec 31, 2010.
2009 (2)
  • 2nd [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Mar 1, 2009 - Feb 28, 2010.
  • 1st Development of Software Vulnerability Detector and Advanced Security Support System. Korea Internet Security Agency. Sep 1, 2009 - Dec 31, 2009.
2008 (3)
  • [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Sep 1, 2008 - Feb 29, 2015.
  • 1st [ROSAEC: Research On Software Analysis for Error-free Computing] Automatic extraction of properties from software. Engineering Research Center supported by Ministry of Education, Science & Technology. Sep 1, 2008 - Feb 28, 2009.
  • Design and Implementation of String Analyzer. GTOne, Inc.. Jan 1, 2008 - Nov 31, 2008.
2006 (3)
  • Development of Context-aware Dependable Information Systems. Brain Korea 21(Second Stage) supported by Ministry of Education, Science & Technology. Mar 1, 2006 - Feb 28, 2009.
  • A Study on Programming Environment for Ubiquitous Computing. Supported by Korea Science and Engineering Foundation. Mar 1, 2006 - Feb 28, 2009.
  • Application of Program Analysis Techniques to Enterprise Software. ITPlus, Inc.. Sep 1, 2006 - Aug 31, 2007.
2005 (1)
  • String Analysis for Object Oriented Programs #3. ITPlus, Inc.. Jul 1, 2005 - Sep 30, 2006.
2004 (2)
  • Research on Static Analysis for Web Application Vulnerability. NSRI. Apr 1, 2004 - Nov 30, 2004.
  • 2nd String Analysis for Object Oriented Programs #2. ITPlus, Inc.. Apr 1, 2004 - Sep 30, 2004.
2003 (3)
  • (Intelligent Monitoring Research Team) Intelligent Monitoring Systems. Hanyang University Research Funds. Nov 1, 2003 - Oct 30, 2005.
  • 1st String Analysis for Object Oriented Programs #1. ITPlus, Inc.. Oct 1, 2003 - Mar 31, 2004.
  • Survey and Standardization Roadmap for Electronic Payment Systems Technology. Korea Electronic Payment Forum. Jan 1, 2003 - Mar 31, 2003.
2002 (2)
  • Combicard Application Systems - Electronic Payment Systems. InTech Inc. + Ministry of Commerce, Industry and Energy. Dec 1, 2002 - Nov 30, 2003.
  • Recent Trends on Standardization of Electronic Payment Systems. Korea Electronic Payment Forum. Jan 1, 2002 - Jun 30, 2002.
2001 (2)
  • Design of Domain-Specific Language based on Action Semantics. Hanyang University Research Funds. Jul 1, 2001 - Jun 30, 2002.
  • Survey on Java Card Technology. ITPlus, Inc.. Jun 1, 2001 - Oct 31, 2001.
2000 (1)
  • Formal Proof Methods for Program Safety. Korea Science and Engineering Foundation. Sep 1, 2000 - Aug 31, 2003.
1999 (2)
  • Requirements Analysis and Design of Open Platform Electronic Payment Systems. Hyosung Inc. & Ministry of Commerce, Industry and Energy. Dec 1, 1999 - Sep 30, 2002.
  • A File System for Copyright Protection. ITPlus, Inc.. Mar 1, 1999 - Dec 31, 2000.
1998 (1)
  • Action Semantics of Object-Oriented Programming Languages. Hanyang University Research Funds. May 1, 1998 - Apr 30, 1999.
1997 (1)
  • Design and Implementation of Action Semantics Processing Systems. Korea Science and Engineering Foundation. Mar 1, 1997 - Feb 28, 1999.
1995 (2)
  • Design of Programming Languages based on Action Semantics. Hanyang University Research Laboratory of Engineering Technology. Oct 1, 1995 - Sep 30, 1996.
  • Programming Language Designer's Workbench. Hanyang University Research Funds. Sep 1, 1995 - Aug 31, 1996.