Floragasse 7 – 5th floor, 1040 Vienna

News

Dimitris Simos @ HVC17 in Haifa

November 13, 2017

Today at the 13th Haifa Verification Conference [HVC] Dimitris Simos is invited to give a tutorial on Combinatorial Security Testing. HVC is organized by IBM Research Haifa.

Privacy settings

We use cookies on our website. Some of them are essential, while others help us to improve this website and your experience.

Privacy policy
Imprint

Name	SBA Research Cookie
Provider	SBA Research
Purpose	Saves the settings of the visitors selected in the cookie box.
Cookie name	sba-research-cookie
Cookie runtime	1 year

Accept YouTube

Name	YouTube
Provider	YouTube
Purpose	Used to unblock YouTube content.
Privacy policy	https://policies.google.com/privacy
Host(s)	google.com
Cookie name	NID
Cookie runtime	6 months

Accept Vimeo

Name	Vimeo
Provider	Vimeo
Purpose	Used to unblock Vimeo content.
Privacy policy	https://vimeo.com/privacy
Host(s)	player.vimeo.com
Cookie name	vuid
Cookie runtime	2 years

News

Dimitris Simos @ HVC17 in Haifa

SBA Newsletter

Upcoming events @ SBA

SBA Research at a glance

Highlights of the past years: