1. 1 Introduction SEARCH-LAB Ltd.

2. 2 Introduction of SEARCH-LAB SEARCH Laboratory established at the Budapest University of Technology in 1999 SEARCH-LAB Ltd established in 2002 as a spin-off company to provide professional services in the area of product security www.search-lab.hu MEFORMA Methodology for Manual Security Audit FLINDER Automated Security Testing Embedded Systems Security Evaluation Continuous Attack Technology Watch Secure coding trainings www.securecodingtrainings.com www.securecodingtrainings.com

3. ANIKETOS: Secure and Trustworthy Composite Services www.aniketos.euwww.aniketos.eu SecFutur: Design of Secure and energy- efficient embedded systems for Future Internet applications www.secfutur.euwww.secfutur.eu uTRUSTit: Usable TRUST in the Internet of Things www.utrustit.euwww.utrustit.eu SHIELDS: Detecting known security vulnerabilities from within design and development tools www.shields-project.euwww.shields-project.eu OPENTC: Open Trusted Computing http://www.opentc.net http://www.opentc.net SAFECode: Software Assurance Forum for Excellence in Code 3 Research projects and professional activities

4. 4 Research partners

5. Roles in the project In general: security evaluation laboratory SPD (Security Privacy Dependability) Expectations Novel tools and methods for automated security evaluation of embedded systems / new application areas Major tasks according to the project plan Requirements, specification and metrics (WP2) Denial-of-service (T3.4) Cryptographic technologies (T3.5) Monitoring and reacting (T5.5) Integration, validation and verification (WP6 & WP7) 5