Research Topics



VICE

Generic Virus Detection & Pattern Generation through Software Emulation

In this thesis we present an approach to detect viruses and generate virus patterns. Our methodology is a combination of software emulation and knowledge base. It detects viruses based on their behaviour instead of relying on pattern matching. Thus, it is more effective than scan (static or heuristic) against unknown viruses, especially the mutated and polymorphic ones. The emulator emulates the execution in a simulated environment, and the knowledge base provides a way of adding new behaviour patterns. Therefore it is also more flexible than dynamic traps and produces fewer false alarms. In addition to detecting viruses, emulation provides the additional benefit of identifying new virus patterns and cleaning.

Internet Information Retrieval Agent

Getting what You Really Want on Internet

The WWW is the most popular system on the Internet, with the user-friendly interface provided by browsers such as Navigator and IE, more and more people are doing their information distribution and acquisition via WWW. However, the rapid growth of the number of homepages on the WWW has made most people lost in the sea of information. Although some search engines provide search services to help users, people using the search services are often disappointed by the large and bad-organized list returned by these search engines.
We propose several ways trying to solve this problem, such as personal proxy system, HTML retrieval methodology, Group behavior analysis system, and so on.

ManHunt

A Web-enabled Information Retrieval System for UNIX On-line Manuals

UNIX is one of the most popular operationg systems in the world. Its on-line manual system, however, has not changed much since the 70's. In this we describe a UNIX on-line manual help system called ManHunt.
ManHunt is a Web-enabled system which presents UNIX man pages in hypertext and can be accessed through regular Web browsers. The hyper-links in the hypertext man pages, which are generated automatically by ManHunt, allow the user easy access to related man pages.
The most inconvenient aspect of the conventional UNIX manual help is that one has to know the name of the command in order to access the associated man page. ManHunt allow users to describe the intended operation using natural language, and produces a list of commands related to the description. This makes ManHunt a valuable tool to novice users who are not familiar with UNIX commands.

Theorem Proving

Theorem Proving with Computer Automation


Miscellaneous

We Are Interested on Things Interesting

We have serveral other projects running a the same time. For example, we are developing a Digital Library System that contains the digitalized version of NTU Library and Taiwan Anthropology Artifacts.
We also provide the "One Minute Internet Information" for Voice of Taipei, which help all the radio listeners get onto the Internet.
If you have any ideas that is interesting or different with traditional ones, please contact with us and welcome to join us.