The objective of this project is to formulate and validate a methodology for creating secure algorithms in cyber-physical systems.