26 search results - page 6 / 6 » A dynamic boundary guarding problem with translating targets |
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...