selected publications conference paper Security-by-Contract-with-Trust for Mobile Devices. 75-91. 2010