SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG

Their core work

SEARCH-LAB is a Budapest-based cybersecurity evaluation and research laboratory that specializes in security testing, vulnerability analysis, and formal verification of software and cyber-physical systems. They assess and certify the security of digital products — from embedded hardware (FPGAs) to open source software supply chains and e-commerce platforms. Their core business value lies in finding security flaws before attackers do, using methods ranging from formal mathematical proofs to machine learning-based vulnerability detection.

What they specialise in

How they've shifted over time

In their early H2020 period (2015–2018), SEARCH-LAB focused on hardware-level security — simulating cyber-physical systems, modeling power consumption on FPGAs, and working on embedded system acceleration. From 2019 onward, they shifted decisively toward software supply chain security, applying formal methods, machine learning, and continuous certification to open source ecosystems and e-commerce platforms. This evolution mirrors the broader industry shift from securing individual devices to securing entire software delivery pipelines.

SEARCH-LAB is moving toward automated, ML-assisted security certification for open source software — a rapidly growing need as EU regulations (like the Cyber Resilience Act) demand verifiable software supply chain security.

How they like to work

SEARCH-LAB participates exclusively as a consortium partner, never as coordinator, which is typical for a specialized SME contributing deep technical expertise rather than managing large projects. With 56 unique partners across 18 countries in just 5 projects, they work in large, diverse consortia (averaging 11+ partners per project). This suggests they are a trusted security specialist that gets invited into consortia when teams need dedicated evaluation and testing capability.

Broad European network spanning 56 partners across 18 countries — unusually wide reach for an SME with only 5 projects, indicating they are embedded in large security-focused consortia with strong cross-border connections.

What sets them apart

SEARCH-LAB combines security evaluation lab credentials with active research capability — they don't just test products, they develop the methods and tools used for testing. Their name literally translates to "Security Evaluation, Analysis and Research Laboratory," and their project portfolio confirms this dual identity. For consortium builders, they offer a rare combination: an SME agile enough to adapt quickly, yet with the formal methods and certification expertise usually found only in larger research institutes.

Highlights from their portfolio

• AssureMOSS
  Their largest funded project (EUR 446,250) and most strategically significant — combines ML, open source security, and continuous certification, all high-demand topics under new EU cyber regulations.
• ENSURESEC
  Applied formal methods and distributed ledger security to the EU Digital Single Market's e-commerce ecosystem — directly relevant to businesses in online retail and logistics.
• COSSIM
  Their earliest H2020 project, demonstrating foundational capability in FPGA-accelerated security simulation of cyber-physical systems — a less common niche.