IEEE Transactions on Dependable and Secure Computing · 2017 · 24 citations · 34 references
ComputingComputer EngineeringComputer ScienceCompilersComputer SecurityCryptographyCompiler ConstructionControl-flow AnalysisMicroarchitectural SecuritySide-channel AttacksTiming AnalysisCompiler DesignDynamic CompilationEncryptionInformation LeakageInformation Leakage PreventionRsa CryptosystemRun-time AdaptationTiming Attack Mitigation
Existing compiler techniques can transform code to make its timing behavior independent of sensitive values to prevent information leakage through time side channels. Those techniques are hampered, however, by their static nature and dependence on details of the processor targeted during the compilation. This paper presents a dynamic compiler approach based on offline profiles and JIT compiler strategies. This approach reduces overhead significantly and enables a trade-off between provided protection and overhead. Furthermore, it supports adaptive policies in which the protection adapts to run-time changes in the requirements. A prototype implementation in the Jikes Research VM is evaluated on RSA encryption, HMAC key verification, and IDEA encryption.
34
Thomas Ristenpart, Eran Tromer, Hovav Shacham et al. · 2009 · 2K citations
Conversion of control dependence to data dependence
John R. Allen, Ken Kennedy, Carrie Porterfield et al. · 1983 · 605 citations
Bowen Alpern, C. R. Attanasio, John Barton et al. · IBM Systems Journal · 2000 · 578 citations