My primary (research) areas of interest are computer security and mathematical models for trust and reputation management. Besides this, I'm interested in cryptography and cryptographic protocols, programming languages (especially formal semantics), model checking, logic and verification techniques.
If you are interested in this you can have a look at the publications page.