Vincent Jugé is an author at ETH Zurich specializing in data privacy, formal verification, and data security.
Top concepts
SecurityEngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsComputer ScienceReal-time SystemsFormal Verification
Publications per year
2013–2013
1
1
Enforceable Security Policies Revisited
David Basin, Vincent Jugé, Felix Klaedtke et al. · ACM Transactions on Information and System Security · 2013 · 65 citations
Rows per page
1–1 of 1