BRUGGEMAN CARL

Securing secret information in source code verification and at runtime