Zaslat SMS: Abstracting syntactic privacy notions via privacy games