Security Research at Bogazici University

Mehmet Ufuk Caglayan - Computer Networks Research Lab Department of Computer Engineering Bogazici University, Istanbul, Turkey
Digital Security

Date: August 27th 2010
Location: Eurecom - Eurecom

An overview of security research by PhD students at Netlab. Formal security analysis of mobile ad hoc network routing protocols using model checking. Model checking of location and mobility related security policy specifications in ambient calculus. A framework for model driven security in software design. Assessing system trust based on security policy specifications and related security mechanisms. Secure RFID protocols. Side channel security analysis of energy efficient computing platforms. Zero-knowledge proof protocols.


Permalink: https://www.eurecom/seminar/19437