Från Volpano och Smith har det funnits allt fler bevis för att typsystem kan användas för att upprätthålla programsekretess genom icke-inblandning. De flesta typer av system fungerar dock på högnivåspråk och kalkyler, och "lågnivåspråk har inte fått särskilt stor uppmärksamhet i studier av säkert informationsflöde" (Sabelfeld och Myers, [1]). Därför introducerar vi ett system för informationsflöde för ett lågnivåspråk med hopp och samtal, och visar att typsystemet upprätthåller uppsägnings-okänslig icke-interferens. Dessutom bör system för informationsflöde för språk på låg nivå på lämpligt sätt relateras till motsvarande system för språk på hög nivå. Därför introducerar vi en kompilator från ett imperativt programmeringsspråk på hög nivå till vårt lågnivåspråk, och visar att kompilatorn bevarar informationsflödestyper.
Barthe m.fl. REF presenterade ett säkerhetssystem för ett bytekodspråk och en översättning som bevarar säkerhetstyper.
Security types preserving compilation
{'venue': 'Comput. Lang. Syst. Struct.', 'journal': 'Comput. Lang. Syst. Struct.', 'mag_field_of_study': ['Computer Science']}