5 citations · 15 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022★ 5 cited
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger +2
Context: Cryptographic APIs are often misused in real-world applications. Therefore, many cryptographic API misuse detection tools have been introduced. However, there exists no es…
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…