Hat mitgewirkt an:
-
Cryptographically sound analysis of security protocols
-
Formal verification of cryptographic security proofs
-
Health privacy : methods for privacy-preserving data sharing of methylation, microbiome and eye tracking data
-
Mitigating security and privacy threats from untrusted application components on Android