55 followers
@DBolkensteyn Hi Dinesh, i thought i sent you this last week but it seems i haven't... i've noticed you're working on tainted analysis, maybe this paper https://t.co/FfunkSzsl9 could be of interest.
@DBolkensteyn Hi Dinesh, i thought i sent you this last week but it seems i haven't... i've noticed you're working on tainted analysis, maybe this paper https://t.co/FfunkSzsl9 could be of interest.
@DBolkensteyn Hi Dinesh, i've just noticed you work on tainted analysis; it happens that my boyfriend, Eugen Zalinescu, also worked on this: https://t.co/ux1Oct9QhG maybe of interest.
Enforcing Programming Guidelines with Region Types and Effects https://t.co/PztFg1iJLZ
Enforcing Programming Guidelines with Region Types and Effects. https://t.co/n0TqmUIVSO