emproof

Emproof B.V. is a high-tech startup located in Eindhoven and Bochum. We are passionate about IT security and protect embedded systems against industrial espionage with formally verified code transformations. We achieve strong security properties and meet functional safety requirements, even on tiny and Linux-based embedded systems.