distributed computing
mobile agents and robots
formal models for security
usable security
accesibility
behavioral biometrics
Research Interests Research Interests 
distributed computing formal
models for security Publications 
List of Publications