Skip to main content

Emerging Security & Quality Technologies

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.

Manager

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

: Manager Emerging Security & Quality Technologies, IBM Research - Haifa

Activities