Secure Compilation to Protected Module Architectures

Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Dave Clarke, Frank Piessens. Secure Compilation to Protected Module Architectures. ACM Transactions on Programming Languages and Systems, 37(2):6, 2015. [doi]

Authors

Marco Patrignani

This author has not been identified. Look up 'Marco Patrignani' in Google

Pieter Agten

This author has not been identified. Look up 'Pieter Agten' in Google

Raoul Strackx

This author has not been identified. It may be one of the following persons: Look up 'Raoul Strackx' in Google

Bart Jacobs 0002

This author has not been identified. Look up 'Bart Jacobs 0002' in Google

Dave Clarke

This author has not been identified. It may be one of the following persons: Look up 'Dave Clarke' in Google

Frank Piessens

This author has not been identified. Look up 'Frank Piessens' in Google