Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bockenek, Joshua Alexander"'
Autor:
Bockenek, Joshua Alexander
Formal characterization of the memory used by a program is an important basis for security analyses, compositional verification, and identification of noninterference. However, soundly proving memory usage requires operating on the assembly level due
Externí odkaz:
http://hdl.handle.net/10919/114054
