research
∙
06/04/2023
Crypto-ransomware Detection through Quantitative API-based Behavioral Profiling
With crypto-ransomware's unprecedented scope of impact and evolving leve...
share
research
∙
03/17/2022
Example-Based Vulnerability Detection and Repair in Java Code
The Java libraries JCA and JSSE offer cryptographic APIs to facilitate s...
research
∙
12/07/2021
Evaluation of Static Vulnerability Detection Tools with Java Cryptographic API Benchmarks
Several studies showed that misuses of cryptographic APIs are common in ...
research
∙
11/17/2021
Privacy Guarantees of BLE Contact Tracing: A Case Study on COVIDWISE
Google and Apple jointly introduced a digital contact tracing technology...
research
∙
02/13/2021
Data-Driven Vulnerability Detection and Repair in Java Code
Java platform provides various APIs to facilitate secure coding. However...
research
∙
07/28/2020
Coding Practices and Recommendations of Spring Security for Enterprise Applications
Spring security is tremendously popular among practitioners for its ease...
research
∙
07/12/2020
Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases
Enterprise environments need to screen large-scale (millions of lines of...
research
∙
11/11/2019
Neural Cryptanalysis: Metrics, Methodology, and Applications in CPS Ciphers
Many real-world cyber-physical systems (CPS) use proprietary cipher algo...
research
∙
10/07/2019
Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization
Just-in-time return-oriented programming (JIT-ROP) technique allows one ...
research
∙
04/30/2018