68
Voted
IWPC
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...