HOME PROGRAMS UNIVERSITY PARTNERS STEERING COMMITTEE PROGRAM TEACHERS & LECTURERS PROCEEDINGS REGISTRATION
Smart Event Home > Smart University Home > Software Security Certification > Teachers
TEACHERS - SOFTWARE SECURITY CERTIFICATION

 Pr Ernesto Damiani
Head of the Ph.D. School in Computer Science - University of Milan (Italy)

Ernesto Damiani is a full professor at the Information Technology Dept., University of Milan, where he leads the SESAR research lab, and the Head of the University of Milan’s Ph.D. program in Computer Science. He holds a held visiting positions at several international research institutions. Prof. Damiani serves in the editorial board of several journals in the secure software development area; among others, he is Area Editor of the Journal of System Architecture and Associate Editor of the IEEE Transactions on Service-oriented Computing. He is the Vice-Chair of the IEEE Technical Committee on Industrial Informatics, the Chair of IFIP WG 2.6 on Database Semantics and the Secretary of the IFIP WG 2.13 on Open Source Development.


Claudio Ardagna
 Assistant Professor at Department of Information Technology - Università degli Studi di Milano

Claudio A. Ardagna is an assistant professor at the Department of Information Technology, Universita' degli Studi di Milano, Italy.
He received the laurea and PhD degrees, both in computer science, from the Universita' degli Studi di Milano in 2003 and 2008, respectively. His research interests are in the area of information security, privacy, access control, mobile networks, and open source development and security certification. He is a co-author of the book "Open Source Systems Security Certification" (Springer 2008).

Luis Barbosa
 Associate Professor at Departamento de Informática - Universidade do Minho






Jan de Meer
 Head of Embedded Systems Engineering - Smart Space Lab





Dieter Hutter
 Principal Researcher - German Research Center for Artificial Intelligence
Dr. Dieter Hutter is a principle researcher at the German Research Center of Artificial Intelligence. He started his career in the area of deduction systems developing strategies for inductive theorem provers. After receiving his Ph.D in 1991 his interest focused on formal methods working, first on the deductive support for formal methods and later on evolutionary formal program development and change management. Since
2000 he is also engaged in developing information flow control techniques for multi-agent systems and web services.
He headed numerous research projects in these areas and is, for instance, currently engaged in projects on formal and evolutionary development of safe robots and on the security of service oriented architectures in the area of public security.

Dieter Hutter is member of the editorial boards of the Journal of Data Protection & Security and the Journal of Applied Logic. He gives lectures on security at the University of Bremen and the Saarland University and has organized various conferences and workshops on security (e.g. Security in Pervasive Computing). He has been member of the STEERING COMMITTEEs in numerous conferences and published more than 100 peer-reviewed papers.

Volkmar Lotz
Research Program Manager for Security and Trust - SAP Research
Volkmar Lotz is the Research Program Manager for Security and Trust at SAP Research. His responsibilities include the definition and implementation of SAP's security research agenda, its strategic alignment to SAP's business needs, and the maintenance of a global research partner network. Before joining SAP, he was heading the “Formal Methods in Security Analysis” group at Siemens Corporate Technology, emphasizing on security requirements engineering, evaluation and certification, cryptographic protocol verification, and mobile code security. He has been the main contributor to the LKW model, a formal security model for smartcard processors. His experience includes business process security, service security, context-aware mobile systems, legally binding agent transactions, and authorization and delegation in mobile code systems.

Werner Stephan
 Researcher - German Research Center for Artificial Intelligence





INSTITUTIONAL FOUNDING PARTNER
STRATEGIC PARTNER
INSTITUTIONAL PARTNERS