yusuke1997/dblp-id-title huggingface dataset:
Systematic Fuzzing and Testing of TLS Libraries
Towards Formal Security Analysis of Industrial Control Systems
Towards Secure and Fast Mapping of Genomic Sequences on Public Clouds
Benchmarking Secure Sampling Protocols for Differential Privacy
Proceedings of the 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices, SPSM 2015, Denver, Colorado, USA, October 12, 2015
Policy auditing over incomplete logs: theory, implementation and applications
Moving Target Defense for Hardening the Security of the Power System State Estimation
POSTER: Deterring DDoS Attacks on Blockchain-based Cryptocurrencies through Mempool Optimization
Leakage Inversion: Towards Quantifying Privacy in Searchable Encryption
Program Environment Fuzzing
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
A Secure Hash Commitment Approach for Moving Target Defense of Security-critical Services
zkay: Specifying and Enforcing Data Privacy in Smart Contracts
Practical delegation of computation using multiple servers
General State Channel Networks
A Data Life Cycle Modeling Proposal by Means of Formal Methods
RoleMiner: mining roles using subset enumeration
Benchmarking Label Dynamics of VirusTotal Engines
Poster: Data Minimization by Construction for Trigger-Action Applications
Certified Robustness of Static Deep Learning-based Malware Detectors against Patch and Append Attacks
Stormy: Statistics in Tor by Measuring Securely
A Practical Attack Against the Use of RC4 in the HIVE Hidden Volume Encryption System
Testing network-based intrusion detection signatures using mutant exploits
Concentrated Geo-Privacy
Exploiting split browsers for efficiently protecting user data
Poster: A Multi-step Approach for Classification of Malware Samples
Obfuscated databases and group privacy
MOLE: Breaking GPU TEE with GPU-Embedded MCU
CREDAL: Towards Locating a Memory Corruption Vulnerability with Your Core Dump
Verification of data redundancy in cloud storage
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX
A closer look at keyboard acoustic emanations: random passwords, typing styles and decoding techniques
Efficient secure computation optimization
Linear-Regression on Packed Encrypted Data in the Two-Server Model
AdDroid: privilege separation for applications and advertisers in Android
Poster: protecting information in systems of systems
Cybersecurity Event Detection with New and Re-emerging Words
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets
Private Circuits III: Hardware Trojan-Resilience via Testing Amplification
Privacy oracle: a system for finding application leaks with black box differential testing
Proving Conditional Termination for Smart Contracts
REX: A Searchable Symmetric Encryption Scheme Supporting Range Queries
Bypassing Tor Exit Blocking with Exit Bridge Onion Services
Detecting covert timing channels: an entropy-based approach
Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features
Grotto: Screaming fast (2+1)-PC or ℤ2n via (2, 2)-DPFs
Beowulf: Mitigating Model Extraction Attacks Via Reshaping Decision Regions
Fast Non-Malleable Commitments
Alert Alchemy: SOC Workflows and Decisions in the Management of NIDS Rules
MTD 2017: Fourth ACM Workshop on Moving Target Defense (MTD)
FPT: A Fixed-Point Accelerator for Torus Fully Homomorphic Encryption
Trusted computing building blocks for embedded linux-based ARM trustzone platforms
AntMan: Interactive Zero-Knowledge Proofs with Sublinear Communication
Can I Opt Out Yet?: GDPR and the Global Illusion of Cookie Control
DeTrust: Defeating Hardware Trust Verification with Stealthy Implicitly-Triggered Hardware Trojans
Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks
Design Procedure of Knowledge Base for Practical Attack Graph Generation
Machine learning meets social networking security: detecting and analyzing malicious social networks for fun and profit
Detecting Insider Threat from Enterprise Social and Online Activity Data
PLAS 2017: ACM SIGSAC Workshop on Programming Languages and Analysis for Security
Proceedings of the 1st ACM Workshop on Security and Artificial Intelligence, AISec 2008, Alexandria, VA, USA, October 27, 2008
Real-Time Scheduling of TrustZone-enabled DNN Workloads
Secure Integration of Web Content and Applications on Commodity Mobile Operating Systems
Attestation Transparency: Building secure Internet services for legacy clients
Geometric Noise for Locally Private Counting Queries
A group signature scheme with unbounded message-dependent opening
MTD '23: 10th ACM Workshop on Moving Target Defense
WI is Almost Enough: Contingent Payment All Over Again
An Empirical Study of TCP Vulnerabilities in Critical Power System Devices
LazyTainter: Memory-Efficient Taint Tracking in Managed Runtimes
Faster Leakage Detection and Exploitation
RealSWATT: Remote Software-based Attestation for Embedded Devices under Realtime Constraints
Flexible authentication of XML documents
Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures
Foundations for Cryptographic Reductions in CCSA Logics
An efficient forward private RFID protocol
Optimization to the Rescue: Evading Binary Code Stylometry with Adversarial Use of Code Optimizations
FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache
Beyond Big Data: What Can We Learn from AI Models?: Invited Keynote
SecureBus: towards application-transparent trusted computing with mandatory access control
Foundations of Coin Mixing Services
A Near Real-Time Algorithm for Autonomous Identification and Characterization of Honeypot Attacks
Smart Contract-based Miner Registration and Block Validation
Whipping the Multivariate-based MAYO Signature Scheme using Hardware Platforms
ABSTRACT: Cloud-based Image Classification Service is Not Robust to Affine Transformation: A Forgotten Battlefield
What You See is Not What You Get: Leakage-Resilient Password Entry Schemes for Smart Glasses
An effective defense against email spam laundering
Skin sheriff: a machine learning solution for detecting explicit images
The blocker tag: selective blocking of RFID tags for consumer privacy
SCORED '25: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses
Post-Quantum Threshold Ring Signature Applications from VOLE-in-the-Head
Slot: Provenance-Driven APT Detection through Graph Reinforcement Learning
POSTER: On the Capability of DNS Cache Poisoning Attacks
RamCrypt: Kernel-based Address Space Encryption for User-mode Processes
Predictive Cipher-Suite Negotiation for Boosting Deployment of New Ciphers
Tesseract: Real-Time Cryptocurrency Exchange Using Trusted Hardware
Automated trust negotiation using cryptographic credentials
ORAM Based Forward Privacy Preserving Dynamic Searchable Symmetric Encryption Schemes
Adversarial Transfer Attacks With Unknown Data and Class Overlap
Too Long, did not Enforce: A Qualitative Hierarchical Risk-Aware Data Usage Control Model for Complex Policies in Distributed Environments
Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions
Symbolic security analysis of ruby-on-rails web applications
Private Summation in the Multi-Message Shuffle Model
The OCH Authenticated Encryption Scheme
Poster: Circumventing the GFW with TLS Record Fragmentation
Searchable symmetric encryption: improved definitions and efficient constructions
Boosting the Guessing Attack Performance on Android Lock Patterns with Smudge Attacks
Distributed Measurement with Private Set-Union Cardinality
PoisonSpot: Precise Spotting of Clean-Label Backdoors via Fine-Grained Training Provenance Tracking
Poster: A Post-Quantum Oblivious PRF from Isogenies
Relational abstract interpretation for the verification of 2-hypersafety properties
POSTER: Data Collection via Local Differential Privacy with Secret Parameters
Auctions in do-not-track compliant internet advertising
CICADAS: Congesting the Internet with Coordinated and Decentralized Pulsating Attacks
Provable data possession at untrusted stores
Selecting theories and nonce generation for recursive protocols
A formal model for sustainable vehicle-to-grid management
On fairness in simulatability-based cryptographic systems
The Phantom Menace in Crypto-Based PET-Hardened Deep Learning Models: Invisible Configuration-Induced Attacks
Combinatorial characterizations of authentication codes in verification oracle model
Using router stamping to identify the source of IP packets
In-Depth Enforcement of Dynamic Integrity Taint Analysis
Block Ciphers in Idealized Models: Automated Proofs and New Security Results
Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection
A Unilateral-to-Mutual Authentication Compiler for Key Exchange (with Applications to Client Authentication in TLS 1.3)
Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps
An efficient implementation of trusted channels based on openssl
PhyScout: Detecting Sensor Spoofing Attacks via Spatio-temporal Consistency
Tamper proofing and attack identification of corrupted image by using semi-fragile multiple-watermarking algorithm
MMP: A Dynamic Routing Protocol Design to Proactively Defend against Wireless Network Inference Attacks
Fidelity: A Property of Deep Neural Networks to Measure the Trustworthiness of Prediction Results
Dazed Droids: A Longitudinal Study of Android Inter-App Vulnerabilities
Accountable certificate management using undeniable attestations
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
Analysis of an Algorithm for Distributed Recognition and Accountability
Realizing Flexible Broadcast Encryption: How to Broadcast to a Public-Key Directory
Proceedings of the 2017 International Workshop on Managing Insider Security Threats, Dallas, TX, USA, October 30 - November 03, 2017
AutoPPG: Towards Automatic Generation of Privacy Policy for Android Applications
Communication-Efficient Anonymous Group Identification
Surpassing the Word Size Limitation of TFHE with Noise Calibration
Hang with your buddies to resist intersection attacks
Proceedings of the First ACM Workshop on Moving Target Defense, MTD '14, Scottsdale, Arizona, USA, November 7, 2014
PROPYLA: Privacy Preserving Long-Term Secure Storage
How to Beat Nakamoto in the Race
MEMS Gyroscopes as Physical Unclonable Functions
Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices
Full Database Reconstruction in Two Dimensions
CPSIoTSec'25: The 7th Joint Workshop on CPS & IoT Security and Privacy
Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
Data Log Management for Cyber-Security Programmability of Cloud Services and Applications
Fast two-party secure computation with minimal assumptions
POISED: Spotting Twitter Spam Off the Beaten Paths
Information Leaks Without Memory Disclosures: Remote Side Channel Attacks on Diversified Code
Improving Line-Point Zero Knowledge: Two Multiplications for the Price of One
Efficient Registration-Based Encryption
Stratum Filtering: Cloud-based Detection of Attack Sources
RAPPOR: Randomized Aggregatable Privacy-Preserving Ordinal Response
Efficient Secure Three-Party Sorting with Applications to Data Analysis and Heavy Hitters
Risk visualization and alerting system: architecture and proof-of-concept implementation
EncoderMI: Membership Inference against Pre-trained Encoders in Contrastive Learning
Breaking TrustZone Memory Isolation through Malicious Hardware on a Modern FPGA-SoC
WATCH '25: First Workshop on Analytics, Telemetry, and Cybersecurity for HPCC
Practical PIR for electronic commerce
Quantifying the security of graphical passwords: the case of android unlock patterns
ML-Cube: Accelerating Module-Lattice-Based Cryptography using Machine Learning Accelerators with a Memory-Less Design
Towards Remote Verifiable Computation without Digital Secrets
An algorithm to find optimal attack paths in nondeterministic scenarios
Deniable Key Exchanges for Secure Messaging
Zombie Awakening: Stealthy Hijacking of Active Domains through DNS Hosting Referral
WAHC'22: 10th Workshop on Encrypted Computing and Applied Homomorphic Cryptography
Poster: a geometric approach for multicast authentication in adversarial channels
CHEX: statically vetting Android apps for component hijacking vulnerabilities
POSTER: Blackboard-Based Electronic Warfare System
A Scalable High Fidelity Decoy Framework against Sophisticated Cyber Attacks
Fast Vector Oblivious Linear Evaluation from Ring Learning with Errors
SoftGrid: A Software-based Smart Grid Testbed for Evaluating Substation Cybersecurity Solutions
Mechanizing Privacy by Design
Privacy-Preserving Graph Analysis
A data mining approach for analysis of worm activity through automatic signature generation
A Calculus for Cryptographic Protocols: The Spi Calculus
Secure two-party computations in ANSI C
3rd International Workshop on Software Protection (SPRO 2019)
Poster: Detecting Adversarial Examples Hidden under Watermark Perturbation via Usable Information Theory
Blind Transmitter Authentication for Spectrum Security and Enforcement
Data Freshness for Non-Trusted Environments Using Disposable Certificates
Voice Command Fingerprinting with Locality Sensitive Hashes
POSTER: Detecting Suspicious Processes from Log-Data via a Bayesian Block Model
A Better Method to Analyze Blockchain Consistency
Machine Learning on Encrypted Data: Hardware to the Rescue
Respire: High-Rate PIR for Databases with Small Records
LINCOS: A Storage System Providing Long-Term Integrity, Authenticity, and Confidentiality
Almost entirely correct mixing with applications to voting
Scalable integrity monitoring in virtualized environments
Differential Privacy Defenses and Sampling Attacks for Membership Inference
JN-SAF: Precise and Efficient NDK/JNI-aware Inter-language Static Analysis Framework for Security Vetting of Android Applications with Native Code
Mechanism and Implementation of Watermarked Sample Scanning Method for Speech Data Tampering Detection
POSTER: A Measurement Framework to Quantify Software Protections
Cryptanalysis and Protocol Failures (abstract)
CCS'13 co-located workshop summary for SPSM 2013
PrivFL: Practical Privacy-preserving Federated Regressions on High-dimensional Data over Mobile Networks
Versatile padding schemes for joint signature and encryption
Session details: Session 1: Evaluation of MTD Techniques
From System Specification to Anomaly Detection (and back)
POSTER: TOUCHFLOOD: A Novel Class of Attacks against Capacitive Touchscreens
Confronting a mobile adversary in unattended sensor networks
Dynamic Defense against Adaptive and Persistent Adversaries
How to Choose Suitable Secure Multiparty Computation Using Generalized SPDZ
A New Blind ECDSA Scheme for Bitcoin Transaction Anonymity
New Secret Keys for Enhanced Performance in (T)FHE
Strict Virtual Call Integrity Checking for C++ Binaries
Optimising Vulnerability Triage in DAST with Deep Learning
A trusted mobile phone reference architecturevia secure kernel
Topological analysis of network attack vulnerability
Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data
Designing router scheduling policies: a privacy perspective
StormDroid: A Streaminglized Machine Learning-Based System for Detecting Android Malware
Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks
The Clock is Still Ticking: Timing Attacks in the Modern Web
Identifying Encrypted Malware Traffic with Contextual Flow Data
Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
CARMA: a hardware tamper-resistant isolated execution environment on commodity x86 platforms
Using Reflexive Eye Movements for Fast Challenge-Response Authentication
Secure and Private Function Evaluation with Intel SGX
A semantic-aware approach to reasoning about network traffic relations
LEAP: Leakage-Abuse Attack on Efficiently Deployable, Efficiently Searchable Encryption with Partially Known Dataset
When Good Becomes Evil: Keystroke Inference with Smartwatch
Sigstore: Software Signing for Everybody
POSTER: CPS Security Testbed Development Using Controller-in-the-Middle
Insider Collusion Attack on Distributed Machine Learning System and its Solutions - A Case of SVM
CCS'17 Tutorial Abstract / SGX Security and Privacy
Poster: Using Generative Adversarial Networks for Secure Pseudorandom Number Generation
An analysis of the EMV channel establishment protocol
Protection of consumer data in the smart grid compliant with the German smart metering guideline
Sunlight: Fine-grained Targeting Detection at Scale with Statistical Confidence
Querying for Queries: Indexes of Queries for Efficient and Expressive IT-PIR
Efficient Repair of Polluted Machine Learning Systems via Causal Unlearning
Differentially Private Publishing of High-dimensional Data Using Sensitivity Control
Watch Me, but Don't Touch Me! Contactless Control Flow Monitoring via Electromagnetic Emanations
Towards Query Efficient Black-box Attacks: An Input-free Perspective
A software-hardware architecture for self-protecting data
A Wolf in Sheep's Clothing: Spreading Deadly Pathogens Under the Disguise of Popular Music
This network is infected: HosTaGe - a low-interaction honeypot for mobile devices
MERS: Statistical Test Generation for Side-Channel Analysis based Trojan Detection
Vulnerability Analysis of PRINCE and RECTANGLE using CPA
Attacking OpenSSL Implementation of ECDSA with a Few Signatures
RSA-Based Dynamic Accumulator without Hashing into Primes
GPU Travelling: Efficient Confidential Collaborative Training with TEE-Enabled GPUs
Efficient security primitives derived from a secure aggregation algorithm
Judging a site by its content: learning the textual, structural, and visual features of malicious web pages
Detecting VoIP based DoS attacks at the public safety answering point
Input generation via decomposition and re-stitching: finding bugs in Malware
The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches
Use-After-FreeMail: Generalizing the Use-After-Free Problem and Applying it to Email Services
POSTER: Cyber Attack Prediction of Threats from Unconventional Resources (CAPTURE)
Cryptographic tamper evidence
A Low-cost Function Call Protection Mechanism Against Instruction Skip Fault Attacks
Secure and customizable web development in the safe activation framework
Generic implementations of elliptic curve cryptography using partial reduction
Internet's Invisible Enemy: Detecting and Measuring Web Cache Poisoning in the Wild
Hardware-Assisted Security: Promises, Pitfalls and Opportunities
Constructive and destructive aspects of embedded security in the internet of things
Modeling attacks on physical unclonable functions
All You Need is: Evading Hate Speech Detection
Demystifying Incentives in the Consensus Computer
Can Browser Add-Ons Protect Your Children from Online Tracking?
BLADE: an attack-agnostic approach for preventing drive-by malware infections
TPDP'20: 6th Workshop on Theory and Practice of Differential Privacy
Silence is not Golden: Disrupting the Load Balancing of Authoritative DNS Servers
Fast Amortized Bootstrapping with Small Keys and Polynomial Noise Overhead
Protocol misidentification made easy with format-transforming encryption
Should I (re)Learn or Should I Go(on)?: Stream Machine Learning for Adaptive Defense against Network Attacks
Practical Anonymous Password Authentication and TLS with Anonymous Client Authentication
Blacklistable anonymous credentials: blocking misbehaving users without ttps
Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction
Multi-Stage Attack Graph Security Games: Heuristic Strategies, with Empirical Game-Theoretic Analysis
Computational verification of C protocol implementations by symbolic execution
Research Frontiers for Moving Target Defenses
Privacy-preserving and Optimal Interval Release for Disease Susceptibility
Towards Robust Power Grid Attack Protection using LightGBM with Concept Drift Detection and Retraining
Simple and fault-tolerant key agreement for dynamic collaborative groups
A Case Study on Implementing False Data Injection Attacks Against Nonlinear State Estimation
Fast Database Joins and PSI for Secret Shared Data
ASLR-Guard: Stopping Address Space Leakage for Code Reuse Attacks
Practical Lattice-Based Zero-Knowledge Proofs for Integer Relations
Short Paper: Weak Runtime-Irrelevant Typing for Security
The Cybersecurity Dynamics Way of Thinking and Landscape
QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field
Hare Hunting in the Wild Android: A Study on the Threat of Hanging Attribute References
Attribute-based encryption with non-monotonic access structures
Black-box Adversarial Attacks on Commercial Speech Platforms with Minimal Information
Smart Locks: Lessons for Securing Commodity Internet of Things Devices
Operating system enhancements to prevent the misuse of system calls
ScannerGrouper: A Generalizable and Effective Scanning Organization Identification System Toward the Open World
Stealing Trust: Unraveling Blind Message Attacks in Web3 Authentication
Composition theorems without pre-established session identifiers
A One-Pass Distributed and Private Sketch for Kernel Sums with Applications to Machine Learning at Scale
META-BTS: Bootstrapping Precision Beyond the Limit
Prefetch Side-Channel Attacks: Bypassing SMAP and Kernel ASLR
PASTA: PASsword-based Threshold Authentication
Secure text processing with applications to private DNA matching
Cirripede: circumvention infrastructure using router redirection with plausible deniability
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
Research on the Security Criteria of Hash Functions in the Blockchain
Supporting location-based conditions in access control policies
Velox: Scalable Fair Asynchronous MPC from Lightweight Cryptography
Security Vulnerability in Processor-Interconnect Router Design
ALITHEIA: Towards Practical Verifiable Graph Processing
Adversarial Attack against Deep Reinforcement Learning with Static Reward Impact Map
Reconfigurable trusted computing in hardware
OASIS: on achieving a sanctuary for integrity and secrecy on untrusted platforms
POSTER: Analyzing Access Control Policies with SMT
Detecting relay attacks with timing-based protocols
Proceedings of the 3rd ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2, 2017
The cyber arms race
Remote Operating System Classification over IPv6
Leveraging "choice" to automate authorization hook placement
WISCS 2014: The First ACM Workshop on Information Sharing & Collaborative Security
Reflections on the evolution of internet threats: the growing imperative for a cyber secure society
AntiFake: Using Adversarial Audio to Prevent Unauthorized Speech Synthesis
Locally Private Graph Neural Networks
POSTER: AdHoneyDroid - Capture Malicious Android Advertisements
An Efficient KP-ABE with Short Ciphertexts in Prime OrderGroups under Standard Assumption
KNOW Why your access was denied: regulating feedback for usable security
Automatic feature selection for anomaly detection
Poster: Membership Inference Attacks via Contrastive Learning
Supply-Chain Vulnerability Elimination via Active Learning and Regeneration
GOTCHA password hackers!
On Several Verifiable Random Functions and the q-decisional Bilinear Diffie-Hellman Inversion Assumption
Gringotts: Fast and Accurate Internal Denial-of-Wallet Detection for Serverless Computing
Ripley: automatically securing web 2.0 applications through replicated execution
Membership Privacy for Fully Dynamic Group Signatures
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation
Mitigating Risk while Complying with Data Retention Laws
Computational soundness without protocol restrictions
Secure Statistical Analysis on Multiple Datasets: Join and Group-By
Graph Unlearning
Using extreme learning machine for intrusion detection in a big data environment
Second-Order Low-Randomness d + 1 Hardware Sharing of the AES
PROV-FL: Privacy-preserving Round Optimal Verifiable Federated Learning