1. VeriTrust Verified Trusted Computing
Erno Jeges, SEARCH-LAB Ltd.

2. SEARCH-LAB Ltd. IT security Physical security 1999 university lab
FLINDER – An automated security testing tool capable of discovering typical security-relevant bugs
SHIELDS – Detecting known security vulnerabilities from within design and development tools (FP7 STREP)
OpenTC – Development of trusted and secure computing systems based on open source software (FP6 IP)
DESEREC – Increasing dependability and security of critical
infrastructures (FP6 IP)
IDENTRACE – Site wide identity tracking system based on object tracking and identification methods
1999 university lab
2002 spin-off company
2003 → FP5, FP6, FP7…
IT security
security evaluation
security testing
common vulnerabilities
embedded/mobile
Physical security
intelligent video surveillance
site wide object tracking
non-cooperative identification
remote/soft biometrics

3. Project idea for ARTEMIS call 2010: VeriTrust
Trusted Computing solutions
achieve trust by protecting HW and SW integrity
trusted platforms
preserve integrity during operation
However, vulnerabilities may still exist in the implementation
Poorly evaluated solutions are a serious setback
VeriTrust
will develop tools and methods for objective and effective evaluation of implementations in compliance with TCG standards
will focus on security and interoperability
will make complexity manageable
will provide affordable evaluation via automated tools

4. Thank you for your attention
Ernő Jeges