A new synergy between verification, security and privacy has become apparent in recent years. The new face of these domains spans exciting technologies, including AI and analytics, privacy legislation, cybersecuirty, cryptography, verification methods, and quantum computing. That’s why we decided to revamp our yearly HVC conference and our Security & Privacy seminar with a fresh 360 perspective, combining the most vital aspects of verification, privacy and security – hence the new name: ViPS. https://www.research.ibm.com/haifa/conferences/ViPS18/index.shtml