yusuke1997/dblp-id-title huggingface dataset:
Fast Garbling of Circuits Under Standard Assumptions
Location privacy leaking from spectrum utilization information in database-driven cognitive radio network
Using graphic turing tests to counter automated DDoS attacks against web servers
Mutated Policies: Towards Proactive Attribute-based Defenses for Access Control
Zero-Knowledge AI Inference with High Precision
Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers
Poster: The Risk of Insufficient Isolation of Database Transactions in Web Applications
ShadowReplica: efficient parallelization of dynamic data flow tracking
Practical Recommendations for Stronger, More Usable Passwords Combining Minimum-strength, Minimum-length, and Blocklist Requirements
Multi-mode Cryptocurrency Systems
Information Leakage from Data Updates in Machine Learning Models
POSTER: An Educational Network Protocol for Covert Channel Analysis Using Patterns
LibreCAN: Automated CAN Message Translator
Provably secure ciphertext policy ABE
IRON: Functional Encryption using Intel SGX
Defining and Addressing the Cybersecurity Challenges of Additive Manufacturing Platforms
One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization
Optimized Predictive Control for AGC Cyber Resiliency
Using Precise Taint Tracking for Auto-sanitization
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme
"Show me the data": resolving challenges in network data sharing
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
Application Access Control at Network Level
Towards Evaluating the Security of Real-World Deployed Image CAPTCHAs
DeepPower: Non-intrusive and Deep Learning-based Detection of IoT Malware Using Power Side Channels
SHAMROCK: self contained cryptography and key management processor
Watch Out! Simple Horizontal Class Backdoor Can Trivially Evade Defense
Offline untrusted storage with immediate detection of forking and replay attacks
Learning Security Classifiers with Verified Global Robustness Properties
Lightweight, pollution-attack resistant multicast authentication scheme
Generic Efficient Dynamic Proofs of Retrievability
Efficient designated confirmer signature from bilinear pairings
An architecture for practical actively secure MPC with dishonest majority
SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers
Securing Mixed Rust with Hardware Capabilities
Managing trust and secrecy in identity management clouds
DeWiCam: Detecting Hidden Wireless Cameras via Smartphones
NoisePrint : Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
On Defining Reproducible Outcomes for the Computer Security Community
AISec'19: 12th ACM Workshop on Artificial Intelligence and Security
Meta-ElGamal Signature Schemes
On the difficulty of scalably detecting network attacks
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017
Inferring the source of encrypted HTTP connections
RepCloud: achieving fine-grained cloud TCB attestation with reputation systems
Practical constructions and new proof methods for large universe attribute-based encryption
Short Paper: Modular Black-box Runtime Verification of Security Protocols
Efficient variants of the Naor-Yung and Dolev-Dwork-Naor transforms for CCA secure key encapsulation mechanism
Detecting Phishing Websites using Automation of Human Behavior
THOR: Secure Transformer Inference with Homomorphic Encryption
The Next 700 Policy Miners: A Universal Method for Building Policy Miners
Are we there yet? An Industrial Viewpoint on Provenance-based Endpoint Detection and Response Tools
On the evolution of adversary models in security protocols: from the beginning to sensor networks
The Not-So-Silent Type: Vulnerabilities in Chinese IME Keyboards' Network Security Protocols
VOProof: Efficient zkSNARKs from Vector Oracle Compilers
Let the Cat Out of the Bag: A Holistic Approach Towards Security Analysis of the Internet of Things
POSTER: A Hybrid Botnet Ecological Environment
A Surfeit of SSH Cipher Suites
Verifiable Partial Key Escrow
STAR: Secret Sharing for Private Threshold Aggregation Reporting
Two-Client Inner-Product Functional Encryption with an Application to Money-Laundering Detection
On the vulnerability of FPGA bitstream encryption against power analysis attacks: extracting keys from xilinx Virtex-II FPGAs
Tolerating denial-of-service attacks using overlay networks: impact of topology
CryptGNN: Enabling Secure Inference for Graph Neural Networks
Design and evaluation of persea, a sybil-resistant DHT
Faceted Secure Multi Execution
Practical TFHE Ciphertext Sanitization for Oblivious Circuit Evaluation
AutoCog: Measuring the Description-to-permission Fidelity in Android Applications
The More, the Better: A Study on Collaborative Machine Learning for DGA Detection
ReDS: reputation for directory services in P2P systems
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Checkmate '22: Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks
The impact of vendor customizations on android security
Towards Usable Checksums: Automating the Integrity Verification of Web Downloads for the Masses
Short Paper: Rusty Types for Solid Safety
On Designing an Efficient Distributed Black-Box Fuzzing System for Mobile Devices
PhishEye: Live Monitoring of Sandboxed Phishing Kits
Post-Quantum Multi-Recipient Public Key Encryption
EncKV: An Encrypted Key-value Store with Rich Queries
Covert computation: hiding code in code for obfuscation purposes
Enabling Visual Analytics via Alert-driven Attack Graphs
Multi-cloud oblivious storage
To Get Lost is to Learn the Way: Automatically Collecting Multi-step Social Engineering Attacks on the Web
Scanning of real-world web applications for parameter tampering vulnerabilities
Detecting Insider Threats: Who Is Winning the Game?
Secure Dynamic SSE via Access Indistinguishable Storage
User privacy issues regarding certificates and the TLS protocol: the design and implementation of the SPSL protocol
SCM: Secure Code Memory Architecture
MYSEA: the monterey security architecture
Lawful Device Access without Mass Surveillance Risk: A Technical Design Discussion
On the (in)security of IPsec in MAC-then-encrypt configurations
High-Throughput Universally Composable Threshold FHE Decryption
IoT Security Challenges and Ways Forward
Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable Confidence
POSTER: A Comprehensive Study of Forged Certificates in the Wild
Poster: using quantified risk and benefit to strengthen the security of information sharing
Improved Distributed RSA Key Generation Using the Miller-Rabin Test
Cloud security is not (just) virtualization security: a short paper
Batching-Efficient RAM using Updatable Lookup Arguments
PRINCE under Differential Fault Attack: Now in 3D
Read Between the Lines: Detecting Tracking JavaScript with Bytecode Classification
Proceedings of the 7th on ASIA Public-Key Cryptography Workshop, APKC@AsiaCCS 2020, Taipei, Taiwan, October 6, 2020
Fast Multiparty Threshold ECDSA with Fast Trustless Setup
RSA Signatures Under Hardware Restrictions
The Multi-user Security of GCM, Revisited: Tight Bounds for Nonce Randomization
Message Integrity Protection over Wireless Channel by Countering Signal Cancellation: Theory and Practice
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
Quadtree based perceptual watermarking scheme
Subversion-Resilient Signature Schemes
Polyglot: automatic extraction of protocol message format using dynamic binary analysis
Towards the attacker's view of protocol narrations (or, how to compile security protocols)
Anonymous Authentication with Subset Queries (extended abstract)
Blackbox traceable CP-ABE: how to catch people leaking their keys by selling decryption devices on ebay
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs
Rethinking about guessing attacks
NTRUReEncrypt: An Efficient Proxy Re-Encryption Scheme Based on NTRU
Exposing Side-Channel Leakage of SEAL Homomorphic Encryption Library
Poster: Secure and Differentially Private kth Ranked Element
Leveraging Machine Learning to Improve Unwanted Resource Filtering
Practical Fault Attack on Deep Neural Networks
Efficient Multiplicative-to-Additive Function from Joye-Libert Cryptosystem and Its Application to Threshold ECDSA
Science, Security and Academic Literature: Can We Learn from History?
Latent Backdoor Attacks on Deep Neural Networks
OCR-APT: Reconstructing APT Stories from Audit Logs using Subgraph Anomaly Detection and LLMs
SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution
POSTER: Detecting Audio Adversarial Example through Audio Modification
Attacking White-Box AES Constructions
High-Throughput Secure AES Computation
Leveraging Layout-based Effects for Locking Analog ICs
Design of a High-Performance ATM Firewall
Partially Specified Channels: The TLS 1.3 Record Layer without Elision
Anonymous Role-Based Access Control on E-Health Records
Side-Channel Attacks on BLISS Lattice-Based Signatures: Exploiting Branch Tracing against strongSwan and Electromagnetic Emanations in Microcontrollers
Poster: The Art of Deception: Crafting Chimera Images for Covert and Robust Semantic Poisoning Attacks
Duress detection for authentication attacks against multiple administrators
ROP Gadget Prevalence and Survival under Compiler-based Binary Diversification Schemes
Trusted Sensors for Participatory Sensing and IoT Applications based on Physically Unclonable Functions
Accountable-subgroup multisignatures: extended abstract
An independent audit framework for software dependent voting systems
Post-Quantum TLS on Embedded Systems: Integrating and Evaluating Kyber and SPHINCS+ with mbed TLS
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees
SIPHON: Towards Scalable High-Interaction Physical Honeypots
TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems
S-BDT: Distributed Differentially Private Boosted Decision Trees
POSTER: Password Entering and Transmission Security
Facilitating Vulnerability Assessment through PoC Migration
DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET
The Power to Never Be Wrong: Evasions and Anachronistic Attacks Against Web Archives
Compact Frequency Estimators in Adversarial Environments
Jailbreaker in Jail: Moving Target Defense for Large Language Models
PowerPeeler: A Precise and General Dynamic Deobfuscation Method for PowerShell Scripts
Analyzing the Robustness of Open-World Machine Learning
CCSW '25: Cloud Computing Security Workshop
How much anonymity does network latency leak?
TSS: Transformation-Specific Smoothing for Robustness Certification
Mechanisms for usage control
Securing Floating-Point Arithmetic for Noise Addition
Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code
Power Adjusting and Bribery Racing: Novel Mining Attacks in the Bitcoin System
ID-based encryption for complex hierarchies with applications to forward security and broadcast encryption
Poster: LogCraft: Crafting CVE-Aware Synthetic Worlds (Logs)
POSTER: Undetectable Task Bypassing OS Scheduler via Hardware Task Switching
Differentially Private Access in Encrypted Search: Achieving Privacy at a Small Cost?
Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations
Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games
Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges
Authentication in the clouds: a framework and its application to mobile users
Group and Attack: Auditing Differential Privacy
Peak Clock: Fault Injection into PLL-Based Systems via Clock Manipulation
CCS 2000, Proceedings of the 7th ACM Conference on Computer and Communications Security, Athens, Greece, November 1-4, 2000
Presence Attestation: The Missing Link in Dynamic Trust Bootstrapping
MAC and UML for secure software design
Beheading hydras: performing effective botnet takedowns
FairSwap: How To Fairly Exchange Digital Goods
Preventing format-string attacks via automatic and efficient dynamic checking
Drammer: Deterministic Rowhammer Attacks on Mobile Platforms
When private set intersection meets big data: an efficient and scalable protocol
Design Space Exploration of SABER in 65nm ASIC
Defeating MBA-based Obfuscation
A new framework against privilege escalation attacks on android
Enabling Trusted Digital Identities ? From Connected Citizens to Connected Objects
The Circle Game: Scalable Private Membership Test Using Trusted Hardware
Eliminating fine grained timers in Xen
Automating Reverse Engineering with Machine Learning Techniques
VIPER: verifying the integrity of PERipherals' firmware
High-Throughput Three-Party DPFs with Applications to ORAM and Digital Currencies
Zapper: Smart Contracts with Data and Identity Privacy
Semantic context aware security policy deployment
FEAST'20: Fifth Workshop on Forming an Ecosystem Around Software Transformation
POSTER: DroidShield: Protecting User Applications from Normal World Access
CCSW'17: 2017 ACM Cloud Computing Security
Efficient attributes for anonymous credentials
Secret-Shared Joins with Multiplicity from Aggregation Trees
A practical property-based bootstrap architecture
Emil Stefanov: Bridging the Theory and Practice of Cloud Computing Security
Abstract model counting: a novel approach for quantification of information leaks
Direct anonymous attestation
Towards Measuring the Role of Phone Numbers in Twitter-Advertised Spam
The role and effectiveness of cryptography in network virtualization: a position paper
SyzDirect: Directed Greybox Fuzzing for Linux Kernel
Dictionary Attack on IMU-based Gait Authentication
Protocol-Aware Firmware Rehosting for Effective Fuzzing of Embedded Network Stacks
Privacy-preserving remote diagnostics
Structural cloud audits that protect private information
Addressing the shortcomings of one-way chains
Design of the Commercial Data Masking Facility Data Privacy Algorithm
HACL*: A Verified Modern Cryptographic Library
A (in)Secure-by-Design IoT Protocol: the ESP Touch Protocol and a Case Study Analysis from the Real Market
CCS '93, Proceedings of the 1st ACM Conference on Computer and Communications Security, Fairfax, Virginia, USA, November 3-5, 1993
Stealthy Cyber Anomaly Detection On Large Noisy Multi-material 3D Printer Datasets Using Probabilistic Models
Poster: Understanding User's Decision to Interact with Potential Phishing Posts on Facebook using a Vignette Study
Investigating System Operators' Perspective on Security Misconfigurations
Mitigating DNS DoS attacks
ACH Walkthrough: A Distributed Multi-Device Tool for Collaborative Security Analysis
Analysis of three multilevel security architectures
Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, October 30 - November 3, 2006
Scission: Signal Characteristic-Based Sender Identification and Intrusion Detection in Automotive Networks
PriMa: an effective privacy protection mechanism for social networks
App isolation: get the security of multiple browsers with just one
CCS '99, Proceedings of the 6th ACM Conference on Computer and Communications Security, Singapore, November 1-4, 1999
Multi-module vulnerability analysis of web-based applications
Two-Thirds Honest-Majority MPC for Malicious Adversaries at Almost the Cost of Semi-Honest
Practical dynamic proofs of retrievability
Privacy-safe network trace sharing via secure queries
Community-Based Secure Information and Resource Sharing in Azure Cloud IaaS
Multi-dimensional Host Identity Anonymization for Defeating Skilled Attackers
Igor: Crash Deduplication Through Root-Cause Clustering
Updatable Oblivious Key Management for Storage Systems
Security Analysis of Vendor Implementations of the OPC UA Protocol for Industrial Control Systems
Privacy and Utility of Inference Control Mechanisms for Social Computing Applications
eNNclave: Offline Inference with Model Confidentiality
Chainsaw: Chained Automated Workflow-based Exploit Generation
SMoTherSpectre: Exploiting Speculative Execution through Port Contention
Control-Flow Hijacking: Are We Making Progress?
Assessing query privileges via safe and efficient permission composition
Hindsight: Understanding the Evolution of UI Vulnerabilities in Mobile Browsers
An Empirical Study of Web Vulnerability Discovery Ecosystems
A Study on Autoencoder-based Reconstruction Method for Wi-Fi Location Data with Erasures
Proceedings of the 3rd ACM Workshop on Security and Artificial Intelligence, AISec 2010, Chicago, Illinois, USA, October 8, 2010
Position Paper: Physical Unclonable Functions for IoT Security
MiniCAT: Understanding and Detecting Cross-Page Request Forgery Vulnerabilities in Mini-Programs
Beyond Pattern Matching: A Concurrency Model for Stateful Deep Packet Inspection
Poster: Automated Discovery of Sensor Spoofing Attacks on Robotic Vehicles
Cleartext Data Transmissions in Consumer IoT Medical Devices
Sharing Communities: The Good, the Bad, and the Ugly
HengHa: data harvesting detection on hidden databases
Perils and Mitigation of Security Risks of Cooperation in Mobile-as-a-Gateway IoT
Uncovering Impact of Mental Models towards Adoption of Multi-device Crypto-Wallets
Understanding Implosion in Text-to-Image Generative Models
Differentially private sequential data publication via variable-length n-grams
POSTER: PRINCESS: A Secure Cloud File Storage System for Managing Data with Hierarchical Levels of Sensitivity
MoPS: A Modular Protection Scheme for Long-Term Storage
Arbitrary control-flow embedding into multiple threads for obfuscation: a preliminary complexity and performance analysis
Distributed, Private, Sparse Histograms in the Two-Server Model
Towards an Open Approach to Side-Channel Resistant Authenticated Encryption
Security vulnerabilities: from measurements to design
BIOS chronomancy: fixing the core root of trust for measurement
Poster: Metadata-private Messaging without Coordination
CrossFire: Fuzzing macOS Cross-XPU Memory on Apple Silicon
Scaling ORAM for Secure Computation
Attack graph generation and analysis
Citizen Electronic Identities using TPM 2.0
New Directions in Automated Traffic Analysis
TEMPEST Comeback: A Realistic Audio Eavesdropping Threat on Mixed-signal SoCs
Delegate predicate encryption and its application to anonymous authentication
Prospect: peripheral proxying supported embedded code testing
Binding software to specific native hardware in a VM environment: the puf challenge and opportunity
Privacy cognizant information systems
SocialWatch: detection of online service abuse via large-scale social graphs
Isadora: Automated Information Flow Property Generation for Hardware Designs
Dora: A Simple Approach to Zero-Knowledge for RAM Programs
Membership Inference Attacks and Generalization: A Causal Perspective
Achieving ICS Resilience and Security through Granular Data Flow Management
POSTER: Efficient Cross-User Chunk-Level Client-Side Data Deduplication with Symmetrically Encrypted Two-Party Interactions
Efficient and extensible security enforcement using dynamic data flow analysis
Not All Pixels are Born Equal: An Analysis of Evasion Attacks under Locality Constraints
Improving coherency of runtime integrity measurement
SPECS: smart partial enciphering service for accessing encrypted files with efficient and transparent
The Shadow Nemesis: Inference Attacks on Efficiently Deployable, Efficiently Searchable Encryption
Zero-Knowledge Proofs of Training for Deep Neural Networks
Proceedings of the 2017 Workshop on Moving Target Defense, MTD@CCS 2017, Dallas, TX, USA, October 30, 2017
Specifying and analyzing security automata using CSP-OZ
The Design of Substitution-Permutation Networks Resistant to Differential and Linear Cryptanalysis
Mitigating Poisoning Attacks on Machine Learning Models: A Data Provenance Based Approach
Privacy-Preserving in Defending against Membership Inference Attacks
A low-cost attack on a Microsoft captcha
Prism: Deconstructing the Blockchain to Approach Physical Limits
FSSR: Fine-Grained EHRs Sharing via Similarity-Based Recommendation in Cloud-Assisted eHealthcare System
Reducing the Cost of Security in the Cloud
Poster: Challenges in Stopping Ticket Scalping Bots
A Critical Evaluation of Website Fingerprinting Attacks
Communication Complexity of Group Key Distribution
Collusive Data Leak and More: Large-scale Threat Analysis of Inter-app Communications
Characterizing Adversarial Subspaces by Mutual Information
Sentry: Authenticating Machine Learning Artifacts on the Fly
Ether: malware analysis via hardware virtualization extensions
MESAS: Poisoning Defense for Federated Learning Resilient against Adaptive Attackers
Malicious-Secure Private Set Intersection via Dual Execution
"Hello, It's Me": Deep Learning-based Speech Synthesis Attacks in the Real World
Verifying Security Policies in Multi-agent Workflows with Loops
Poster: Physics-Informed Augmentation for Contextual Anomaly Detection in Smart Grid
Vulnerability and Protection of Channel State Information in Multiuser MIMO Networks
Taking Authenticated Range Queries to Arbitrary Dimensions
POSTER: Is Active Electromagnetic Side-channel Attack Practical?
CensorSpoofer: asymmetric communication using IP spoofing for censorship-resistant web browsing
Security and Science of Agility
Using Program Analysis to Synthesize Sensor Spoofing Attacks
Performance Modeling of Moving Target Defenses
Key Management for Encrypted broadcast
Homeland security: cyber security R&D initiatives
D-algebra for composing access control policy decisions
BFId: Identity Inference Attacks Utilizing Beamforming Feedback Information
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts
Cryptanalysis of a provably secure CRT-RSA algorithm
Efficient zero-knowledge identification schemes which respect privacy
The Price of Privacy in Collaborative Learning
Earable Authentication via Acoustic Toothprint
ASIAPKC'14, Proceedings of the 2nd ACM Wookshop on ASIA Public-Key Cryptography, June 3, 2014, Kyoto, Japan
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols
Cross-silo Federated Learning with Record-level Personalized Differential Privacy
Secure Deduplication of Encrypted Data without Additional Independent Servers
Low-Cost Standard Public Key Cryptography Services for Wireless IoT Systems
Location-restricted Services Access Control Leveraging Pinpoint Waveforming
Quantifying Loss in Automated Market Makers
Cross-VM side channels and their use to extract private keys
Fallout: Leaking Data on Meltdown-resistant CPUs
Déjà Vu: Side-Channel Analysis of Mozilla's NSS
A New Public Key Cryptosystem Based on Higher Residues
Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
Balancing Security and Usability of Zero-interaction Pairing and Authentication for the Internet-of-Things
Enabling Secure and Efficient Data Loss Prevention with a Retention-aware Versioning SSD
MTD 2014: First ACM Workshop on Moving Target Defense
A block cipher based pseudo random number generator secure against side-channel key recovery
LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework
Poster: privacy-preserving profile similarity computation in online social networks
Bolt-Dumbo Transformer: Asynchronous Consensus As Fast As the Pipelined BFT
POSTER: biTheft: Stealing Your Secrets by Bidirectional Covert Channel Communication with Zero-Permission Android Application
On the difficulty of software-based attestation of embedded devices
Social Networks Meet Distributed Systems: Towards a Robust Sybil Defense under Churn
How privacy leaks from bluetooth mouse?
Efficient Multi-Key Homomorphic Encryption with Packed Ciphertexts with Application to Oblivious Neural Network Inference