Hat mitgewirkt an:
-
Cryptographically sound analysis of security protocols
-
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
-
Zero-knowledge in the applied Pi calculus and automated verification of the direct anonymous attestation protocol