According to our database1, Gerry Howser
Legend:Book In proceedings Article PhD thesis Other
Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems.
IEEE Computer, 2017
A secure data sharing and query processing framework via federation of cloud computing.
Inf. Syst., 2015
Using Information Flow Methods to Secure Cyber-Physical Systems.
Proceedings of the Critical Infrastructure Protection IX, 2015
A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
A Multiple Security Domain Model of a Drive-by-Wire System.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Vehicle Path Verification Using Wireless Sensor Networks.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
Modeling and reasoning about the security of drive-by-wire automobile systems.
An efficient and secure data sharing framework using homomorphic encryption in the cloud.
Proceedings of the 1st International Workshop on Cloud Intelligence (colocated with VLDB 2012), 2012