yusuke1997/dblp-id-title huggingface dataset:
Data protection in outsourcing scenarios: issues and directions
Quantifying and Mitigating Privacy Risks of Contrastive Learning
POSTER: Euclidean Distance Based Encryption: How to Embed Fuzziness in Biometric Based Encryption
Non-Transferable Anonymous Tokens by Secret Binding
Expressive policy analysis with enhanced system dynamicity
Differential Fault Analysis of NORX
Worry-free encryption: functional encryption with public keys
CL-PRE: a certificateless proxy re-encryption scheme for secure data sharing with public cloud
εpsolute: Efficiently Querying Databases While Providing Differential Privacy
World-Driven Access Control for Continuous Sensing
"Mainstreaming" Automated Information Systems Security Engineering (a case study in security run amok)
Poster: Synchronization Concerns of DNS Integrations
On the foundations of trust in networks of humans and computers
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers
On mutually-exclusive roles and separation of duty
Don't Skype & Type!: Acoustic Eavesdropping in Voice-Over-IP
Scalable trust: engineering challenge or complexity barrier?
Encrypted Matrix-Vector Products from Secret Dual Codes
Unified Login with Pluggable Authentication Modules (PAM)
Where's Wally?: How to Privately Discover your Friends on the Internet
Verified implementations of the information card federated identity-management protocol
Enabling trusted stores for android
Security is the Weakest Link: Prevalent Culture of Victim Blaming in Cyberattacks
Back to the Roots: Information Sharing Economics and What We Can Learn for Security
Measuring Botnets in the Wild: Some New Trends
How to Accurately and Privately Identify Anomalies
MetaEmu: An Architecture Agnostic Rehosting Framework for Automotive Firmware
Proceedings of the 2016 ACM Workshop on Artificial Intelligence and Security, AISec@CCS 2016, Vienna, Austria, October 28, 2016
A Note on the Security of Equihash
Lost along the Way: Understanding and Mitigating Path-Misresolution Threats to Container Isolation
Effective and Light-Weight Deobfuscation and Semantic-Aware Attack Detection for PowerShell Scripts
A Systematic Approach to Developing and Evaluating Website Fingerprinting Defenses
MPC-Friendly Commitments for Publicly Verifiable Covert Security
Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic
Multi-Threshold Byzantine Fault Tolerance
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
Efficient Genome-Wide, Privacy-Preserving Similar Patient Query based on Private Edit Distance
Deconstructing new cache designs for thwarting software cache-based side channel attacks
On The Limits of Detecting Process Anomalies in Critical Infrastructure
POSTER: X-Ray Your DNS
A Unified Membership Inference Method for Visual Self-supervised Encoder via Part-aware Capability
Signal anomaly based attack detection in wireless sensor networks
Data Mining for Efficient Collaborative Information Discovery
DEMO: Starving Permission-Hungry Android Apps Using SecuRank
Examining Mirai's Battle over the Internet of Things
Poster: Towards Lightweight TEE-Assisted MPC
Criminal Minds: Reasoning Prime Suspect in Russian Hacking Scandal by Perspective of Insiders
A look in the mirror: attacks on package managers
Optimistic Protocols for Fair Exchange
Detecting Structurally Anomalous Logins Within Enterprise Networks
Stealthy malware detection through vmm-based "out-of-the-box" semantic view reconstruction
TriFlow: Triaging Android Applications using Speculative Information Flows
POSTER: Fingerprinting Tor Hidden Services
Consequences of Connectivity: Characterizing Account Hijacking on Twitter
GRandLine: Adaptively Secure DKG and Randomness Beacon with (Log-)Quadratic Communication Complexity
Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004
E-ABS: Extending the Analysis-By-Synthesis Robust Classification Model to More Complex Image Domains
Security Analysis of Privately Verifiable Privacy Pass
Fully automated analysis of padding-based encryption in the computational model
Poster: Enhance Hardware Domain Specific Large Language Model with Reinforcement Learning for Resilience
IntegriDB: Verifiable SQL for Outsourced Databases
NNoculation: Catching BadNets in the Wild
DIFC programs by automatic instrumentation
Towards modeling the behavior of physical intruders in a region monitored by a wireless sensor network
Uncovering and Exploiting Hidden APIs in Mobile Super Apps
Byzantine-Secure Relying Party for Resilient RPKI
Anomaly detection of web-based attacks
Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing
Be Selfish and Avoid Dilemmas: Fork After Withholding (FAW) Attacks on Bitcoin
Proxy re-signatures: new definitions, algorithms, and applications
Poster: A Secure Multiparty Computation Platform for Squeaky-Clean Data Rooms
Proceedings of the first ACM Cloud Computing Security Workshop, CCSW 2009, Chicago, IL, USA, November 13, 2009
Protecting Insecure Communications with Topology-aware Network Tunnels
Resource-freeing attacks: improve your cloud performance (at your neighbor's expense)
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007
"We've Disabled MFA for You": An Evaluation of the Security and Usability of Multi-Factor Authentication Recovery Deployments
Privacy and Security in the Genomic Era
Fast dictionary attacks on passwords using time-space tradeoff
Poster: LBMS: load balancing based on multilateral security in cloud
Secure two-party k-means clustering
CoCo: Efficient Browser Extension Vulnerability Detection via Coverage-guided, Concurrent Abstract Interpretation
Digital Transformation and emerging ICS/OT cyber attacks - Imminent Threats to Our Society
Eighth ACM workshop on digital identity management (DIM 2013): identity at the crossroads
Foundations of garbled circuits
HyperDbg: Reinventing Hardware-Assisted Debugging
PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing
GPSBuster: Busting out Hidden GPS Trackers via MSoC Electromagnetic Radiations
A Forward Error Compensation Approach for Fault Resilient Deep Neural Network Accelerator Design
BitShred: feature hashing malware for scalable triage and semantic analysis
A Computationally Complete Symbolic Attacker for Equivalence Properties
When Side-Channel Attacks Break the Black-Box Property of Embedded Artificial Intelligence
Towards practical biometric key generation with randomized biometric templates
Lucky 13 Strikes Back
Release the Kraken: New KRACKs in the 802.11 Standard
Poster: Model-driven Privacy Analysis of Messaging Platforms
DeepCache: Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables
Algebraic specification of network security risk management
Trustworthy distributed computing on social networks
Host of Troubles: Multiple Host Ambiguities in HTTP Implementations
Exploring Price Accuracy on Uniswap V3 in Times of Distress
On the effectiveness of using state-of-the-art machine learning techniques to launch cryptographic distinguishing attacks
TypeSqueezer: When Static Recovery of Function Signatures for Binary Executables Meets Dynamic Analysis
Control-Flow Carrying Code
EpicRec: Towards Practical Differentially Private Framework for Personalized Recommendation
Eluding Secure Aggregation in Federated Learning via Model Inconsistency
BEAT: Asynchronous BFT Made Practical
On the Accuracy of Password Strength Meters
On The Unforkability of Monero
How to Hide MetaData in MLS-Like Secure Group Messaging: Simple, Modular, and Post-Quantum
Anonymous user communication for privacy protection in wireless metropolitan mesh networks
vBump: Securing Ethernet-based Industrial Control System Networks with VLAN-based Traffic Aggregation
Dialing Back Abuse on Phone Verified Accounts
VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks
On learning and recognition of secure patterns
Fuzzy Message Detection
The power of procrastination: detection and mitigation of execution-stalling malicious code
On Hyperparameters and Backdoor-Resistance in Horizontal Federated Learning
Online Algorithms for Adaptive Cyber Defense on Bayesian Attack Graphs
The Impact of Timing on the Salience of Smartphone App Privacy Notices
Vigilare: toward snoop-based kernel integrity monitor
Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms
Security Certification in Payment Card Industry: Testbeds, Measurements, and Recommendations
A Chinese wall security model for decentralized workflow systems
First-Order Masking with Only Two Random Bits
An inquiry into the nature and causes of the wealth of internet miscreants
Cross-Layer Security of Embedded and Cyber-Physical Systems
Asynchronous Consensus without Trusted Setup or Public-Key Cryptography
A cloud based SIM DRM scheme for the mobile internet
Nonmalleable Information Flow Control
Towards ensuring client-side computational integrity
Evaluating Resilience of Gas Pipeline Systems Under Cyber-Physical Attacks: A Function-Based Methodology
Realistic Website Fingerprinting By Augmenting Network Traces
Security analysis of a widely deployed locking system
Practical Attacks Against Graph-based Clustering
Network Security Probe
Poster: Privacy Norms for Fertility Data in the Roe v. Wade era
An Epidemiological Study of Malware Encounters in a Large Enterprise
ProMACs: Progressive and Resynchronizing MACs for Continuous Efficient Authentication of Message Streams
Is complexity really the enemy of software security?
Blazing Fast PSI from Improved OKVS and Subfield VOLE
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering
Cache Refinement Type for Side-Channel Detection of Cryptographic Software
Detecting malware through temporal function-based features
Session details: GDPR
LBA privacy preserving index and its theoretical analysis in cloud storage systems
CLAPS: Client-Location-Aware Path Selection in Tor
FilterFL: Knowledge Filtering-based Data-Free Backdoor Defense for Federated Learning
Comparative study of multicast authentication schemes with application to wide-area measurement system
Poster: GRANDPA Finality Gadget
ZOO: Zeroth Order Optimization Based Black-box Attacks to Deep Neural Networks without Training Substitute Models
On secure outsourcing of cryptographic computations to cloud
Conjure: Summoning Proxies from Unused Address Space
FlexiRand: Output Private (Distributed) VRFs and Application to Blockchains
ATTRITION: Attacking Static Hardware Trojan Detection Techniques Using Reinforcement Learning
Training Robust ML-based Raw-Binary Malware Detectors in Hours, not Months
An intruder model for verifying liveness in security protocols
Computationally Secure Aggregation and Private Information Retrieval in the Shuffle Model
ELEKTRA: Efficient Lightweight multi-dEvice Key TRAnsparency
Studying Naive Users and the Insider Threat with SimpleFlow
Risk Assessment of Cyber Access to Physical Infrastructure in Cyber-Physical Systems
All your clouds are belong to us: security analysis of cloud management interfaces
An architecture for concurrent execution of secure environments in clouds
AuthSaber : Automated Safety Verification of OpenID Connect Programs
A practical mimicry attack against powerful system-call monitors
POSTER: Blind Separation of Benign and Malicious Events to Enable Accurate Malware Family Classification
Identity-Based Format-Preserving Encryption
Situational Access Control in the Internet of Things
A Qualitative Analysis of Practical De-Identification Guides
Misbehaving TCP receivers can cause internet-wide congestion collapse
Detection of stealthy malware activities with traffic causality and scalable triggering relation discovery
Deobfuscation of virtualization-obfuscated software: a semantics-based approach
The robustness of hollow CAPTCHAs
VRust: Automated Vulnerability Detection for Solana Smart Contracts
Analysis of traceability attack on Camenisch et al.'s blind signature schemes
Hardware-assisted Memory Isolation
Functional Adaptor Signatures: Beyond All-or-Nothing Blockchain-based Payments
Attribute Based Search in Encrypted Data: ABSE
Poster: Post-Quantum Readiness in EdDSA Chains
A Security Architecture for Computational Grids
Revisiting Hybrid Private Information Retrieval
Implementing and testing dynamic timeout adjustment as a dos counter-measure
Short paper: rethinking permissions for mobile web apps: barriers and the road ahead
Poster: Cyber Security Economics Model (CYSEM)
Efficient Defenses Against Adversarial Attacks
POSTER: Inaudible Voice Commands
Proceedings of the 2nd ACM Workshop on Scalable Trusted Computing, STC 2007, Alexandria, VA, USA, November 2, 2007
SyRA: Sybil-Resilient Anonymous Signatures with Applications to Decentralized Identity
Designing New Operating Primitives to Improve Fuzzing Performance
Shortcut: Making MPC-based Collaborative Analytics Efficient on Dynamic Databases
LPET - Mining MS-Windows Software Privilege Escalation Vulnerabilities by Monitoring Interactive Behavior
Keynote Talk
On the Practicality of Integrity Attacks on Document-Level Sentiment Analysis
"Do Anything Now": Characterizing and Evaluating In-The-Wild Jailbreak Prompts on Large Language Models
Quantitative Security Assessment Method based on Entropy for Moving Target Defense
DEMO: Akatosh: Automated Cyber Incident Verification and Impact Analysis
A portable TPM based on USB key
Determinating timing channels in compute clouds
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019
Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, SPSM@CCS 2014, Scottsdale, AZ, USA, November 03 - 07, 2014
Underground economy of android application plagiarism
Discovering and Exploiting IoT Device Hidden Attributes: A New Vulnerability in Smart Homes
Program Synthesis-based Simplification of MBA Obfuscated Malware with Restart Strategies
Securing passwords against dictionary attacks
Exorcising Spectres with Secure Compilers
CPSIoTSec '22: 4th Workshop on CPS & IoT Security and Privacy
Predictive black-box mitigation of timing channels
Context-free Attacks Using Keyboard Acoustic Emanations
Is Difficulty Calibration All We Need? Towards More Practical Membership Inference Attacks
Seeing isn't Believing: Towards More Robust Adversarial Attack Against Real World Object Detectors
Synthesising verified access control systems in XACML
iFriendU: leveraging 3-cliques to enhance infiltration attacks in online social networks
TabShots: client-side detection of tabnabbing attacks
Stepwise development of security protocols: a speech act-oriented approach
VoltJockey: Breaching TrustZone by Software-Controlled Voltage Manipulation over Multi-core Frequencies
Hidden in Plain Bytes: Investigating Interpersonal Account Compromise with Data Exports
Prudent Design Principles for Information Flow Control
PUF ROKs: a hardware approach to read-once keys
Secure Data Exchange: A Marketplace in the Cloud
ACTIDS: an active strategy for detecting and localizing network attacks
Privacy and security in library RFID: issues, practices, and architectures
VEP: a virtual machine for extended proof-carrying code
Fill in the Blanks: Empirical Analysis of the Privacy Threats of Browser Form Autofill
A conceptual framework for Group-Centric secure information sharing
POSTER: Using Chinese Characters for Authentication-Algorithmic Framework and Empirical Results
IND-CPA-D of Relaxed Functional Bootstrapping: A New Attack, A General Fix, and A Stronger Model
Discouraging Software Piracy Using Software Aging
PrivWatcher: Non-bypassable Monitoring and Protection of Process Credentials from Memory Corruption Attacks
Static Detection of Packet Injection Vulnerabilities: A Case for Identifying Attacker-controlled Implicit Information Leaks
On Passive Data Link Layer Fingerprinting of Aircraft Transponders
Order-Disorder: Imitation Adversarial Attacks for Black-box Neural Ranking Models
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol
UCognito: Private Browsing without Tears
Poster: Using CodeQL to Detect Malware in npm
Moving Target Defense Decision-Making Method: A Dynamic Markov Differential Game Model
Automatic Fingerprinting of Vulnerable BLE IoT Devices with Static UUIDs from Mobile Apps
WebCapsule: Towards a Lightweight Forensic Engine for Web Browsers
Attribute-Based Access Control Models and Beyond
Forgery attack on the RPC incremental unforgeable encryption scheme
Solidus: Confidential Distributed Ledger Transactions via PVORM
Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces
Efficient Construction of Completely Non-Malleable CCA Secure Public Key Encryption
Fast, Privacy Preserving Linear Regression over Distributed Datasets based on Pre-Distributed Data
CORGIDS: A Correlation-based Generic Intrusion Detection System
18th Workshop on Privacy in the Electronic Society (WPES 2019)
Hardware Isolation for Trusted Execution
Secure Names for Bit-Strings
AISec@CCS 2021: Proceedings of the 14th ACM Workshop on Artificial Intelligence and Security, Virtual Event, Republic of Korea, 15 November 2021
A flexible security architecture to support third-party applications on mobile devices
Crystalor: Recoverable Memory Encryption Mechanism with Optimized Metadata Structure
Twisted edwards-form elliptic curve cryptography for 8-bit AVR-based sensor nodes
Proceedings of the 2017 Workshop on Attacks and Solutions in Hardware Security, ASHES@CCS 2017, Dallas, TX, USA, November 3, 2017
Matproofs: Maintainable Matrix Commitment with Efficient Aggregation
SAFARI: Speech-Associated Facial Authentication for AR/VR Settings via Robust VIbration Signatures
A general design towards secure ad-hoc collaboration
Trust in a small package: minimized MRTM software implementation for mobile secure environments
Detecting Fake Accounts in Online Social Networks at the Time of Registrations
The Waterfall of Liberty: Decoy Routing Circumvention that Resists Routing Attacks
Lattice-Based Group Signatures and Zero-Knowledge Proofs of Automorphism Stability
VINE: A Cyber Emulation Environment for MTD Experimentation
Security of Okamoto Identification Scheme: a Defense against Ephemeral Key Leakage and Setup
Structural Attack against Graph Based Android Malware Detection
POSTER: Arranging the Layout of Alphanumeric Buttons-the Role of Passwords
Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security
Structural detection of android malware using embedded call graphs
CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020
Mayhem in the Push Clouds: Understanding and Mitigating Security Hazards in Mobile Push-Messaging Services
Kerberoid: A Practical Android App Decompilation System with Multiple Decompilers
Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Practical Quantum-Safe Voting from Lattices
IoT S&P 2017: First Workshop on Internet of Things Security and Privacy
BlackMirror: Preventing Wallhacks in 3D Online FPS Games
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting
Off-Path Attacks Against PKI
Equitable Security: Optimizing Distribution of Nudges and Resources
Evaluating New Copy-Prevention Techniques for Audio CDs
Secure mobile subscription of sensor-encrypted data
POSTER: DeepCRACk: Using Deep Learning to Automatically CRack Audio CAPTCHAs
Computationally sound verification of source code
Providing Root of Trust for ARM TrustZone using On-Chip SRAM
Achieving Flexibility for ABE with Outsourcing via Proxy Re-Encryption
Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction
From Verified Compilation to Secure Compilation: a Semantic Approach
TCG inside?: a note on TPM specification compliance
On the Design of a Cyber Security Data Sharing System
Mechanized Network Origin and Path Authenticity Proofs
VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties
Efficient packet marking for large-scale IP traceback
How to Simultaneously Exchange Secrets by General Assumptions
Poster: How Do Visually Impaired Users Navigate Accessibility Challenges in an Ad-Driven Web?
Observing and Preventing Leakage in MapReduce
CoSP: a general framework for computational soundness proofs
ProphetFuzz: Fully Automated Prediction and Fuzzing of High-Risk Option Combinations with Only Documentation via Large Language Model
Breaking KASLR on Mobile Devices without Any Use of Cache Memory
The security of modern password expiration: an algorithmic framework and empirical analysis
Sui Lutris: A Blockchain Combining Broadcast and Consensus
Privacy Engineering for Digital Rights Management Systems
DNS Cache Poisoning Attack: Resurrections with Side Channels
Cache Side Channels: State of the Art and Research Opportunities
Implementing Copyright Limitations in Rights Expression Languages
CERBERUS: Exploring Federated Prediction of Security Events
Misbinding Attacks on Secure Device Pairing and Bootstrapping
Toward practical authorization-dependent user obligation systems
History-Based Access Control for Mobile Code
Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths
Building an Encrypted, Distributed, and Searchable Key-value Store
Zaphod: Efficiently Combining LSSS and Garbled Circuits in SCALE
BinSequence: Fast, Accurate and Scalable Binary Code Reuse Detection
Passive SSH Key Compromise via Lattices
Reducing attack surfaces for intra-application communication in android
Don't Leak Your Keys: Understanding, Measuring, and Exploiting the AppSecret Leaks in Mini-Programs
PULSE: Parallel Private Set Union for Large-Scale Entities
Poster: WIP: Account ZK-Rollups from Sumcheck Arguments
A Behavioral Biometric Authentication Framework on Smartphones
Poster: An Analysis of Privacy Features in 'Expert-Approved' Kids' Apps
Exploiting Determinism in Lattice-based Signatures: Practical Fault Attacks on pqm4 Implementations of NIST Candidates
DieHarder: securing the heap
VisualPhishNet: Zero-Day Phishing Website Detection by Visual Similarity
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
Analysis on Manipulation of the MAC Address and Consequent Security Threats
Secure Parallel Computation with Oblivious State Transitions
Denial of Sequencing Attacks in Ethereum Layer 2 Rollups
P-Verifier: Understanding and Mitigating Security Risks in Cloud-based IoT Access Policies
BRIDEMAID: An Hybrid Tool for Accurate Detection of Android Malware
Protecting portable storage with host validation
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
Re 3 : relay reliability reputation for anonymity systems
Adoption Challenges of Code Randomization
NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation
Differentially Private Triangle and 4-Cycle Counting in the Shuffle Model
Cybersecurity Research and Training for Power Distribution Grids - A Blueprint
Content, Nudges and Incentives: A Study on the Effectiveness and Perception of Embedded Phishing Training
Non-interactive VSS using Class Groups and Application to DKG
Fingerprinting Bluetooth-Low-Energy Devices Based on the Generic Attribute Profile
Perceived risk assessment
Scalable Cryptography for Trustworthy Machine Learning in the LLM Era
Performance signatures of mobile phone browsers
SLAKE: Facilitating Slab Manipulation for Exploiting Vulnerabilities in the Linux Kernel
POSTER: Proactive Blacklist Update for Anti-Phishing
CyCAR'2013: first international academic workshop on security, privacy and dependability for cybervehicles
Two-party Private Set Intersection with an Untrusted Third Party
Scalable onion routing with torsk
Automatic Detection of Fake Key Attacks in Secure Messaging
Poster: Verifiable Data Valuation with Strong Fairness in Horizontal Federated Learning