77
Voted
CSFW
2008
IEEE
15 years 3 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...