Journal of Computer Security（JCS ）的VOLUME 28 - 2020论文列表

Side channel analysis of SPECK.

Mabin Joseph Gautham Sekar R. Balasubramanian

A systematic review of security threats and countermeasures in SaaS.

Bucketing and information flow analysis for provable timing attack mitigation.

EQRC: A secure QR code-based E-coupon framework supporting online and offline transactions.

A formal and automated approach to exploiting multi-stage attacks of web applications.

DeepReturn: A deep neural network can learn how to detect previously-unseen ROP payloads without using any heuristics.

A new framework for privacy-preserving biometric-based remote user authentication.

Synthesizing DNA molecules with identity-based digital signatures to prevent malicious tampering and enabling source attribution.

Towards adding verifiability to web-based Git repositories.

A multi-party, fine-grained permission and policy enforcement framework for hybrid mobile applications.

Multilayer ransomware detection using grouped registry key operations, file entropy and file signature monitoring.

Maybe tainted data: Theory and a case study.

Christian Skalka Sepehr Amir-Mohammadian Samuel Clark

Do not jail my app: Detecting the Android plugin environments by time lag contradiction.

Efficient backward private searchable encryption.

RIF: Reactive information flow labels.

Elisavet Kozyri Fred B. Schneider

Identifying parasitic malware as outliers by code clustering.

On the expressiveness and semantics of information flow types.

On the semantics of communications when verifying equivalence properties.

Overfitting, robustness, and malicious algorithms: A study of potential causes of privacy risk in machine learning.

Verification of stateful cryptographic protocols with exclusive OR.