4 citations · 8 across the 5 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.SE2017
Self-adaptive static analysis
Eric Bodden
Static code analysis is a powerful approach to detect quality deficiencies such as performance bottlenecks, safety violations or security vulnerabilities already during a software…
cs.SE2017★ 4 cited
CrySL: Validating Correct Usage of Cryptographic APIs
Stefan Krüger, Johannes Späth, Karim Ali +2
Various studies have empirically shown that the majority of Java and Android apps misuse cryptographic libraries, causing devastating breaches of data security. Therefore, it is cr…
cs.CR2017
Computation on Encrypted Data using Data Flow Authentication
Andreas Fischer, Benny Fuhry, Florian Kerschbaum +1
Encrypting data before sending it to the cloud protects it against hackers and malicious insiders, but requires the cloud to compute on encrypted data. Trusted (hardware) modules,…