yusuke1997/dblp-id-title huggingface dataset:
Stealthy traffic analysis of low-latency anonymous communication using throughput fingerprinting
FIN: Practical Signature-Free Asynchronous Common Subset in Constant Time
Malware Analysis of Imaged Binary Samples by Convolutional Neural Network with Attention Mechanism
Design-time Quantification of Integrity in Cyber-physical Systems
Innocent by association: early recognition of legitimate users
STC 2012: the seventh ACM workshop on scalable trusted computing
Reverse engineering for mobile systems forensics with Ares
LiS: Lightweight Signature Schemes for Continuous Message Authentication in Cyber-Physical Systems
A New Secure Index Supporting Efficient Index Updating and Similarity Search on Clouds
Modeling insecurity: policy engineering for survivability
A Compact and Fast Hybrid Signature Scheme for Multicast Packet Authentication
Cyber Threat Analysis Framework for the Wind Energy Based Power System
On lightweight mobile phone application certification
On Code Execution Tracking via Power Side-Channel
u MMU: Securing Data Confidentiality with Unobservable Memory Subsystem
A Practical Secure Physical Random Bit Generator
On Understanding and Forecasting Fuzzers Performance with Static Analysis
Partnership in key exchange protocols
Exploiting the Shared Storage API
Chipmunk: Better Synchronized Multi-Signatures from Lattices
MetaHunt: Towards Taming Malware Mutation via Studying the Evolution of Metamorphic Virus
Poster: making the case for intrinsic personal physical unclonable functions (IP-PUFs)
PoTN: A Novel Blockchain Consensus Protocol with Proof-of-Trust Negotiation in Distributed IoT Networks
Poster: the quest for security against privilege escalation attacks on android
Fuzzing Processing Pipelines for Zero-Knowledge Circuits
Practical forward secure group signature schemes
A Cross-Layer Key Establishment Model for Wireless Devices in Cyber-Physical Systems
A bayesian belief network for data leakage investigation
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples
A Formal Treatment of Deterministic Wallets
Robust Watermarking of Neural Network with Exponential Weighting
Multi-variant Execution at the Edge
Horizon extender: long-term preservation of data leakage evidence in web traffic
Poster: ReMouse Dataset: Measuring Similarity of Human-Generated Trajectories as an Important Step in Dealing with Session-Replay Bots
Automatic construction of jump-oriented programming shellcode (on the x86)
Proceedings of the 10th ACM Workshop on Moving Target Defense, MTD 2023, Copenhagen, Denmark, 26 November 2023
Usable User Authentication on a Smartwatch using Vibration
A Practical De-mixing Algorithm for Bitcoin Mixing Services
FEAST 2017: The Second Workshop on Forming an Ecosystem Around Software Transformation
Indistinguishability Prevents Scheduler Side Channels in Real-Time Systems
Periodicity, complementarity and complexity of 2-adic FCSR combiner generators
Fraud De-Anonymization for Fun and Profit
Location based power analysis to detect malicious code in smartphones
Cryptography and Computer Security: A View From the Year 2100
Secure Data Provenance for the Internet of Things
Strategic Peer Selection Using Transaction Value and Latency
On sampling, anonymization, and differential privacy or, k -anonymization meets differential privacy
A Comprehensive Symbolic Analysis of TLS 1.3
Content Security Problems?: Evaluating the Effectiveness of Content Security Policy in the Wild
De-identification of Unstructured Clinical Texts from Sequence to Sequence Perspective
CCS '94, Proceedings of the 2nd ACM Conference on Computer and Communications Security, Fairfax, Virginia, USA, November 2-4, 1994
A Framework for Differential Privacy Against Timing Attacks
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems
DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back
Proceedings of the 1st ACM Workshop on Virtual Machine Security, VMSec 2008, Alexandria, VA, USA, October 27, 2008
Authentication Codes That Are r -Fold Secure Against Spoofing
Characterizing Ethereum Address Poisoning Attack
Trusted virtual domains on OKL4: secure information sharing on smartphones
First principles vulnerability assessment
Evaluation of Latch-based Physical Random Number Generator Implementation on 40 nm ASICs
Proceedings of the 11th ACM Workshop on Artificial Intelligence and Security, CCS 2018, Toronto, ON, Canada, October 19, 2018
Batch Exponentiation: A Fast DLP-Based Signature Generation Strategy
Smart Solution, Poor Protection: An Empirical Study of Security and Privacy Issues in Developing and Deploying Smart Home Devices
Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and ChainQuality
A Simulation Study on Smart Grid Resilience under Software-Defined Networking Controller Failures
Black-box accountable authority identity-based encryption
Cryptographically Secure Information Flow Control on Key-Value Stores
WPES 2014: 13th Workshop on Privacy in the Electronic Society
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Certified PUP: Abuse in Authenticode Code Signing
Hardware-Backed Heist: Extracting ECDSA Keys from Qualcomm's TrustZone
Function Secret Sharing: Improvements and Extensions
LaLa: a late launch application
Demonstrating a lightweight data provenance for sensor networks
Continuous and Multiregional Monitoring of Malicious Hosts
DECO: Liberating Web Data Using Decentralized Oracles for TLS
Provably-secure time-bound hierarchical key assignment schemes
NativeX: Native Executioner Freezes Android
TLS Record Protocol: Security Analysis and Defense-in-depth Countermeasures for HTTPS
From Mental Poker to Core Business: Why and How to Deploy Secure Computation Protocols?
Just the Tip of the Iceberg: Internet-Scale Exploitation of Routers for Cryptojacking
You are what you include: large-scale evaluation of remote javascript inclusions
Verifiable Learning for Robust Tree Ensembles
Efficient techniques for realizing geo-spatial access control
SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses
SkypeLine: Robust Hidden Data Transmission for VoIP
Catch You If You Deceive Me: Verifiable and Privacy-Aware Truth Discovery in Crowdsensing Systems
OAKE: a new family of implicitly authenticated diffie-hellman protocols
Is Modeling Access Control Worth It?
Using virtual machines to do cross-layer damage assessment
Verifiable delegation of computation on outsourced data
Non-interactive and Output Expressive Private Comparison from Homomorphic Encryption
FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications
Poster: Obfuscating Function Activity States to Enhance Privacy in Serverless Applications
Anonymous credentials on a standard java card
Privacy-preserving smart metering with verifiability for both billing and energy management
Eliminating routing protocol anomalies in wireless sensor networks using AI techniques
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods
RAIN: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking
Ciphers that securely encipher their own keys
Evolutionary construction of de bruijn sequences
Secure Protocol Transformation via "Expansion": From Two-Party to Groups
AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
TrustBoost: Boosting Trust among Interoperable Blockchains
A secure execution framework for Java
Personalized access control for a personally controlled health record
Simple, Fast Malicious Multiparty Private Set Intersection
Asymmetric Cross-cryptosystem Re-encryption Applicable to Efficient and Secure Mobile Access to Outsourced Data
Breaking and Repairing a Convertible Undeniable Signature Scheme
Managing security of virtual machine images in a cloud environment
Proceedings of the 6th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, WAHC@CCS 2018, Toronto, ON, Canada, October 19, 2018
Distance-Aware OT with Application to Fuzzy PSI
Needle in a Haystack: Automated and Scalable Vulnerability Hunting in the Windows ALPC Sea
Efficient sensor node authentication via 3GPP mobile communication networks
Practical user authentication leveraging channel state information (CSI)
An historical examination of open source releases and their vulnerabilities
An Efficient Non-Interactive Statistical Zero-Knowledge Proof System for Quasi-Safe Prime Products
BlueSWAT: A Lightweight State-Aware Security Framework for Bluetooth Low Energy
Caching oblivious memory access: an extension to the HCRYPT virtual machine
Clouds and their discontents
VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing
Secure Collaborative Training and Inference for XGBoost
Reversible data hiding by adaptive modification of prediction errors
On-Chip Side-Channel Analysis of the Loop PUF
Enforcing Unique Code Target Property for Control-Flow Integrity
Automaton segmentation: a new approach to preserve privacy in xml information brokering
On the (Im)possibility of privately outsourcing linear programming
Poster: Patient Community - A Test Bed for Privacy Threat Analysis
Domain-polymorphic language for privacy-preserving applications
Opportunities for private and secure machine learning
Improving vulnerability discovery models
Swap and Play: Live Updating Hypervisors and Its Application to Xen
POSTER: Re-Thinking Risks and Rewards for Trusted Third Parties
Proceedings of the First ACM Workshop on Secure Execution of Untrusted Code, SecuCode '09, Chicago, Illinois, USA, November 9, 2009
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence
Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008
POSTER: An E2E Trusted Cloud Infrastructure
Exploring the Usability of Open Source Network Forensic Tools
Side Channels in Multi-Tenant Environments
Towards asymmetric searchable encryption with message recovery and flexible search authorization
Efficient Scalable Multi-Party Private Set Intersection(-Variants) from Bicentric Zero-Sharing
Analysis of Secure Key Storage Solutions on Android
ACE: Advanced CIP Evaluator
Elastic Restaking Networks: United we fall, (partially) divided we stand
Rules Refine the Riddle: Global Explanation for Deep Learning-Based Anomaly Detection in Security Applications
High capacity data hiding method in DNA with mutation handling
Designing Interventions to Persuade Software Developers to Adopt Security Tools
Facilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning
Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks
On Non-uniformity in Threshold Sharings
CardSpace in the cloud
Lightweight Implementation of the LowMC Block Cipher Protected Against Side-Channel Attacks
Lightweight secure communication protocols for in-vehicle sensor networks
Adjustably encrypted in-memory column-store
Proceedings of the 2nd International Workshop on Multimedia Privacy and Security, MPS@CCS 2018, Toronto, ON, Canada, October 15, 2018
Securing Cyber-Physical Systems via Advanced Cyber Threat Intelligence Methods
ForeDroid: Scenario-Aware Analysis for Android Malware Detection and Explanation
Demo - SPoKE: Secure Polling and Knowledge Exchange
HoneyBadgerMPC and AsynchroMix: Practical Asynchronous MPC and its Application to Anonymous Communication
Heracles: Chosen Plaintext Attack on AMD SEV-SNP
Localization of Spoofing Devices using a Large-scale Air Traffic Surveillance System
Epona and the Obfuscation Paradox: Transparent for Users and Developers, a Pain for Reversers
Cap unification: application to protocol security modulo homomorphic encryption
Proceedings of the Second ACM Workshop on Moving Target Defense, MTD 2015, Denver, Colorado, USA, October 12, 2015
SPLM: Security Protection of Live Virtual Machine Migration in Cloud Computing
2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013
Self-organised group key management for ad hoc networks
Second Smart Energy Grid Security Workshop (SEGS 2014)
Identity-based steganography and its applications to censorship resistance
Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach
Efficient Implementation of ECDH Key Exchange for MSP430-Based Wireless Sensor Networks
The verification of an industrial payment protocol: the SET purchase phase
On the Fly Signatures Based on Factoring
Don't Panic! Finding Bugs Hidden Behind Rust Runtime Safety Checks
Understanding and developing role-based administrative models
Fault Intensity Map Analysis with Neural Network Key Distinguisher
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy
iDEA: Static Analysis on the Security of Apple Kernel Drivers
You shall not pass: Mitigating SQL Injection Attacks on Legacy Web Applications
A New Signature Scheme Based on the DSA Giving Message Recovery
MM4flow: A Pre-trained Multi-modal Model for Versatile Network Traffic Analysis
Robust dynamic remote data checking for public clouds
Don't Look Up: There Are Sensitive Internal Links in the Clear on GEO Satellites
Enabling Privacy-assured Mobile Advertisement Targeting and Dissemination
Concentrated Liquidity Analysis in Uniswap V3
Side-Channel Attacks on Fingerprint Matching Algorithms
Proactive Public Key and Signature Systems
A control flow obfuscation method to discourage malicious tampering of software codes
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications
A Data-driven Attack against Support Vectors of SVM
Composite Backdoor Attack for Deep Neural Network by Mixing Existing Benign Features
PMForce: Systematically Analyzing postMessage Handlers at Scale
Practical "Signatures with Efficient Protocols" from Simple Assumptions
A refined look at Bernstein's AES side-channel analysis
High-Level Cryptographic Abstractions
Examining DES-based Cipher Suite Support within the TLS Ecosystem
Designs to account for trust in social network-based sybil defenses
Efficient fault-tolerant certificate revocation
Adaptive defenses for commodity software through virtual application partitioning
Routing around decoys
Authenticated Group Key Agreement and Friends
INSOMNIA: Towards Concept-Drift Robustness in Network Intrusion Detection
On the cost-ineffectiveness of redundancy in commercial P2P computing
SURE '25: The 1st ACM Workshop on Software Understanding and Reverse Engineering
A biological programming model for self-healing
An Empirical Study Measuring In-The-Wild Cryptographic Microarchitectural Side-Channel Patches
Protection and utilization of privacy information
Seeing Your Face Is Not Enough: An Inertial Sensor-Based Liveness Detection for Face Authentication
Using SMT solvers to automate design tasks for encryption and signature schemes
Examining intrusion prevention system events from worldwide networks
Cover your ACKs: pitfalls of covert channel censorship circumvention
Risk-based access control systems built on fuzzy inferences
PICCO: a general-purpose compiler for private distributed computation
Conditional Purchase Orders
Security proofs for an efficient password-based key exchange
Assured Deletion in the Cloud: Requirements, Challenges and Future Directions
RVISmith: Fuzzing Compilers for RVV Intrinsics
Lux0R: Detection of Malicious PDF-embedded JavaScript code through Discriminant Analysis of API References
Small, stupid, and scalable: secure computing with faerieplay
Thermanator: Thermal Residue-Based Post Factum Attacks on Keyboard Data Entry
Co-Prime: A Co-design Framework for Privacy Preserving Machine Learning on FPGA
JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification
Query-flood DoS attacks in gnutella
Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010
HyCC: Compilation of Hybrid Protocols for Practical Secure Computation
Poly-Logarithmic Range Queries on Encrypted Data with Small Leakage
Keystroke statistical learning model for web authentication
ShiftPIR: An Efficient PIR System with Gravity Shifting from Client to Server
Ciphertext-only Cryptanalysis on Hardened Mifare Classic Cards
Stochastic Substitute Training: A Gray-box Approach to Craft Adversarial Examples Against Gradient Obfuscation Defenses
Machine Learning and Security: The Good, The Bad, and The Ugly
ERASER: Machine Unlearning in MLaaS via an Inference Serving-Aware Approach
Verifiable Searchable Symmetric Encryption from Indistinguishability Obfuscation
Leakage Fingerprints: A Non-negligible Vulnerability in Side-Channel Analysis
Providing witness anonymity in peer-to-peer systems
Preventing drive-by download via inter-module communication monitoring
A Succinct Range Proof for Polynomial-based Vector Commitment
Cracking App Isolation on Apple: Unauthorized Cross-App Resource Access on MAC OS~X and iOS
Poster: Detecting Ransomware Attacks by Analyzing Replicated Block Snapshots Using Neural Networks
Trust, But Verify? Perspectives On Industrial Device Security
Framework for malware resistance metrics
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Towards Certifiable Adversarial Sample Detection
Wiretapping via Mimicry: Short Voice Imitation Man-in-the-Middle Attacks on Crypto Phones
Quantifying the Effectiveness of Software Diversity using Near-Duplicate Detection Algorithms
Group-oriented Proofs of Storage
HELiKs: HE Linear Algebra Kernels for Secure Inference
Privacy-Preserving Truth Discovery in Mobile Crowdsensing: Challenges, Solutions, and Opportunities
POSTER: Towards Automating Detection of Anomalous HTTP Requests with Joint Probability Estimation of Characters
Freely Given Consent?: Studying Consent Notice of Third-Party Tracking and Its Violations of GDPR in Android Apps
On the Security of KZG Commitment for VSS
Introduction to Cryptocurrencies
Securely outsourcing linear algebra computations
DEMO: Trustworthy Cyberphysical Energy Systems: Time-Delay Attacks in a Real-Time Co-Simulation Environment
In search of an anonymous and secure lookup: attacks on structured peer-to-peer anonymous communication systems
A secure and efficient outsourceable group key transfer protocol in cloud computing
Markov Modeling of Moving Target Defense Games
OnionPIR: Response Efficient Single-Server PIR
PIN skimmer: inferring PINs through the camera and microphone
ASHES 2020: 4th Workshop on Attacks and Solutions in Hardware Security
Detecting stealthy malware with inter-structure and imported signatures
Moderator: Moderating Text-to-Image Diffusion Models through Fine-grained Context-based Policies
Finding "hidden" connections on linkedIn an argument for more pragmatic social network privacy
An In-depth Look Into SDN Topology Discovery Mechanisms: Novel Attacks and Practical Countermeasures
Measuring vote privacy, revisited
Double Embedding Steganalysis: Steganalysis with Low False Positive Rate
IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing
Program Analysis for Mobile Application Integrity and Privacy Enforcement
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded SCADA via Spectral Analysis
Prescience: Probabilistic Guidance on the Retraining Conundrum for Malware Detection
Practical Private One-way Anonymous Message Routing
Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks
Topic modeling of freelance job postings to monitor web service abuse
POSTER: A Behavioural Authentication System for Mobile Users
Quantifying maximal loss of anonymity in protocols
Toward Trustworthy Deep Learning in Security
Proceedings of the 2010 ACM workshop on Insider threats, Insider Threats '10, Chicago, Illinois, USA, October 8, 2010
1st Workshop on Cyber-Security Arms Race (CYSARM 2019)
Extending Cryptographic Logics of Belief to Key Agreement Protocols
Mass Discovery of Android Traffic Imprints through Instantiated Partial Execution
Is data clustering in adversarial settings secure?
DeepDGA: Adversarially-Tuned Domain Generation and Detection
CloudSweeper: enabling data-centric document management for secure cloud archives
Constructions of truly practical secure protocols using standard smartcards
Poster: Data Recovery from Ransomware Attacks via File System Forensics and Flash Translation Layer Data Extraction
Secure information flow with random assignment and encryption
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk
The Wolf of Name Street: Hijacking Domains Through Their Nameservers
Why eve and mallory (also) love webmasters: a study on the root causes of SSL misconfigurations
Inductive methods and contract-signing protocols
POSTER: Positioning Attack on Proximity-Based People Discovery
Code injection attacks on harvard-architecture devices
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK
Efficient Fuzzy PSI Based on Prefix Representation
Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets
Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives
A Fast and Verified Software Stack for Secure Function Evaluation
Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments
Formalizing information security knowledge
POSTER: How Do Suspicious Accounts Participate in Online Political Discussions? A Preliminary Study in Taiwan
MoSSOT: An Automated Blackbox Tester for Single Sign-On Vulnerabilities in Mobile Applications
Android permissions demystified
Reference models for network data anonymization
Single Trace Attack Against RSA Key Generation in Intel SGX SSL
PaperSpeckle: microscopic fingerprinting of paper
The network as a mobility security platform
CSP Is Dead, Long Live CSP! On the Insecurity of Whitelists and the Future of Content Security Policy
Session details: AI Security / Adversarial Machine Learning
Exploiting Decryption Failures in Mersenne Number Cryptosystems
Faces in the Distorting Mirror: Revisiting Photo-based Social Authentication
Hypervision Across Worlds: Real-time Kernel Protection from the ARM TrustZone Secure World
Constant Latency in Sleepy Consensus
Automated Privacy Policy Annotation with Information Highlighting Made Practical Using Deep Representations
SCRAP: Synthetically Composed Replay Attacks vs. Adversarial Machine Learning Attacks against Mouse-based Biometric Authentication
WebPatrol: automated collection and replay of web-based malware scenarios
Breaking Masked and Shuffled CCA Secure Saber KEM by Power Analysis
Zero Knowledge Proofs for Decision Tree Predictions and Accuracy
Network Verification: Successes, Challenges, and Opportunities
Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services
R2DP: A Universal and Automated Approach to Optimizing the Randomization Mechanisms of Differential Privacy for Utility Metrics with No Known Optimal Distributions
Novel Privacy Attacks and Defenses Against Neural Networks
Cybercrime After the Sunrise: A Statistical Analysis of DNS Abuse in New gTLDs
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs
Addressing the concerns of the lacks family: quantification of kin genomic privacy
Towards Fine-grained Network Security Forensics and Diagnosis in the SDN Era
You've Changed: Detecting Malicious Browser Extensions through their Update Deltas
POSTER: Construct macOS Cyber Range for Red/Blue Teams
Investigating MMM Ponzi Scheme on Bitcoin
Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security, ASHES 2022, Los Angeles, CA, USA, 11 November 2022
Expressive CP-ABE with partially hidden access structures
Understanding IoT Security from a Market-Scale Perspective
Delegation of cryptographic servers for capture-resilient devices
Securing SSL Certificate Verification through Dynamic Linking
Sounding the Bell for Improving Internet (of Things) Security
Privacy Risk in Cybersecurity Data Sharing
A Tale of Three Security Operation Centers
A covert channel construction in a virtualized environment