Re: trade-offs of secure programming with Palladium (Re: Palladium: technical limits and implications)