1. Johannes Kepler University Linz, Altenberger Straße 69,LIT Secure and Correct Systems Lab and Dept. of Business Informatics,Linz,AUSTRIA
2. University of Arizona E Speedway Blvd,Dept. of Electrical and Computer Engineering and Dept. of Surgery,Tucson,AZ,USA