Ofer rivlin BGU - department seminar Security architecture design patterns iltam 2018 - ofer rivlin Android's security architecture Connected cars - the security challenge: Vehicles, Networks & Protocols How to hack cryptographic protocols with Formal Methods 
