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.