My Research Interests

I am a member of the Maryland Information Systems Security Lab (MISSL) . I'm currently looking at the following problems:

Current Research: Trust

Trust is critical to systems security, yet there are different opinions on what is trust. This research studies the issue of trust, and how it can be applied to systems security.

Reading List

Analysis of 802.11 and 802.1x

The aim is to study verify the correctness of the protocol (the access control aspects). We build the formal models based on state transition systems. Our analysis is based on assertional reasoning. This work is advised by Prof Shankar . More information will be provided in the future.

Secure routing in ad-hoc networks

How can a source node finds a "secure" route to send messages to the destination node? While routing itself is not difficult, the challenge is to do it in a "secure" manner. There are many issues to look at: how do we define "security" in the context of routing, how to establish identity, what are the possible attack models and what is the cost of adding security. To put it simply, the goal is to find a route that avoids the malicious nodes, without incurring heavy performance costs. More updates in the future.

Trust model for ad-hoc networks

We look at what is the concept of trust and how to establish trust in an ad-hoc network, in the absence of a trusted authority. (See current research)

Resources

Some useful references on cryptography

References for wireless networks

Networking Conferences

Security Conferences

Toolbox


Back to main