SAP France Serenity System engineering for security and dependability SecFutur Design of Secure and energy-efficient embedded systems for Future internet applications « University of Trento