yusuke1997/dblp-id-title huggingface dataset:
Untangling the Knot: Breaking Access Control in Home Wireless Mesh Networks
Onion Ring ORAM: Efficient Constant Bandwidth Oblivious RAM from (Leveled) TFHE
Protection against Counterfeiting Attacks in 3D Printing by Streaming Signature-embedded Manufacturing Process Instructions
Formally verifying information flow type systems for concurrent and thread systems
Laconic Private Set-Intersection From Pairings
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
You Make Me Tremble: A First Look at Attacks Against Structural Control Systems
STACCO: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves
The Darknet and the Future of Content Protection
Ethics in Computer Security Research: A Data-Driven Assessment of the Past, the Present, and the Possible Future
Graphical vs. Deep Generative Models: Measuring the Impact of Differentially Private Mechanisms and Budgets on Utility
Automatic placement of authorization hooks in the linux security modules framework
SISTAR: An Efficient DDoS Detection and Mitigation Framework Utilizing Programmable Data Planes
Demo: Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution
On the Feasibility and Impact of Standardising Sparse-secret LWE Parameter Sets for Homomorphic Encryption
A Thorough Evaluation of RAMBAM
TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation
Privacy Risks of Securing Machine Learning Models against Adversarial Examples
WAHC'18: 6th Workshop on Encrypted Computing and Applied Homomorphic Cryptography
Software Profiling Options and Their Effects on Security Based Diversification
Finding All Cross-Site Needles in the DOM Stack: A Comprehensive Methodology for the Automatic XS-Leak Detection in Web Browsers
Hardware Trojans and Other Threats against Embedded Systems
Tracing Attacks on U-Prove with Revocation Mechanism: Tracing Attacks for U-Prove
Broken Promises: Measuring Confounding Effects in Learning-based Vulnerability Discovery
PRAM: privacy preserving access management scheme in cloud services
Breaking Web Applications Built On Top of Encrypted Data
PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs)
Geneva: Evolving Censorship Evasion Strategies
A Single Query Forgery Attack on Raviyoyla v1
Practical Fully Secure Three-Party Computation via Sublinear Distributed Zero-Knowledge Proofs
On the Security and Scalability of Bitcoin's Blockchain
Now You See Me: Hide and Seek in Physical Address Space
Putting IMT to the Test: Revisiting and Expanding Interval Matching Techniques and their Calibration for SCA
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures
PalmTree: Learning an Assembly Language Model for Instruction Embedding
Threat from Windshield: Vehicle Windows as Involuntary Attack Sources on Automotive Voice Assistants
Lock the Door But Keep the Window Open: Extracting App-Protected Accessibility Information from Browser-Rendered Websites
Biometrics-Authenticated Key Exchange for Secure Messaging
Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit
The Case for System Command Encryption
MagAttack: Guessing Application Launching and Operation via Smartphone
Securely Training Decision Trees Efficiently
MTD 2018: 5th ACM Workshop on Moving Target Defense (MTD)
Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency
Practicing Oblivious Access on Cloud Storage: the Gap, the Fallacy, and the New Way Forward
Continuous Release of Data Streams under both Centralized and Local Differential Privacy
The UNIX Process Identity Crisis: A Standards-Driven Approach to Setuid
Mitaka: Faster, Simpler, Parallelizable and Maskable Hash-and-Sign Signatures on NTRU Lattices
Private-by-Design Advertising Meets the Real World
Flexible security configuration for virtual machines
Privacy-preserving alibi systems
Sleeping Giants - Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes
Secure Parallel Computation on Privately Partitioned Data and Applications
POSTER: OS Independent Fuzz Testing of I/O Boundary
CCSW 2014: Sixth ACM Cloud Computing Security Workshop
LZKSA: Lattice-Based Special Zero-Knowledge Proofs for Secure Aggregation's Input Verification
Single-Server Delegation of Small-Exponent Exponentiation from Quasilinear-Time Clients and Applications
Catch Me If You Can: Dynamic Concealment of Network Entities
Policy-based secure deletion
Towards Practical "Proven Secure" Authenticated Key Distribution
DCast: sustaining collaboration in overlay multicast despite rational collusion
A statistical approach to botnet virulence estimation
Defending Against Key Exfiltration: Efficiency Improvements for Big-Key Cryptography via Large-Alphabet Subkey Prediction
DoS Attacks on Your Memory in Cloud
Poster: Fingerprint-Face Friction Based Earable Authentication
Verification of Group Key Management of IEEE 802.21 using ProVerif
POSTER: (Semi)-Supervised Machine Learning Approaches for Network Security in High-Dimensional Network Data
WINK: Wireless Inference of Numerical Keystrokes via Zero-Training Spatiotemporal Analysis
Leakage-Resilient Authentication and Encryption from Symmetric Cryptographic Primitives
Precise Android API Protection Mapping Derivation and Reasoning
Forgery-Resistant Touch-based Authentication on Mobile Devices
Towards Automated Computational Auditing of mHealth Security and Privacy Regulations
Looping for Good: Cyclic Proofs for Security Protocols
MP-SPDZ: A Versatile Framework for Multi-Party Computation
Automatic Deployment of Specification-based Intrusion Detection in the BACnet Protocol
Usage control platformization via trustworthy SELinux
Short Paper: Probabilistically Almost-Oblivious Computation
Accountability: definition and relationship to verifiability
CSCS '25 - Cyber Security in CarS Workshop
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations
A Framework for Outsourcing of Secure Computation
Poster: Control-Flow Integrity in Low-end Embedded Devices
Poster: When Adversary Becomes the Guardian - Towards Side-channel Security With Adversarial Attacks
Economic Factors of Vulnerability Trade and Exploitation
Exploring Effect of Residual Electric Charges on Cryptographic Circuits
Research Challenges and Opportunities in Big Forensic Data
A modular correctness proof of IEEE 802.11i and TLS
Self-certified ring signatures
WedgeTail: An Intrusion Prevention System for the Data Plane of Software Defined Networks
MaskPrint: Take the Initiative in Fingerprint Protection to Mitigate the Harm of Data Breach
FRiCS: A Framework for Risk-driven Cloud Selection
TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake
Behavior Prediction over Summarized Network Activities
How to (not) Share a Password: Privacy Preserving Protocols for Finding Heavy Hitters with Adversarial Behavior
Electromagnetic Induction Attacks Against Embedded Systems
Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations
Static Analysis Opportunities for Improving Agile and Moving Target Defenses
Supporting Privacy-Conscious App Update Decisions with User Reviews
Stargaze: A LEO Constellation Emulator for Security Experimentation
TileMask: A Passive-Reflection-based Attack against mmWave Radar Object Detection in Autonomous Driving
SafeConfig'16: Testing and Evaluation for Active and Resilient Cyber Systems
Annotated Multisemantics To Prove Non-Interference Analyses
On the Detectability of ChatGPT Content: Benchmarking, Methodology, and Evaluation through the Lens of Academic Writing
Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart
Call Me Back!: Attacks on System Server and System Apps in Android through Synchronous Callback
A Guided Approach to Behavioral Authentication
What's in the box: Deflecting Adversarial Attacks by Randomly Deploying Adversarially-Disjoint Models
Exchange of Patient Records - Prototype Implementation of a Security Attributes Service in X.500
GAN-Leaks: A Taxonomy of Membership Inference Attacks against Generative Models
The Role of Randomization in Trustworthy Machine Learning
Session details: Session 2: Novel MTD Frameworks and Techniques
The vAMP Attack: Taking Control of Cloud Systems via the Unified Packet Parser
Developing Models for Physical Attacks in Cyber-Physical Systems
Proof-Carrying Network Code
The (un)reliability of NVD vulnerable versions data: an empirical experiment on Google Chrome vulnerabilities
A DCA-resistant Implementation of SM4 for the White-box Context
Controller Area Network Intrusion Prevention System Leveraging Fault Recovery
Reconstructing with Less: Leakage Abuse Attacks in Two Dimensions
4th cloud computing security workshop (CCSW 2012)
Committed Vector Oblivious Linear Evaluation and Its Applications
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
Hiding in Plain Sight: A Longitudinal Study of Combosquatting Abuse
Deriving common malware behavior through graph clustering
TableGAN-MCA: Evaluating Membership Collisions of GAN-Synthesized Tabular Data Releasing
Poster: From Hashes to Ashes - A Comparison of Transcription Services
Subpopulation Data Poisoning Attacks
Code Injection Attacks on HTML5-based Mobile Apps: Characterization, Detection and Mitigation
Non-interactive conference key distribution and its applications
Efficient Multi-Party Private Set Intersection Against Malicious Adversaries
Your Battery Is a Blast! Safeguarding Against Counterfeit Batteries with Authentication
LibAFL: A Framework to Build Modular and Reusable Fuzzers
Poster: FlashGuard: Real-time Disruption of Non-Price Flash Loan Attacks in DeFi
POSTER: Protecting Against Data Exfiltration Insider Attacks Through Application Programs
MuSig-DN: Schnorr Multi-Signatures with Verifiably Deterministic Nonces
From Collision To Exploitation: Unleashing Use-After-Free Vulnerabilities in Linux Kernel
Rootkit-resistant disks
Post Quantum Noise
Session details: AI for Forensics
S-ORAM: a segmentation-based oblivious RAM
Poster: Security and Privacy Heterogeneous Environment for Reproducible Experimentation (SPHERE)
Kargus: a highly-scalable software-based intrusion detection system
Disa: Accurate Learning-based Static Disassembly with Attentions
System and network trustworthiness in perspective
Deduction soundness: prove one, get five for free
ARPKI: Attack Resilient Public-Key Infrastructure
Toward Practical Threshold FHE: Low Communication, Computation and Interaction
pMPL: A Robust Multi-Party Learning Framework with a Privileged Party
Software Security and Randomization through Program Partitioning and Circuit Variation
Model-Reuse Attacks on Deep Learning Systems
Poster: CUD: crowdsourcing for URL spam detection
Decentralized Secure Data Sharing with Attribute-Based Encryption: A Resource Consumption Analysis
Unbundle-Rewrite-Rebundle: Runtime Detection and Rewriting of Privacy-Harming Code in JavaScript Bundles
Hiding Higher-Order Univariate Leakages by Shuffling Polynomial Masking Schemes: A More Efficient, Shuffled, and Higher-Order Masked AES S-box
No Training Hurdles: Fast Training-Agnostic Attacks to Infer Your Typing
Learning the PE Header, Malware Detection with Minimal Domain Knowledge
AgentSentinel: An End-to-End and Real-Time Security Defense Framework for Computer-Use Agents
Salus: a system for server-aided secure function evaluation
DEMOS-2: Scalable E2E Verifiable Elections without Random Oracles
The Generals' Scuttlebutt: Byzantine-Resilient Gossip Protocols
AdVersarial: Perceptual Ad Blocking meets Adversarial Machine Learning
Reinforcement Learning Algorithms for Adaptive Cyber Defense against Heartbleed
Secure 3D Printing: Reconstructing and Validating Solid Geometries using Toolpath Reverse Engineering
Privacy Limitations of Interest-based Advertising on The Web: A Post-mortem Empirical Analysis of Google's FLoC
POSTER: ReAvatar: Virtual Reality De-anonymization Attack Through Correlating Movement Signatures
SPECPATCH: Human-In-The-Loop Adversarial Audio Spectrogram Patch Attack on Speech Recognition
Ring signatures without random oracles
Trusted execution environments on mobile devices
Time series modeling for IDS alert management
Force vs. Nudge: Comparing Users' Pattern Choices on SysPal and TinPal
eHIFS: An Efficient History Independent File System
POSTER: Mobile Device Identification by Leveraging Built-in Capacitive Signature
Session details: Session 4: Industrial Control and SCADA Systems
Proofs of retrievability with public verifiability and constant communication cost in cloud
POSTER: PenJ1939: An Interactive Framework for Design and Dissemination of Exploits for Commercial Vehicles
Session details: Session 3: Protection of Critical Services against Advanced Threats
AUTOREB: Automatically Understanding the Review-to-Behavior Fidelity in Android Applications
Jack-in-the-box: An Empirical Study of JavaScript Bundling on the Web and its Security Implications
Dissecting one click frauds
The road to trustworthy systems
CatchAll: A Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix
A close look on n -grams in intrusion detection: anomaly detection vs. classification
Subversion-resilient Key-exchange in the Post-quantum World
Selling Satisfaction: A Qualitative Analysis of Cybersecurity Awareness Vendors' Promises
POSTER: AFL-based Fuzzing for Java with Kelinci
Parallel mixing
Exposing Transmitters in Mobile Multi-Agent Games
Exploiting social networks for threshold signing: attack-resilience vs. availability
Torben: A Practical Side-Channel Attack for Deanonymizing Tor Communication
Düppel: retrofitting commodity operating systems to mitigate cache side channels in the cloud
Introducing pathogen: a real-time virtualmachine introspection framework
On the Security of Cracking-Resistant Password Vaults
XNPro: Low-Impact Hypervisor-Based Execution Prevention on ARM
Don't Let One Rotten Apple Spoil the Whole Barrel: Towards Automated Detection of Shadowed Domains
Leakage resilient eCK-secure key exchange protocol without random oracles
Poster: ESPOON ERBAC : enforcing security policies in outsourced environments with encrypted RBAC
Membership Inference Attacks Against In-Context Learning
Refined TFHE Leveled Homomorphic Evaluation and Its Application
CPOL: high-performance policy evaluation
Spec-o-Scope: Cache Probing at Cache Speed
I Know Where You are: Proofs of Presence Resilient to Malicious Provers
Boolean symmetric searchable encryption
Deep Fingerprinting: Undermining Website Fingerprinting Defenses with Deep Learning
Tail Attacks on Web Applications
On the Robustness of Domain Constraints
Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning
CyCAR'13, Proceedings of the 2013 ACM Workshop on Security, Privacy and Dependability for CyberVehicles, Co-located with CCS 2013, November 4, 2013, Berlin, Germany
Secure attribute-based systems
Password Hardening Based on Keystroke Dynamics
A Statistical Analysis Framework for ICS Process Datasets
CloudFilter: practical control of sensitive data propagation to the cloud
IntentFuzzer: detecting capability leaks of android applications
ASMesh: Anonymous and Secure Messaging in Mesh Networks Using Stronger, Anonymous Double Ratchet
Bridging Automated to Autonomous Cyber Defense: Foundational Analysis of Tabular Q-Learning
Knowing your enemy: understanding and detecting malicious web advertising
Combined Private Circuits - Combined Security Refurbished
Lite-PoT: Practical Powers-of-Tau Setup Ceremony
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
When good instructions go bad: generalizing return-oriented programming to RISC
Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices, SPSM@CCS 2016, Vienna, Austria, October 24, 2016
ConsensusDay '22: ACM Workshop on Developments in Consensus
Finding Cracks in Shields: On the Security of Control Flow Integrity Mechanisms
Quo Vadis: Hybrid Machine Learning Meta-Model Based on Contextual and Behavioral Malware Representations
Ohm's Law in Data Centers: A Voltage Side Channel for Timing Power Attacks
A decision procedure for the verification of security protocols with explicit destructors
Practical Results of ECC Side Channel Countermeasures on an ARM Cortex M3 Processor
Achieving Meaningful Privacy in Digital Systems
DoubleX: Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
Provably authenticated group Diffie-Hellman key exchange
Succinct Arguments for Bilinear Group Arithmetic: Practical Structure-Preserving Cryptography
Automatic verification of protocols with lists of unbounded length
Tracked Without a Trace: Linking Sessions of Users by Unsupervised Learning of Patterns in Their DNS Traffic
Realizing Corrupted-Shard Tolerance: A Sharding Blockchain with Preserving Global Resilience
Intransitive noninterference in nondeterministic systems
Poster: a path-cutting approach to blocking XSS worms in social web networks
Highly-Efficient Fully-Anonymous Dynamic Group Signatures
POSTER: Recovering Songs from a Hanging Light Bulb
Can Personal Health Information Be Secured in LLM? Privacy Attack and Defense in the Medical Domain
Demo: secure computation in JavaScript
Training Robust Classifiers for Classifying Encrypted Traffic under Dynamic Network Conditions
The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86)
Velody: Nonlinear Vibration Challenge-Response for Resilient User Authentication
Hidden credential retrieval from a reusable password
Biometrics hit the mainstream: an analysis of security and privacy implications
NJAS: Sandboxing Unmodified Applications in non-rooted Devices Running stock Android
Proceedings of the 6th on ASIA Public-Key Cryptography Workshop, APKC@AsiaCCS 2019, Auckland, New Zealand, July 8, 2019
False data injection attacks against state estimation in electric power grids
Securing implantable cardiac medical devices: use of radio frequency energy harvesting
Poster: INSIDE - Enhancing Network Intrusion Detection in Power Grids with Automated Facility Monitoring
Empirical Game-Theoretic Analysis for Moving Target Defense
Greybox Fuzzing of Distributed Systems
On mouse dynamics as a behavioral biometric for authentication
POSTER: Privacy Enhanced Secure Location Verification
Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext
Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment Plant
Verification condition generation for conditional information flow
Dynamic Security with SDN: Opportunities, Challenges, and Lessons Learned
Proof of plaintext knowledge for code-based public-key encryption revisited
Control, Confidentiality, and the Right to be Forgotten
POSTER: An Empirical Measurement Study on Multi-tenant Deployment Issues of CDNs
Securify: Practical Security Analysis of Smart Contracts
The Dynamics of Innocent Flesh on the Bone: Code Reuse Ten Years Later
HAMIDS: Hierarchical Monitoring Intrusion Detection System for Industrial Control Systems
A new framework for efficient password-based authenticated key exchange
Algebraic pseudorandom functions with improved efficiency from the augmented cascade
Flexible muTPMs through disembedding
Detecting Violations of Differential Privacy
Tidy: Symbolic Verification of Timed Cryptographic Protocols
SafeGuider: Robust and Practical Content Safety Control for Text-to-Image Models
Enhancing State-of-the-art Classifiers with API Semantics to Detect Evolved Android Malware
Efficient Techniques for Publicly Verifiable Delegation of Computation
Robust correlation of encrypted attack traffic through stepping stones by manipulation of interpacket delays
Windows phone 8 security
Text-based CAPTCHA strengths and weaknesses
PnP: improving web browsing performance over tor using web resource prefetch-and-push
Poster: Directed Hybrid Fuzzing on Binary Code
Efficient Secret Sharing for Large-Scale Applications
SysTEX'18: 2018 Workshop on System Software for Trusted Execution
MicPro: Microphone-based Voice Privacy Protection
Practical applications of homomorphic encryption
Rhombus: Fast Homomorphic Matrix-Vector Multiplication for Secure Two-Party Inference
Attacks and Defence on Android Free Floating Windows
On the invisibility of designated confirmer signatures
Risk Prioritization by Leveraging Latent Vulnerability Features in a Contested Environment
Seeding clouds with trust anchors
Multi-Stage Key Exchange and the Case of Google's QUIC Protocol
Cryptanalysis of GiophantusTM Schemes against Hybrid Attack
Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks
Poster: Clean-label Backdoor Attack on Graph Neural Networks
EviHunter: Identifying Digital Evidence in the Permanent Storage of Android Devices via Static Analysis
DCMI: A Differential Calibration Membership Inference Attack Against Retrieval-Augmented Generation
Medical Devices are at Risk: Information Security on Diagnostic Imaging System
Graphchain: a Blockchain-Free Scalable Decentralised Ledger
Keyboard acoustic emanations revisited
Separating hypervisor trusted computing base supported by hardware
In-design Resilient SDN Control Plane and Elastic Forwarding Against Aggressive DDoS Attacks
KDM and Selective Opening Secure IBE Based on the LWE Problem
Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, STC 2008, Alexandria, VA, USA, October 31, 2008
TEMPEST-LoRa: Cross-Technology Covert Communication
Security analysis of pseudo-random number generators with input: /dev/random is not robust
Adaptive distributed mechanism against flooding network attacks based on machine learning
Secure group key management scheme based on dual receiver cryptosystem
Practical and Privacy-Aware Truth Discovery in Mobile Crowd Sensing Systems
Demo: Image Disguising for Scalable GPU-accelerated Confidential Deep Learning
Implementing BP-Obfuscation Using Graph-Induced Encoding
Revokable and Versatile Electronic Money (extended abstract)
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003
Mitigation of Attacks on Email End-to-End Encryption
Why So Toxic?: Measuring and Triggering Toxic Behavior in Open-Domain Chatbots
VoiceLive: A Phoneme Localization based Liveness Detection for Voice Authentication on Smartphones
Lifelong Anomaly Detection Through Unlearning
Semantic keyword search based on trie over encrypted cloud data
Accountable Liveness
Authenticated wireless roaming via tunnels: making mobile guests feel at home
Print signatures for document authentication
A Secure, Practical & Safe Packet Spoofing Service
Zero Knowledge Static Program Analysis
Anonymous Identity-Based Broadcast Encryption with Constant Decryption Complexity and Strong Security
Scalable Multicast Security in Dynamic Groups
Poster: ERIS: Evaluating ROV via ICMPv6 Rate Limiting Side Channels
Formal verification of information flow security for a simple arm-based separation kernel
Efficient Verifiable Computation of Linear and Quadratic Functions over Encrypted Data
Enforcing a security pattern in stakeholder goal models
Sleeping android: the danger of dormant permissions
ParBFT: Faster Asynchronous BFT Consensus with a Parallel Optimistic Path
Several Secure Store and Forward Devices
Protecting privacy by sanitizing personal data: a new approach to anonymous credentials
SafeGen: Mitigating Sexually Explicit Content Generation in Text-to-Image Models
OSmart: Whitebox Program Option Fuzzing
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs
On Simple and Secure Key Distribution
Private stateful circuits secure against probing attacks
Design and implementation of a flexible RBAC-service in an object-oriented scripting language
Secure open source collaboration: an empirical study of linus' law
On the mixing time of directed social graphs and security implications
Efficient Two-level Homomorphic Encryption in Prime-order Bilinear Groups and A Fast Implementation in WebAssembly