Latest news

No news at this moment


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker




Further Information :

About Search-lab

SEARCH Laboratory was established in 1999 at the Budapest University of Technology and  Economics with a focus on security research.

In 2002 the leaders of the laboratory founded SEARCH-LAB Ltd as a spin-off company to provide the legal and infrastructural background for  dependable professional services. The cooperation of the university laboratory and the professional dedicated company provides an incomparable combination that can successfully face  challenges in the wide area from research through development to high-level services.  

The company has international market recognition in product security, covering a wide range of  security sensitive applications and with a distinctive expertise in smartphone security and DTV conditional access systems. As a unique service S-LAB also continuously monitors underground sources to learn the trends by analysing the compromised devices and the ways the attackers bypass the applied protections. As the most effective way to secure future products, S-LAB furthermore offers secure coding courses for large corporate software development groups: the  training portfolio covers security issues of C/C++ and Java programming languages, Web Services security and some special topics like web application testing, or the security of mobile operating systems.

Role in the Project

S-LAB will contribute to the project mainly related to its decade long expertise in software security.
In its commercial assignments it not only tests software-based systems from security point of view, but it also runs a number of secure coding courses teaching correct coding techniques. Consequently, S-LAB will lead WP1 aim of which is to transfer various security requirements to properties that can be checked directly in code. In addition to this – through its Flinder automated security and robustness testing framework – S-LAB will provide means of code validation, covering situations when static verification is incapable of formally handling complex security properties.

Key Personnel

Erno Jeges has been working in the area of security for nearly 15 years. His research areas are now mainly focused on intelligent video surveillance systems and biometric security solutions, but earlier he was involved in a number of research activities dealing with IT security and the technology aspects of digital rights.

István Nyilas has more than 18 years of work experience in various fields of the IT industry. He participated in several e-commerce, IT security and product process development projects as a technology expert, and also has long experience of managing IT projects for companies of various sizes ranging from SME to large international companies.