1 Introduction SEARCH-LAB Ltd.

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 MEFORMA Methodology for Manual Security Audit FLINDER Automated Security Testing Embedded Systems Security Evaluation Continuous Attack Technology Watch Secure coding trainings

ANIKETOS: Secure and Trustworthy Composite Services SecFutur: Design of Secure and energy- efficient embedded systems for Future Internet applications uTRUSTit: Usable TRUST in the Internet of Things SHIELDS: Detecting known security vulnerabilities from within design and development tools OPENTC: Open Trusted Computing SAFECode: Software Assurance Forum for Excellence in Code 3 Research projects and professional activities

4 Research partners

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