153
Voted
CSFW
2008
IEEE
16 years 7 days 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...