Organization Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaUniversität zu LübeckSession Chair(s)Thomas EisenbarthPresentationsResearch ManuscriptA Formal Approach to Confidentiality Verification in SoCs at the Register Transfer LevelSecurityEmbedded and Cross-Layer SecurityPresented In-Person
