General Probability in Coq

Data-Centric Analysis of Compound Threats to Critical Infrastructure Control Systems

VDBWGDL: Vulnerability Detection Based On Weight Graph And Deep Learning

Data-Centric Analysis of Compound Threats to Critical Infrastructure Control Systems (teaser)

A Chinese multi-modal relation extraction model for internet security of finance

Repairing Security Vulnerabilities Using Pre-trained Programming Language Models

Vulnerability Dataset Construction Methods Applied To Vulnerability Detection: A Survey

An Overview of Sybil Attack Detection Mechanisms in VFC

ERIC: An Efficient and Practical Software Obfuscation Framework

Understanding Trust Assumptions for Attestation in Confidential Computing

SIMulation: Demystifying (Insecure) Cellular Network based One-Tap Authentication Services

Tool: An Efficient and Flexible Simulator for Byzantine Fault-Tolerant Protocols

Minimizing Noise in HyperLogLog-Based Spread Estimation of Multiple Flows

Towards the Integration of Reliability and Security Mechanisms to Enhance the Fault Resilience of...

A Comprehensive, Longitudinal Study of Government DNS Deployment at Global Scale

On the Scalability of HeapCheck

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use

False Data Injection Attack Detection for Secure Distributed Demand Response in Smart Grids

L2Fuzz: Discovering Bluetooth L2CAP Vulnerabilities Using Stateful Fuzz Testing

Treaty: Secure Distributed Transactions

ZugChain: Blockchain-Based Juridical Data Recording in Railway Systems

Strategic Safety-Critical Attacks against an Advanced Driver Assistance System

Arming IDS Researchers with a Robotic Arm Dataset

Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems

General Probability in Coq