yusuke1997/dblp-id-title huggingface dataset:
A New LRPC-Kronecker Product Codes Based Public-Key Cryptography
A Preliminary Cyber Ontology for Insider Threats in the Financial Sector
Turning Uncertainty into Efficiency: Toward Practical, Quantum-Resistant Verifiable Privacy Tools
Securing publish-subscribe overlay services with EventGuard
On the Challenges of Effective Movement
Compressive Traffic Analysis: A New Paradigm for Scalable Traffic Analysis
Riddle Me This! Stealthy Membership Inference for Retrieval-Augmented Generation
It's a TRaP: Table Randomization and Protection against Function-Reuse Attacks
Rethinking Single Sign-On: A Reliable and Privacy-Preserving Alternative with Verifiable Credentials
StegoTorus: a camouflage proxy for the Tor anonymity system
A Robust and Efficient Defense against Use-after-Free Exploits via Concurrent Pointer Sweeping
Monkey-in-the-browser: malware and vulnerabilities in augmented browsing script markets
Protecting Software Code by Guards
Toward a cyber-physical topology language: applications to NERC CIP audit
Are We Getting Well-informed? An In-depth Study of Runtime Privacy Notice Practice in Mobile Apps
POSTER: I Don't Want That Content! On the Risks of Exploiting Bitcoin's Blockchain as a Content Store
Hardware and embedded security in the context of internet of things
Policy algebras for access control the predicate case
Poster: Towards Complete Computation Graph Generation for Security Assessment of ROS Applications
Practical Censorship Evasion Leveraging Content Delivery Networks
Bandwidth-Hard Functions: Reductions and Lower Bounds
authUML: a three-phased framework to analyze access control specifications in use cases
SoK: Towards Secret-Free Security
Remotely wiping sensitive data on stolen smartphones
Outsourced Proofs of Retrievability
SoFi: Reflection-Augmented Fuzzing for JavaScript Engines
Contextual and Granular Policy Enforcement in Database-backed Applications
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, in Association with 10th ACM Conference on Computer and Communications Security, SSRS@CCS 2003, Fairfax, VA, USA, October 31, 2003
WaC: SpaceTEE - Secure and Tamper-Proof Computing in Space using CubeSats
BES: Differentially Private and Distributed Event Aggregation in Advanced Metering Infrastructures
Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust
Supporting complex queries and access policies for multi-user encrypted databases
KASLR: Break It, Fix It, Repeat
Efficient CCA Timed Commitments in Class Groups
A control point for reducing root abuse of file-system privileges
Moving Targets vs. Moving Adversaries: On the Effectiveness of System Randomization
More Practical Privacy-Preserving Machine Learning as A Service via Efficient Secure Matrix Multiplication
SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices
Security Planning for Personal Communications
Hardware Security at the Limit: Nuclear Verification and Arms Control
Digitally signed document sanitizing scheme based on bilinear maps
Strongly secure certificateless key exchange without pairing
Hop-count filtering: an effective defense against spoofed DDoS traffic
Verified Verifiers for Verifying Elections
Self-service cloud computing
revDroid: Code Analysis of the Side Effects after Dynamic Permission Revocation of Android Apps
On cellular botnets: measuring the impact of malicious devices on a cellular network core
Can We Use Arbitrary Objects to Attack LiDAR Perception in Autonomous Driving?
GenderCARE: A Comprehensive Framework for Assessing and Reducing Gender Bias in Large Language Models
VPVet: Vetting Privacy Policies of Virtual Reality Apps
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
Data collection with self-enforcing privacy
A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
Detection of On-Road Vehicles Emanating GPS Interference
FairplayMP: a system for secure multi-party computation
Hiding the Lengths of Encrypted Messages via Gaussian Padding
Demo: Data Minimization and Informed Consent in Administrative Forms
Poster: User-controlled System-level Encryption for all Applications
Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009
Stateful Defenses for Machine Learning Models Are Not Yet Secure Against Black-box Attacks
Consistency Analysis of Data-Usage Purposes in Mobile Apps
Adaptive Just-In-Time Code Diversification
Exploiting Bro for Intrusion Detection in a SCADA System
Security Verification of Low-Trust Architectures
POSTER: A Password-based Authentication by Splitting Roles of User Interface
Provable anonymity
Privacy of outsourced k-means clustering
AndroTotal: a flexible, scalable toolbox and service for testing mobile malware detectors
The Power of Whispering: Near Field Assertions via Acoustic Communications
Avara: A Uniform Evaluation System for Perceptibility Analysis Against Adversarial Object Evasion Attacks
Analyzing the Real-World Security of the Algorand Blockchain
SelectCast: a scalable and self-repairing multicast overlay routing facility
Detecting money-stealing apps in alternative Android markets
GAPDiS: Gradient-Assisted Perturbation Design via Sequence Editing for Website Fingerprinting Defense
On the Safety of IoT Device Physical Interaction Control
NodeShield: Runtime Enforcement of Security-Enhanced SBOMs for Node.js
Formal Verification of Differential Privacy
The Danger of Minimum Exposures: Understanding Cross-App Information Leaks on iOS through Multi-Side-Channel Learning
Attacks Against the IND-CPA D Security of Exact FHE Schemes
Poster: High-Fidelity and Contextual User Activity Memory Forensics
Size-based scheduling: a recipe for DDOS?
Community-Enhanced De-anonymization of Online Social Networks
Mass-surveillance without the State: Strongly Undetectable Algorithm-Substitution Attacks
Discovering Malicious Domains through Passive DNS Data Graph Analysis
Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006
Protecting HRP UWB Ranging System Against Distance Reduction Attacks
Parallel Collision Search with Application to Hash Functions and Discrete Logarithms
Security Analysis of Radar Systems
FAIR: Fair Audience InfeRence
Poster: Marian: An Open Source RISC-V Processor with Zvk Vector Cryptography Extensions
Extending logical attack graphs for efficient vulnerability analysis
DroidRay: a security evaluation system for customized android firmwares
Secure RTOS Architecture for Building Automation
Do you know where your cloud files are?
Logging key assurance indicators in business processes
Session details: AI for Detecting Software Vulnerabilities
On the security of the identity-based encryption based on DHIES from ASIACCS 2010
Control Theory for Practical Cyber-Physical Security: Extended Abstract
Demonstrating the effectiveness of MOSES for separation of execution modes
DPad-HE: Towards Hardware-friendly Homomorphic Evaluation using 4-Directional Manipulation
MC2: Rigorous and Efficient Directed Greybox Fuzzing
Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes
Physical Hijacking Attacks against Object Trackers
Chosen-ciphertext secure proxy re-encryption
Stealing Maggie's Secrets-On the Challenges of IP Theft Through FPGA Reverse Engineering
Practical Secure Aggregation for Privacy-Preserving Machine Learning
A case of collusion: a study of the interface between ad libraries and their apps
Over-The-Top Bypass: Study of a Recent Telephony Fraud
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018
Smart meter aggregation via secret-sharing
POSTER: Improving Anonymity of Services Deployed Over Tor by Changing Guard Selection
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
On the CCA (in)Security of MTProto
Short Privacy-Preserving Proofs of Liabilities
PeerAccess: a logic for distributed authorization
Your Online Interests: Pwned! A Pollution Attack Against Targeted Advertising
A formal security policy for xenon
I Can See the Light: Attacks on Autonomous Vehicles Using Invisible Lights
Managing heterogeneous network environments using an extensible policy framework
AppPolicyModules: Mandatory Access Control for Third-Party Apps
Identifying a Training-Set Attack's Target Using Renormalized Influence Estimation
YouthSafe: A Youth-Centric Safety Benchmark and Safeguard Model for Large Language Models
Cloud Security: The Industry Landscape and the Lure of Zero-Knowledge Protection
Detecting Spying and Fraud Browser Extensions: Short Paper
Towards Insider Threat Detection Using Psychophysiological Signals
Poster: Analyzing and Correcting Inaccurate CVE-CWE Mappings in the National Vulnerability Database
Towards efficient proofs of retrievability
An Entropy Conservation Law for Testing the Completeness of Convert Channel Analysis
Fully Secure and Fast Signing from Obfuscation
NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications
Robust detection of comment spam using entropy rate
Using Honeypots to Catch Adversarial Attacks on Neural Networks
Autonomous Vulnerability Analysis, Triaging, and Repair: A Historical Perspective
Moving Beyond Set-It-And-Forget-It Privacy Settings on Social Media
Hypnoguard: Protecting Secrets across Sleep-wake Cycles
DivTrackee versus DynTracker: Promoting Diversity in Anti-Facial Recognition against Dynamic FR Strategy
Insider Threat Event Detection in User-System Interactions
Assessing trust in uncertain information using Bayesian description logic
Composition and integrity preservation of secure reactive systems
POSTER: Dynamic Software Vulnerabilities Threat Prediction through Social Media Contextual Analysis
Concolic Execution of NMap Scripts for Honeyfarm Generation
Poster: Multi-Layer Threat Analysis of the Cloud
Multi-User Security of CCM Authenticated Encryption Mode
Practical Non-interactive Encrypted Conjunctive Search with Leakage Suppression
Concurrent Security of Anonymous Credentials Light, Revisited
Threshold Password-Hardened Encryption Services
Poster: Enabling Cost-Effective Blockchain Applications via Workload-Adaptive Transaction Execution
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
FenceSitter: Black-box, Content-Agnostic, and Synchronization-Free Enrollment-Phase Attacks on Speaker Recognition Systems
Mobility of the future
Prover anonymous and deniable distance-bounding authentication
Cost-benefit analysis of kernel tracing systems for forensic readiness
Breaching Security Keys without Root: FIDO2 Deception Attacks via Overlays exploiting Limited Display Authenticators
Human-Computer Cryptography: An Attempt
Anonymity Unveiled: A Practical Framework for Auditing Data Use in Deep Learning Models
Evading android runtime analysis via sandbox detection
CCCP: Closed Caption Crypto Phones to Resist MITM Attacks, Human Errors and Click-Through
POSTER: LocMask: A Location Privacy Protection Framework in Android System
Fuzzy Extractors are Practical: Cryptographic Strength Key Derivation from the Iris
Exploiting Phone Numbers and Cross-Application Features in Targeted Mobile Attacks
On verifying stateful dataflow processing services in large-scale cloud systems
RAFR: remote assessment of file redundancy
Helping or Hindering?: How Browser Extensions Undermine Security
Linear Communication in Malicious Majority MPC
Optimal message transmission protocols with flexible parameters
SaTS '25: The 3rd ACM Workshop on Security and Privacy of AI-Empowered Mobile Super Apps
Towards High-Interaction Virtual ICS Honeypots-in-a-Box
On the Security of Rate-limited Privacy Pass
Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing
On the Security and Performance of Proof of Work Blockchains
T/Key: Second-Factor Authentication From Secure Hash Chains
Enforcing Fine-grained Constant-time Policies
Establishing pairwise keys in distributed sensor networks
POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification
POSTER: VUDEC: A Framework for Vulnerability Management in Decentralized Communication Networks
Strata-Gem: risk assessment through mission modeling
POSTER: Content-Agnostic Identification of Cryptojacking in Network Traffic
Bittersweet ADB: Attacks and Defenses
Multi-party off-the-record messaging
Multi-Verifier Zero-Knowledge Proofs for Any Constant Fraction of Corrupted Verifiers
Private inference control
Your Credentials Are Compromised, Do Not Panic: You Can Be Well Protected
Secure streaming forensic data transmission for trusted cloud
Distributed Key Generation for Encrypted Deduplication: Achieving the Strongest Privacy
"Modern problems require modern solutions": Community-Developed Techniques for Online Exam Proctoring Evasion
Asynchronous Data Dissemination and its Applications
A White-Box DES Implementation for DRM Applications
Securing Compilation Against Memory Probing
Short paper: enhancing users' comprehension of android permissions
Non-intrusive IP traceback for DDoS attacks
Raze to the Ground: Query-Efficient Adversarial HTML Attacks on Machine-Learning Phishing Webpage Detectors
Pinocchio coin: building zerocoin from a succinct pairing-based proof system
Efficient self-healing group key distribution with revocation capability
zkPi: Proving Lean Theorems in Zero-Knowledge
Server-aided signatures verification secure against collusion attack
AHEAD: Adaptive Hierarchical Decomposition for Range Query under Local Differential Privacy
An information-flow type-system for mixed protocol secure computation
Towards security policy decisions based on context profiling
TEE: a virtual DRTM based execution environment for secure cloud-end computing
Membership Inference Attacks against Vision Transformers: Mosaic MixUp Training to the Defense
Automating Privilege Escalation with Deep Reinforcement Learning
Demo: Stopping Production Testing: A Graphical RPKI Test-Suite
The Locality of Memory Checking
Verifiable and private top-k monitoring
Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security, AISec@CCS 2019, London, UK, November 15, 2019
Poster: Recovering the Input of Neural Networks via Single Shot Side-channel Attacks
Exposing the Rat in the Tunnel: Using Traffic Analysis for Tor-based Malware Detection
Timely Rerandomization for Mitigating Memory Disclosures
Integration of Static and Dynamic Code Stylometry Analysis for Programmer De-anonymization
Learning to Explore Paths for Symbolic Execution
Ring-LWE Ciphertext Compression and Error Correction: Tools for Lightweight Post-Quantum Cryptography
Secure provenance: the essential of bread and butter of data forensics in cloud computing
Robust Adversarial Attacks Against DNN-Based Wireless Communication Systems
Disabling Backdoor and Identifying Poison Data by using Knowledge Distillation in Backdoor Attacks on Deep Neural Networks
Back to the Drawing Board: Revisiting the Design of Optimal Location Privacy-preserving Mechanisms
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors
SecSAKE: Towards Secure and Efficient Outsourcing of Clinical MRI Reconstruction
An opportunistic authority evaluation scheme for data security in crisis management scenarios
R2Q: A Risk Quantification Framework to Authorize Requests in Web-based Collaborations
Payload attribution via hierarchical bloom filters
Impersonation-as-a-Service: Characterizing the Emerging Criminal Infrastructure for User Impersonation at Scale
A Threat for Tablet PCs in Public Space: Remote Visualization of Screen Images Using EM Emanation
Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016
Cyber security and artificial intelligence: from fixing the plumbing to smart water
Sliding-window self-healing key distribution
Subsampled Exponential Mechanism: Differential Privacy in Large Output Spaces
Logically reconfigurable PUFs: memory-based secure key storage
The Fairy-Ring Dance: Password Authenticated Key Exchange in a Group
19th Workshop on Privacy in the Electronic Society (WPES 2020)
Secure hierarchical in-network aggregation in sensor networks
Enabling IP Protection for Outsourced Integrated Circuit Design
UX Aspects of Threat Information Sharing Platforms: An Examination & Lessons Learned Using Personas
Poster: Towards Real-Time Intrusion Detection with Explainable AI-Based Detector
SAuth: protecting user accounts from password database leaks
Poster: Evaluating Code Coverage for System Call Fuzzers
Ring signatures: universally composable definitions and constructions
Checking Intent-based Communication in Android with Intent Space Analysis
Why eve and mallory love android: an analysis of android SSL (in)security
Big data privacy and security challenges
Simple Noninterference by Normalization
Extracting Conditional Formulas for Cross-Platform Bug Search
The Importance of Being Discrete: Measuring the Impact of Discretization in End-to-End Differentially Private Synthetic Data
How to Manage Persistent State in DRM Systems
Impact of integrity attacks on real-time pricing in smart grids
Automated Synthesis of Optimized Circuits for Secure Computation
Can they hear me now?: a security analysis of law enforcement wiretaps
Membership Leakage in Label-Only Exposures
Minimal backups of cryptographic protocol runs
Poster: Recapture Detection Using Disparity Map Obtained from Dual-Pixel Image Sensors
DirtyCred: Escalating Privilege in Linux Kernel
PPE Circuits for Rational Polynomials
Pragmatic Security: Modelling IT Security Management Responsibilities for SME Archetypes
What Did Come Out of It? Analysis and Improvements of DIDComm Messaging
Measuring intrusion detection capability: an information-theoretic approach
AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices
Attribute-based signatures without pairings via the fiat-shamir paradigm
Omniring: Scaling Private Payments Without Trusted Setup
The fable of the bees: incentivizing robust revocation decision making in ad hoc networks
Leakage-Abuse Attacks Against Searchable Encryption
Televisions, video privacy, and powerline electromagnetic interference
SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking
Languages for Oblivious Computation
MTD 2019: The 6th ACM Workshop on Moving Target Defense
Cryptanalysis of the "Grain" family of stream ciphers
Differentially Private Logistic Regression with Sparse Solutions
AdvPulse: Universal, Synchronization-free, and Targeted Audio Adversarial Attacks via Subsecond Perturbations
The Challenges and Opportunities with Cybersecurity Regulations: A Case Study of the US Electric Power Sector
A Qualitative Analysis of Fuzzer Usability and Challenges
Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks
TabularMark: Watermarking Tabular Datasets for Machine Learning
Fourth-factor authentication: somebody you know
To Intercept or Not to Intercept: Analyzing TLS Interception in Network Appliances
Gossip: Automatically Identifying Malicious Domains from Mailing List Discussions
BlueShift: Probing Adaptive Frequency Hopping in Bluetooth
Be the Phisher - Understanding Users' Perception of Malicious Domains
Poster: Accountable Processing of Reported Street Problems
Mnemosyne: An Effective and Efficient Postmortem Watering Hole Attack Investigation System
Graphical password using object-based image ranking
Discriminative Models for Multi-instance Problems with Tree Structure
Dismantling SecureMemory, CryptoMemory and CryptoRF
Augmented Encrypted Key Exchange: A Password-Based Protocol Secure against Dictionary Attacks and Password File Compromise
Adversarial Detection on Graph Structured Data
Sylva: Tailoring Personalized Adversarial Defense in Pre-trained Models via Collaborative Fine-tuning
The economics of finding and fixing vulnerabilities in distributed systems
Security investigation in wireless networks (invited talk)
CSPAutoGen: Black-box Enforcement of Content Security Policy upon Real-world Websites
Process-Aware Cyberattacks for Thermal Desalination Plants
Secure dynamic code generation against spraying
PLAS'20: 15th Workshop on Programming Languages and Analysis for Security
Obfuscated Key Exchange
Towards Explainable and Effective Anti-Money Laundering for Cryptocurrency
TaaS: Commodity MPC via Triples-as-a-Service
Layered, Overlapping, and Inconsistent: A Large-Scale Analysis of the Multiple Privacy Policies and Controls of U.S. Banks
Practical Multi-party Private Set Intersection from Symmetric-Key Techniques
SpecDefender: Transient Execution Attack Defender using Performance Counters
The good, the bad, and the provable
A Security Scheme for Fog Computing Environment of IoT
PLRV-O: Advancing Differentially Private Deep Learning via Privacy Loss Random Variable Optimization
Towards Proactive Protection against Unauthorized Speech Synthesis
GAME OF DECOYS: Optimal Decoy Routing Through Game Theory
Integrity, Consistency, and Verification of Remote Computation
The role of trusted computing in internet scale DRM
Security and Privacy Measurements in Cellular Networks: Novel Approaches in a Global Roaming Context
Practical and Efficient Attribute-Based Encryption with Constant-Size Ciphertexts in Outsourced Verifiable Computation
Exploiting open functionality in SMS-capable cellular networks
POSTER: WinOver Enterprise Dark Data
Temporal Phase Shifts in SCADA Networks
Beyond Tag Collision: Cluster-based Memory Management for Tag-based Sanitizers
Enhanced embedded device security by combining hardware-based trust mechanisms
Adversarial machine learning
PELTA - Shielding Multiparty-FHE against Malicious Adversaries
Manipulating OpenFlow Link Discovery Packet Forwarding for Topology Poisoning
A Nearly Four-Year Longitudinal Study of Search-Engine Poisoning
Amortized Threshold Symmetric-key Encryption
Leveraging Processor Performance Counters for Security and Performance
Alchemy: Data-Free Adversarial Training
Succinct Zero-Knowledge Batch Proofs for Set Accumulators
Tracking anonymous peer-to-peer VoIP calls on the internet
Automatic generation of vaccines for malware immunization
Towards Poisoning of Deep Learning Algorithms with Back-gradient Optimization
Evaluations of Machine Learning Privacy Defenses are Misleading
Proceedings of the 4th ACM Workshop on Quality of Protection, QoP 2008, Alexandria, VA, USA, October 27, 2008
A privacy recommendation wizard for users of social networking sites
Challenges in Remote Attestation of Low-End Embedded Devices
Protecting browsers from dns rebinding attacks
Global Communication Guarantees in the Presence of Adversaries
Computationally complete symbolic attacker and key exchange
Undermining User Privacy on Mobile Devices Using AI
"Make Them Change it Every Week!": A Qualitative Exploration of Online Developer Advice on Usable and Secure Authentication
Quantitative Verification of Neural Networks and Its Security Applications
VCR: App-Agnostic Recovery of Photographic Evidence from Android Device Memory Images
Principled reasoning and practical applications of alert fusion in intrusion detection systems
State Machine Mutation-based Testing Framework for Wireless Communication Protocols
Enabling Opportunistic Users in Multi-Tenant IoT Systems using Decentralized Identifiers and Permissioned Blockchains
Session details: Session 1
LeakyOhm: Secret Bits Extraction using Impedance Analysis
Probabilistic Performance Analysis of Moving Target and Deception Reconnaissance Defenses
A Security Framework for Distributed Ledgers
A Dual Perturbation Approach for Differential Private ADMM-Based Distributed Empirical Risk Minimization
Collaborative TCP sequence number inference attack: how to crack sequence number under a second
Trust, Because You Can't Verify: Privacy and Security Hurdles in Education Technology Acquisition Practices
Fast and automated generation of attack signatures: a basis for building self-protecting servers
PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks
PPay: micropayments for peer-to-peer systems