Security Quantification in Mixed Mode Systems.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)