Talks

Verification of Infrastructure Clouds (ACM CCSW'11)

Speaking at ACM CCS Cloud Security Workshop (CCSW) 2011, on the automated verification of virtualized infrastructures. See Cloud Security Assurance.

SlideShare Talk

(Needs JavaScript and Adobe Flash Player)