Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen