Talks from new researchers
Ben Smyth (Chair) :: Tuesday 3rd March 2009
Venue: Room 245 @ 1200
Abstract. Short talks from new members of the Formal Verification & Security Group.
Masoud Koleini is looking at access control systems.
Olufunmilola Onolaja is interested in reputation systems for secure mobile communication.
Fubiao Xia is focusing his efforts on pairing-based cryptography.
Rehana Yasmin is looking into security and privacy issues in wireless sensor networks.