eldorado.tu-dortmund.de/server/api/core/bitstreams/b71329fd-4aae-4783-ac84-a191c921f86c/content
Model-Carrying Code: A New Paradigm for Mobile Code Security
*pp2
p2 = *(pp2^m3)^m2;
p2 = pp2^m4;
mask: m4
Secure Systems Laboratory, http://seclab.cs.sunysb.edu 9
Optimization
Basic idea: mask only overflow candidate objects (OCOs),
e.g., arrays, structures containing …