Skip to main content

PAVeTrust – Program Analysis and Verification on Trusted Platforms