4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2022
Fluently specifying taint-flow queries with fluentTQL
Goran Piskachev, Johannes Späth, Ingo Budde +1
Previous work has shown that taint analyses are only useful if correctly customized to the context in which they are used. Existing domain-specific languages (DSLs) allow such cust…
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…