active objects, dynamic analysis, first-class futures, information flow, Information Security, static analysis, Wrappers.
