Presenter Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaJohannes MüllerTechnische Universität KaiserslauternPresentationsResearch ManuscriptA Formal Approach to Confidentiality Verification in SoCs at the Register Transfer LevelSecurityEmbedded and Cross-Layer SecurityPresented In-Person