Marcel Winandy

security security pattern e-health security kernel phishing operating systems smart meter gateway trusted path transaction generators electronic healthcard key management cloud computing trusted virtual domains trusted virtual domain opensolaris tvd secure storage secure boot sealing authenticated boot secure gui trusted wallet rop return-oriented programming protection profile common criteria trusted computing virtual tpm migration flexibility trusted channel property-based attestation wallet virtualization security architecture