The group is engaged in developing beyond state of the art verification and information security technologies. These include Formal Verification of Software & Systems, Security Intelligence and Security for Mobile.

Our team is exploring the use of novel AI, deep learning, verification, and statistical algorithms to solve the new emerging security and quality challenges introduced in highly virtualized environments such as the cloud, the DevOps paradigm, analytics and mobile. We focus on malware analysis for X86 and mobile, IoT security, cloud security, financial fraud detection and code vulnerability detection. We use state-of-the-art technologies and concepts give IBM a leadership position when it comes to verification and security for clients.



Manager

Sharon Keidar-Barner, Manager Emerging Security & Quality Technologies, IBM Research - Haifa

Activities

IBM DEFFEND

IBM DEFFEND

Dispersed Financial Fraud Enhanced Detection - Protect clients from fraud with the help of their mobile phones.

IoT Security

IoT Security

Introducing a radically new way of providing end-point security, providing security by compilers and device management platforms, rather than dedicated security tools.

Malware Analysis

Malware Analysis

EAOS - a novel hybrid approach of static and dynamic analysis which automates discovery of new anti-research and malicious behavior.

ExpliSAT

ExpliSAT

ExpliSAT is a tool for the formal verification of C/C++ software.