Bratus, SergeyShubina, Anna2018-04-132018-04-132017https://dl.gi.de/handle/20.500.12116/16406This position paper discusses the need for modeling exploit computations and discusses possible formal approaches to it.enExploitation modeling weird machinesGPU-GIST – a case of generalized database indexing on modern hardwareText/Journal Article10.1515/itit-2016-00381611-2776