research
∙
09/22/2022
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild
Recent studies have revealed that 87 cryptographic APIs have a misuse w...
share
research
∙
06/07/2022
Dependently-Typed Data Plane Programming
Programming languages like P4 enable specifying the behavior of network ...
research
∙
04/13/2022
CamBench – Cryptographic API Misuse Detection Tool Benchmark Suite
Context: Cryptographic APIs are often misused in real-world applications...
research
∙
08/27/2019
