1

IntroductionSEARCH-LAB Ltd.

2

Introduction of SEARCH-LAB

SEARCH Laboratory established at theBudapest 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 AuditFLINDER Automated Security TestingEmbedded Systems Security EvaluationContinuous Attack Technology Watch

Secure coding trainingswww.securecodingtrainings.com

UNIVERSITY

EducationAcademic Research

EU and Government Funded Projects

SEARCH-LAB Ltd

Security ConsultancySecurity Auditing

Research & DevelopmentActivity

ANIKETOS: Secure and Trustworthy Composite Services www.aniketos.euSecFutur: Design of Secure and energy-efficient embedded systems for Future Internet applications www.secfutur.euuTRUSTit: Usable TRUST in the Internet of Things www.utrustit.euSHIELDS: Detecting known securityvulnerabilities from within design and development tools www.shields-project.euOPENTC: Open Trusted Computing http://www.opentc.net

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 laboratorySPD (Security Privacy Dependability)

ExpectationsNovel tools and methods for automated security evaluation of embedded systems / new application areas

Major tasks according to the project planRequirements, 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