yusuke1997/dblp-id-title huggingface dataset:
SEGS'13, Proceedings of the 2013 ACM Workshop on Smart Energy Grid Security, Co-located with CCS 2013, November 8, 2013, Berlin, Germany
Malicious Behavior Detection using Windows Audit Logs
AVScan2Vec: Feature Learning on Antivirus Scan Data for Production-Scale Malware Corpora
Poster: Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling
Access Control and Signatures via Quorum Secret Sharing
On efficient ciphertext-policy attribute based encryption and broadcast encryption: extended abstract
A New Burst-DFA model for SCADA Anomaly Detection
Feasibility of PUF-Based Authentication on ATtiny Devices with Off-the-Shelf SRAM
PROBONITE: PRivate One-Branch-Only Non-Interactive decision Tree Evaluation
Regression Greybox Fuzzing
Deterrence of Intelligent DDoS via Multi-Hop Traffic Divergence
Audio Hotspot Attack: An Attack on Voice Assistance Systems Using Directional Sound Beams
Privacy preserving EHR system using attribute-based infrastructure
CheckMATE '25: Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks
2nd International Workshop on Multimedia Privacy and Security
Neighborhood watch: security and privacy analysis of automatic meter reading systems
Fast automatic synthesis of security protocols using backward search
Building Applications with Homomorphic Encryption
PSiOS: bring your own privacy & security to iOS devices
A Cyber Mutation: Metrics, Techniques and Future Directions
Off-Path TCP Exploits: PMTUD Breaks TCP Connection Isolation in IP Address Sharing Scenarios
Toward Detecting Collusive Ranking Manipulation Attackers in Mobile App Markets
New Features of Authentication Scheme for the IoT: A Survey
Stealing the Decoding Algorithms of Language Models
Poster: fast, automatic iPhone shoulder surfing
Towards Ideal Self-bilinear Map
Towards automated provisioning of secure virtualized networks
A software-based root-of-trust primitive on multicore platforms
Battle of Botcraft: fighting bots in online games with human observational proofs
Better Keep Cash in Your Boots - Hardware Wallets are the New Single Point of Failure
Detecting Violations of Differential Privacy for Quantum Algorithms
Heart-to-heart (H2H): authentication for implanted medical devices
Lessons learned with PCF: scaling secure computation
Towards Reactive Acoustic Jamming for Personal Voice Assistants
A Functional Co-Design towards Safe and Secure Vehicle Platooning
Fighting malicious code: an eternal struggle
Exaggerated Error Handling Hurts! An In-Depth Study and Context-Aware Detection
ÆGIS: Smart Shielding of Smart Contracts
AISec '22: 15th ACM Workshop on Artificial Intelligence and Security
A Secure Automobile Information Sharing System
Fifth ACM workshop on artificial intelligence and security (AISec 2012)
Prioritizing intrusion analysis using Dempster-Shafer theory
Mimicry attacks on host-based intrusion detection systems
Profile-guided System Optimizations for Accelerated Greybox Fuzzing
Randomization-based Defenses against Data-Oriented Attacks
From Copyright to Information Law - Implications of Digital Rights Management
A three-way investigation of a game-CAPTCHA: automated attacks, relay attacks and usability
Poster: Formalizing Cognitive Biases for Cybersecurity Defenses
Android Database Attacks Revisited
Verifiable Outsourcing Algorithms for Modular Exponentiations with Improved Checkability
Secure data deletion from persistent media
NFGen: Automatic Non-linear Function Evaluation Code Generator for General-purpose MPC Platforms
Yet another MicroArchitectural Attack: : exploiting I-Cache
StemJail: Dynamic Role Compartmentalization
Tight Consistency Bounds for Bitcoin
An In-Depth Symbolic Security Analysis of the ACME Standard
Ordered multisignatures and identity-based sequential aggregate signatures, with applications to secure routing
Proceedings of the 1st international workshop on Information hiding and its criteria for evaluation, IWIHC 2014, Kyoto, Japan, June 3, 2014
Efficient and secure storage of private keys for pseudonymous vehicular communication
TaintART: A Practical Multi-level Information-Flow Tracking System for Android RunTime
AI-Augmented Static Analysis: Bridging Heuristics and Completeness for Practical Reverse Engineering
A framework for decentralized access control
Towards an Efficient Policy Evaluation Process in Multi-Tenancy Cloud Environments
9th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '14, Kyoto, Japan - June 03 - 06, 2014
Cryptographically Enforced Memory Safety
k-Anonymization by Freeform Generalization
Asynchronous verifiable secret sharing and proactive cryptosystems
What Gets Measured Gets Managed: Mitigating Supply Chain Attacks with a Link Integrity Management System
Type-checking zero-knowledge
Mitigating Data Poisoning Attacks to Local Differential Privacy
Friend or Foe?: Your Wearable Devices Reveal Your Personal PIN
DEMO: A Secure Voting System for Score Based Elections
Poster: Adversarial Examples for Hate Speech Classifiers
Beat-PIN : A User Authentication Mechanism for Wearable Devices Through Secret Beats
Constant Communication ORAM with Small Blocksize
Receipt-mode trust negotiation: efficient authorization through outsourced interactions
On Feasibility and Performance of Rowhammmer Attack
POSTER: Computations on Encrypted Data in the Internet of Things Applications
How to Prove Where You Are: Tracking the Location of Customer Equipment
Passwords on flexible display devices
Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams
SpecVerilog: Adapting Information Flow Control for Secure Speculation
I've got 99 problems, but vibration ain't one: a survey of smartphone users' concerns
Detecting Tunneled Flooding Traffic via Deep Semantic Analysis of Packet Length Patterns
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks
Differentially Private Sparse Vectors with Low Error, Optimal Space, and Fast Access
Formal Approach for Resilient Reachability based on End-System Route Agility
UC Non-Interactive, Proactive, Threshold ECDSA with Identifiable Aborts
On the feasibility of launching the man-in-the-middle attacks on VoIP from remote attackers
CapSpeaker: Injecting Voices to Microphones via Capacitors
Differentially Private Noisy Search with Applications to Anomaly Detection (Abstract)
GuardMR: Fine-grained Security Policy Enforcement for MapReduce Systems
The Influence of Code Coverage Metrics on Automated Testing Efficiency in Android
Hawkeye: Towards a Desired Directed Grey-box Fuzzer
Head(er)s Up! Detecting Security Header Inconsistencies in Browsers
Buffer overrun detection using linear programming and static analysis
Detecting fraudulent use of cloud resources
New client puzzle outsourcing techniques for DoS resistance
Automated black-box detection of side-channel vulnerabilities in web applications
Carving secure wi-fi zones with defensive jamming
Poster: can it be more practical?: improving mouse dynamics biometric performance
Prediction Privacy in Distributed Multi-Exit Neural Networks: Vulnerabilities and Solutions
Replayer: automatic protocol replay by binary analysis
A New Take on Detecting Insider Threats: Exploring the Use of Hidden Markov Models
Poster: Adversarial Defense with Deep Learning Coverage on MagNet's Purification
GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
SENAMI: Selective Non-Invasive Active Monitoring for ICS Intrusion Detection
To Update or Not to Update: Insights From a Two-Year Study of Android App Evolution
Game Theory Meets Network Security: A Tutorial
Demo: a comprehensive framework enabling data-minimizing authentication
Poster: An Obfuscation Framework for Mitigating Topology Probing Attacks in Cloud-Native Systems
A distributed key assignment protocol for secure multicast based on proxy cryptography
Ports Distribution Management for Privacy Protection inside Local Domain Name System
AI/ML for Network Security: The Emperor has no Clothes
Post-Quantum TLS Without Handshake Signatures
Certificateless onion routing
A protocol for property-based attestation
WISCS'15: The 2nd ACM Workshop on Information Sharing and Collaborative Security
VMud: Detecting Recurring Vulnerabilities with Multiple Fixing Functions via Function Selection and Semantic Equivalent Statement Matching
The Case for In-Network Replay Suppression
Global-Scale Secure Multiparty Computation
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic
Poster: attribute based broadcast encryption with permanent revocation
How to Recover a Cryptographic Secret From the Cloud
Robust defenses for cross-site request forgery
An IDS framework for internet of things empowered by 6LoWPAN
Prioritizing software security fortification throughcode-level metrics
Diglossia: detecting code injection attacks with precision and efficiency
Security implications of Android: a closed system, open software mobile platform
NeVerMore: Exploiting RDMA Mistakes in NVMe-oF Storage Applications
Realistic Threats and Realistic Users: Lessons from the Election
Information disclosure under realistic assumptions: privacy versus optimality
Price of MEV: Towards a Game Theoretical Approach to MEV
PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020
TooLate: Cryptographic Data Access Control for Offline Devices through Efficient Key Rotation
Poster: Signer Discretion is Advised: On the Insecurity of Vitalik's Threshold Hash-based Signatures
All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations
Layering negotiations for flexible attestation
A formal model for virtual machine introspection
Leave Your Phone at the Door: Side Channels that Reveal Factory Floor Secrets
Towards a Theory of Moving Target Defense
Capturing Malware Propagations with Code Injections and Code-Reuse Attacks
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015
Dynamic Self-Checking Techniques for Improved Tamper Resistance
Secure Bilinear Pairing Outsourcing Made More Efficient and Flexible
Asynchronous policy evaluation and enforcement
Poster: Longitudinal Analysis of DoS Attacks
i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains?
Enabling Assured Deletion in the Cloud Storage by Overwriting
POSTER: Fingerprinting the Publicly Available Sandboxes
DISTINCT: Identity Theft using In-Browser Communications in Dual-Window Single Sign-On
Attacking and repairing the winZip encryption scheme
CCA-Secure Traceable Threshold (ID-based) Encryption and Application
DroidChameleon: evaluating Android anti-malware against transformation attacks
Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks
On a (Per)Mission: Building Privacy Into the App Marketplace
1BIT: Persistent Path Validation with Customized Noise Signal Characteristics
Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation
Lies in the Air: Characterizing Fake-base-station Spam Ecosystem in China
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies
Automated Effectiveness Evaluation of Moving Target Defenses: Metrics for Missions and Attacks
Towards Improving Data Validity of Cyber-Physical Systems through Path Redundancy
Separation of duties as a service
Towards Meeting the Privacy Challenge: Adapting DRM
RFID privacy: relation between two notions, minimal condition, and efficient construction
PHANTOM: practical oblivious computation in a secure processor
Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
Authorization Federation in IaaS Multi Cloud
EPC RFID tag security weaknesses and defenses: passport cards, enhanced drivers licenses, and beyond
Revocation games in ephemeral networks
Feature-Indistinguishable Attack to Circumvent Trapdoor-Enabled Defense
PIPSEA: A Practical IPsec Gateway on Embedded APUs
PPMLP'20: Proceedings of the 2020 Workshop on Privacy-Preserving Machine Learning in Practice, Virtual Event, USA, November, 2020
HODOR: Shrinking Attack Surface on Node.js via System Call Limitation
Path Independence for Authentication in Large-Scale Systems
Continual repair for windows using the event log
Quality of protection: measuring the unmeasurable?
AST-Based Deep Learning for Detecting Malicious PowerShell
Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles
Functional Encryption with Oblivious Helper
A Note on Optimal Fees for Constant Function Market Makers
Symbolic Execution of Obfuscated Code
SmashEx: Smashing SGX Enclaves Using Exceptions
Blockchain Engineering for the Internet of Things: Systems Security Perspective
Monetizing spambot activity and understanding its relation with spambot traffic features
POROS: Proof of Data Reliability for Outsourced Storage
CloudER: a framework for automatic software vulnerability location and patching in the cloud
Moving Target Defense against Adversarial Machine Learning
Automatic Trigger Generation for Rule-based Smart Homes
Speranza: Usable, Privacy-friendly Software Signing
Operating system framed in case of mistaken identity: measuring the success of web-based spoofing attacks on OS password-entry dialogs
TREC: APT Tactic / Technique Recognition via Few-Shot Provenance Subgraph Learning
Towards a Formal Foundation for Blockchain ZK Rollups
Equivariant Differentially Private Deep Learning: Why DP-SGD Needs Sparser Models
Constraint solving for bounded-process cryptographic protocol analysis
SAT: Improving Adversarial Training via Curriculum-Based Loss Smoothing
Post-Collusion Security and Distance Bounding
Poster: Unveiling the Impact of Patch Placement: Adversarial Patch Attacks on Monocular Depth Estimation
Delegatable Order-Revealing Encryption
High-Performance and Lightweight Lattice-Based Public-Key Encryption
ScriptProtect: Mitigating Unsafe Third-Party JavaScript Practices
Losing Control: On the Effectiveness of Control-Flow Integrity under Stack Attacks
Secure Search on Encrypted Data via Multi-Ring Sketch
Panorama: capturing system-wide information flow for malware detection and analysis
Privacy-Preserving Association Rule Mining in Cloud Computing
Pors: proofs of retrievability for large files
An Empirical Study of Prioritizing JavaScript Engine Crashes via Machine Learning
Critique of the CISSP common body of knowledge of cryptography
Path Hopping: an MTD Strategy for Quantum-safe Communication
StIns4CS: A State Inspection Tool for C#
Proceedings of the 10th ACM Conference on Computer and Communications Security, CCS 2003, Washington, DC, USA, October 27-30, 2003
Online subscriptions with anonymous access
A Cryptographic File System for UNIX
Whole-Program Control-Flow Path Attestation
On the Robustness of RSA-OAEP Encryption and RSA-PSS Signatures Against (Malicious) Randomness Failures
Understanding IEC-60870-5-104 Traffic Patterns in SCADA Networks
BBA+: Improving the Security and Applicability of Privacy-Preserving Point Collection
Software decoys for insider threat
Poster: Longitudinal Measurement of the Adoption Dynamics in Apple's Privacy Label Ecosystem
The SDN Shuffle: Creating a Moving-Target Defense using Host-based Software-Defined Networking
AISec'13, Proceedings of the 2013 ACM Workshop on Artificial Intelligence and Security, Co-located with CCS 2013, Berlin, Germany, November 4, 2013
A Low-Cost Replica-Based Distance-Spoofing Attack on mmWave FMCW Radar
Coverage-based Greybox Fuzzing as Markov Chain
Two applications of multilinear maps: group key exchange and witness encryption
GPS software attacks
A New Additive Homomorphic Encryption based on the co-ACD Problem
Trusted Display on Untrusted Commodity Platforms
U-TRI: Unlinkability Through Random Identifier for SDN Network
SlicedPIR: Offloading Heavyweight Work with NTT
Self destructive tamper response for software protection
A technique for self-certifying tamper resistant software
The Compatibility of Policies
Fast, Private and Verifiable: Server-aided Approximate Similarity Computation over Large-Scale Datasets
Poster: Mujaz: A Summarization-based Approach for Normalized Vulnerability Description
Retaining sandbox containment despite bugs in privileged memory-safe code
PhishBench 2.0: A Versatile and Extendable Benchmarking Framework for Phishing
Practical, Round-Optimal Lattice-Based Blind Signatures
Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs
hTPM: Hybrid Implementation of Trusted Platform Module
Message-Locked Proofs of Retrievability with Secure Deduplication
A protocol for anonymous communication over the Internet
A Formal Analysis of 5G Authentication
Cross-origin pixel stealing: timing attacks using CSS filters
You Shall Not Join: A Measurement Study of Cryptocurrency Peer-to-Peer Bootstrapping Techniques
CSCS '24 - Cyber Security in CarS Workshop
Fides: remote anomaly-based cheat detection using client emulation
Stronger security model of group key agreement
Privacy-Preserving OpenID Connect
System-level Non-interference for Constant-time Cryptography
Data Analytics: Understanding Human Behavior based on Mobile Network Data
BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators
Towards an efficient and language-agnostic compliance checker for trust negotiation systems
Spying through Virtual Backgrounds of Video Calls
A Run a Day Won't Keep the Hacker Away: Inference Attacks on Endpoint Privacy Zones in Fitness Tracking Social Networks
Inbox Invasion: Exploiting MIME Ambiguities to Evade Email Attachment Detectors
LadderLeak: Breaking ECDSA with Less than One Bit of Nonce Leakage
A Secure Communication Protocol for Drones and Smart Objects
Proofs of ownership in remote storage systems
Demo: Exploring Utility and Attackability Trade-offs in Local Differential Privacy
Postmortem Voice Cloning: Individuals Perspectives of Ownership and Deceptive Harms
Content Protection in HTML5 TV Platforms: Towards Browser-agnostic DRM and Cloud UI Environments
MERCAT: A Metric for the Evaluation and Reconsideration of Certificate Authority Trustworthiness
Design and implementation of the idemix anonymous credential system
simFIDO: FIDO2 User Authentication with simTPM
Utility-preserving Federated Learning
Survivable key compromise in software update systems
CyberBunker 2.0 - A Domain and Traffic Perspective on a Bulletproof Hoster
Prime+Scope: Overcoming the Observer Effect for High-Precision Cache Contention Attacks
PixelVault: Using GPUs for Securing Cryptographic Operations
Verifiable functional purity in java
Beacon certificate push revocation
Conditionally Secure Secret Sharing Schemes with Disenrollment Capability
Verifying policy-based security for web services
MECA: an extensible, expressive system and language for statically checking security properties
The Dropper Effect: Insights into Malware Distribution with Downloader Graph Analytics
Deploying Android Security Updates: an Extensive Study Involving Manufacturers, Carriers, and End Users
Measuring password guessability for an entire university
Poster: Bridging Trust Gaps: Data Usage Transparency in Federated Data Ecosystems
AppInk: watermarking android apps for repackaging deterrence
Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism
End-to-End Secure Mobile Group Messaging with Conversation Integrity and Minimal Metadata Leakage
WaC: A New Doctrine for Hardware Security
OTO: online trust oracle for user-centric trust establishment
Clues in Tweets: Twitter-Guided Discovery and Analysis of SMS Spam
Strengthening Order Preserving Encryption with Differential Privacy
CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects
Efficient Two-Round OT Extension and Silent Non-Interactive Secure Computation
Replacement Attack on Arbitrary Watermarking Systems
Introduction to Secure Collaborative Intelligence (SCI) Lab
PScout: analyzing the Android permission specification
Measuring denial Of service
WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction
Assessing the Privacy Benefits of Domain Name Encryption
TinySeRSync: secure and resilient time synchronization in wireless sensor networks
Large-Scale Privacy-Preserving Statistical Computations for Distributed Genome-Wide Association Studies
DLMS/COSEM security level enhancement to construct secure advanced metering infrastructure
Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications
QuantumHammer: A Practical Hybrid Attack on the LUOV Signature Scheme
CPS Runtime Architecture And Automated Transformation of Applications
Efficient Authenticated Multi-Pattern Matching
Who is knocking on the Telnet Port: A Large-Scale Empirical Study of Network Scanning
A footprint of third-party tracking on mobile web
Watch the Rhythm: Breaking Privacy with Accelerometer at the Extremely-Low Sampling Rate of 5Hz
POSTER: On the Resilience of DNS Infrastructure
Conditional proxy re-encryption secure against chosen-ciphertext attack
Aegis: Tethering a Blockchain with Primary-Chain Stake
Efficient audit-based compliance for relational data retention
A security architecture for transient trust
An Exploratory Analysis of Microcode as a Building Block for System Defenses
Robust Linear Regression Against Training Data Poisoning
CROSS-X: Generalized and Stable Cross-Cache Attack on the Linux Kernel
Secure Multiparty Computation with Lazy Sharing
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
Moments-Correlating DPA
Demo: Detecting Third-Party Library Problems with Combined Program Analysis
Extended privilege inheritance in RBAC
POSTER: When and How to Implicitly Authenticate Smartphone Users
Assurance and evaluation: what next?
One-time Programs with Cloud Storage and Its Application to Electronic Money
Analysis of Concurrent Moving Target Defenses
Authenticated secret key extraction using channel characteristics for body area networks
Your Software at my Service: Security Analysis of SaaS Single Sign-On Solutions in the Cloud
An Approach to the Formal Verification of Cryptographic Protocols
Identity-Concealed Authenticated Encryption and Key Exchange
Lattice-Based zk-SNARKs from Square Span Programs
Fashion crimes: trending-term exploitation on the web
AISec '24: 17th ACM Workshop on Artificial Intelligence and Security
Certified mailing lists
Actively Secure Private Set Intersection in the Client-Server Setting
Poster EveGAN: Using Generative Deep Learning for Cryptanalysis
SafeDSA: Safeguard Dynamic Spectrum Access against Fake Secondary Users
Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards Without the PIN
High-Performance Unsupervised Anomaly Detection for Cyber-Physical System Networks
GAZEploit: Remote Keystroke Inference Attack by Gaze Estimation from Avatar Views in VR/MR Devices
Where the Wild Warnings Are: Root Causes of Chrome HTTPS Certificate Errors
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow
Efficient Virtualization-Based Application Protection Against Untrusted Operating System
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos
Constant-Overhead Zero-Knowledge for RAM Programs
Bit Decomposition Protocols in Secure Multiparty Computation
Program-mandering: Quantitative Privilege Separation
A weakest-adversary security metric for network configuration security analysis
Verifiable Verification in Cryptographic Protocols
Performance Analysis of Linux RNG in Virtualized Environments
Leaky CPS: Inferring Cyber Information from Physical Properties (and the other way around)
Enhancing resilience of probabilistic key pre-distribution schemes for WSNs through hash chaining
QSec '25: Workshop on Quantum Security and Privacy
A software design and algorithms for multicore capture in data center forensics
Exploiting Sound Masking for Audio Privacy in Smartphones
CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation