yusuke1997/dblp-id-title huggingface dataset:
Poster: Towards Intelligent Assurance for Autonomous AI Pentesters: Concurrent Compliance Auditing and Self-Augmentation via Execution Trace Analysis
zkLLM: Zero Knowledge Proofs for Large Language Models
Poster: uPro: a compartmentalization tool supporting fine-grained and flexible security configuration
Secure Location Verification with a Mobile Receiver
Android on PC: On the Security of End-user Android Emulators
Threshold-based identity recovery for privacy enhanced applications
BlindIDS: Market-Compliant and Privacy-Friendly Intrusion Detection System over Encrypted Traffic
Poster: towards formal verification of DIFC policies
Proceedings of the 2nd International Workshop on Security and Forensics in Communication Systems, SFCS 2014, Kyoto, Japan, June 3, 2014
Verifiable Security Policies for Distributed Systems
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning
TouchSignatures: Identification of User Touch Actions based on Mobile Sensors via JavaScript
Poster: The Concept of a System for Automatic Detection and Correction of Vulnerabilities in the Source Code
Reinforcing System-Assigned Passphrases Through Implicit Learning
2MA: Verifying Voice Commands via Two Microphone Authentication
Attacking cryptographic schemes based on "perturbation polynomials"
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection
Context-Based Zero-Interaction Pairing and Key Evolution for Advanced Personal Devices
Big data for security: challenges, opportunities, and examples
Deanonymisation of Clients in Bitcoin P2P Network
Directed Greybox Fuzzing
Fail-Secure Access Control
Toward practical analysis for trust management policy
Revisiting Assumptions for Website Fingerprinting Attacks
NETRA : : seeing through access control
Lattice Klepto Revisited
Proceedings of the 4th ACM International Workshop on Security in Cloud Computing, SCC@AsiaCCS, Xi'an, China, May 30 - June 3, 2016
C-FLAT: Control-Flow Attestation for Embedded Systems Software
Poster: AuditVotes: A Framework towards Deployable Certified Robustness for GNNs
Specification and Verification of Strong Timing Isolation of Hardware Enclaves
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK
FPDetective: dusting the web for fingerprinters
POSTER: TouchTrack: How Unique are your Touch Gestures?
POSTER: Recommendation-based Third-Party Tracking Monitor to Balance Privacy with Personalization
COINN: Crypto/ML Codesign for Oblivious Inference via Neural Networks
POSTER: T-IP: A Self-Trustworthy and Secure Internet Protocol with Full Compliance to TCP/IP
Understanding and Detecting Mobile Ad Fraud Through the Lens of Invalid Traffic
I'm SPARTACUS, No, I'm SPARTACUS: Proactively Protecting Users from Phishing by Intentionally Triggering Cloaking Behavior
Differential Fault Attack on PHOTON-Beetle
DETER: Denial of Ethereum Txpool sERvices
Covert ephemeral communication in named data networking
An Authentication Logic Supporting Synchronization, Revocation, and Recency
The Limits of Composable Crypto with Transferable Setup Devices
Devil is Virtual: Reversing Virtual Inheritance in C++ Binaries
Poster: Multiparty Private Set Intersection from Multiparty Homomorphic Encryption
A framework for quantitative security analysis of machine learning
Tainted Secure Multi-Execution to Restrict Attacker Influence
Efficient computational oblivious transfer using interactive hashing
martFL: Enabling Utility-Driven Data Marketplace with a Robust and Verifiable Federated Learning Architecture
POSTER: Expanding a Programmable CPS Testbed for Network Attack Analysis
SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning
Multisignatures secure under the discrete logarithm assumption and a generalized forking lemma
Mystique: Evolving Android Malware for Auditing Anti-Malware Tools
Implications of Digital Rights Management for Online Music - A Business Perspective
Deniable authentication and key exchange
POSTER: Traffic Splitting to Counter Website Fingerprinting
Exploiting a Thermal Side Channel for Power Attacks in Multi-Tenant Data Centers
ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation
Path ORAM: an extremely simple oblivious RAM protocol
Error Tolerance based Single Interesting Point Side Channel CPA Distinguisher
SeqMIA: Sequential-Metric Based Membership Inference Attack
Privacy-preserving Machine Learning in Cloud
No free lunch in cyber security
PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux
Code Reuse Attacks in PHP: Automated POP Chain Generation
Virtual monotonic counters and count-limited objects using a TPM without a trusted OS
SafeConfig 2015: Workshop on Automated Decision Making for Active Cyber Defense
Can We Use Split Learning on 1D CNN Models for Privacy Preserving Training?
Devil in Disguise: Breaching Graph Neural Networks Privacy through Infiltration
Quantified risk-adaptive access control for patient privacy protection in health information systems
Context-aware web security threat prevention
A Note On Borrowing Constant Function Market Maker Shares
MatRiCT: Efficient, Scalable and Post-Quantum Blockchain Confidential Transactions Protocol
Direct chosen ciphertext security from identity-based techniques
Fast Actively Secure Five-Party Computation with Security Beyond Abort
FINER: Enhancing State-of-the-art Classifiers with Feature Attribution to Facilitate Security Analysis
Software integrity protection using timed executable agents
POSTER: On Compressing PKI Certificates for Resource Limited Internet of Things Devices
Online Reliability Testing for PUF Key Derivation
Hardware Moving Target Defenses against Physical Attacks: Design Challenges and Opportunities
Perplexed Messengers from the Cloud: Automated Security Analysis of Push-Messaging Integrations
Knowledge Seeking on The Shadow Brokers
XiOS: Extended Application Sandboxing on iOS
Adding Time to a Logic of Authentication
Poster: Privacy-preserving Genome Analysis using Verifiable Off-Chain Computation
MANIAC: A Man-Machine Collaborative System for Classifying Malware Author Groups
Tracking dynamic network properties at internet-scale
Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols
Poster: DNS in Routers Considered Harmful
Practical Non-Malleable Codes from l-more Extractable Hash Functions
On achieving good operating points on an ROC plane using stochastic anomaly score prediction
On scalability of remote attestation
ALCHEMY: A Language and Compiler for Homomorphic Encryption Made easY
Cryptographic role-based security mechanisms based on role-key hierarchy
Computational Soundness for Dalvik Bytecode
Forking the RANDAO: Manipulating Ethereum's Distributed Randomness Beacon
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005
Breaking and entering through the silicon
XACML policy performance evaluation using a flexible load testing framework
Flexible and scalable digital signatures in TPM 2.0
Reasoning about Moving Target Defense in Attack Modeling Formalisms
Privacy-aware personalization for mobile advertising
Proceedings of the 15th ACM Workshop on Artificial Intelligence and Security, AISec 2022, Los Angeles, CA, USA, 11 November 2022
Building a Modern TRNG: An Entropy Source Interface for RISC-V
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems
Poster: arbitrators in the security infrastructure, supporting positive anonymity
CMV: automatic verification of complete mediation for java virtual machines
A Specification of Java Loading and Bytecode Verification
Scalable, graph-based network vulnerability analysis
How to use attribute-based encryption to implement role-based access control in the cloud
PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models
TrustOTP: Transforming Smartphones into Secure One-Time Password Tokens
A Ciphertext-Policy Attribute-based Encryption Scheme With Optimized Ciphertext Size And Fast Decryption
Bootstrapping Trust in a "Trusted" Virtualized Platform
Attribute-based fine-grained access control with efficient revocation in cloud storage systems
SEAT: Similarity Encoder by Adversarial Training for Detecting Model Extraction Attack Queries
Prompt Inference Attack on Distributed Large Language Model Inference Frameworks
Poster: Automated Dependency Mapping for Web API Security Testing Using Large Language Models
ASHES '23: Workshop on Attacks and Solutions in Hardware Security
A Systematic Comparison of Encrypted Machine Learning Solutions for Image Classification
Identity-based encryption based on DHIES
Public Order Preserving Cipher Generation Scheme for Distributed Computing
Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router
Protecting Enclaves from Intra-Core Side-Channel Attacks through Physical Isolation
A Comb for Decompiled C Code
SoK: A Performance Evaluation of Cryptographic Instruction Sets on Modern Architectures
UC-secure Two-Server Password-Based Authentication Protocol and Its Applications
Patient controlled encryption: ensuring privacy of electronic medical records
Trusted Execution Environments for Quantum Computers
Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools
SMILE: encounter-based trust for mobile social services
Relating cryptography and formal methods: a panel
Poster: On the Application of NLP to Discover Relationships between Malicious Network Entities
MIST 2015: 7th International Workshop on Managing Insider Security Threats
Efficient signature schemes supporting redaction, pseudonymization, and data deidentification
Learning attack strategies from intrusion alerts
PrivDPI: Privacy-Preserving Encrypted Traffic Inspection with Reusable Obfuscated Rules
Succinct Zero Knowledge for Floating Point Computations
Security policy analysis using deductive spreadsheets
Multi-Writer Searchable Encryption: An LWE-based Realization and Implementation
T2Pair: Secure and Usable Pairing for Heterogeneous IoT Devices
Protecting users from "themselves"
Toward Understanding the Security of Plugins in Continuous Integration Services
Rank-metric Encryption on Arm-Cortex M0: Porting code-based cryptography to lightweight devices
Information Embedding in Additive Manufacturing through Printing Speed Control
On the Instability of Bitcoin Without the Block Reward
Challenges in Machine Learning based approaches for Real-Time Anomaly Detection in Industrial Control Systems
Poster: Privacy Risks from Misconfigured Android Content Providers
RIP-RH: Preventing Rowhammer-based Inter-Process Attacks
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024
DroidPill: Pwn Your Daily-Use Apps
Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold
Privacy-Friendly Planning of Energy Distribution in Smart Grids
Improving the scalability of platform attestation
Sharp: Short Relaxed Range Proofs
Pseudorandom signatures
Modelling Social-Technical Attacks with Timed Automata
Block Oriented Programming: Automating Data-Only Attacks
POSTER: Quasi-ID: In fact, I am a human
Uncle Maker: (Time)Stamping Out The Competition in Ethereum
Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14, Scottsdale, Arizona, USA, November 7, 2014
Poster: Formally Verified Binary Lifting to P-Code
Batch Range Proof: How to Make Threshold ECDSA More Efficient
POSTER: Oblivious Access System on Decentralized Database over Parallel Smart Contract Model
Can machine learning be secure?
Availability-sensitive intrusion recovery
POSTER: Towards Precise and Automated Verification of Security Protocols in Coq
In (Cyber)Space Bots Can Hear You Speak: Breaking Audio CAPTCHAs Using OTS Speech Recognition
AdCPG: Classifying JavaScript Code Property Graphs with Explanations for Ad and Tracker Blocking
Getting Beyond Tit for Tat: Better Strategies for Moving Target Prototyping and Evaluation
A Scalable and Dynamic ACL System for In-Network Defense
Secure Multi-party Computation of Differentially Private Heavy Hitters
ClickShield: Are You Hiding Something? Towards Eradicating Clickjacking on Android
A methodology for empirical analysis of permission-based security models and its application to android
Proceedings of the 2nd ACM International Workshop on IoT Privacy, Trust, and Security, IoTPTS@AsiaCCS, Xi'an, China, May 30, 2016
These aren't the droids you're looking for: retrofitting android to protect data from imperious applications
Understanding and Addressing Online Tracking: Online Privacy's Regulatory Turn
Deep Learning from Imperfectly Labeled Malware Data
Chronos: Timing Interference as a New Attack Vector on Autonomous Cyber-physical Systems
Neural Network Inversion in Adversarial Setting via Background Knowledge Alignment
"Better Be Computer or I'm Dumb": A Large-Scale Evaluation of Humans as Audio Deepfake Detectors
Behind the Scenes of RPKI
Fast Secure Computation for Small Population over the Internet
Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
New Iterative Geometric Methods for Robust Perceptual Image Hashing
Analyzing Thousands of Firmware Images and a Few Physical Devices: What's Next?
A 2.1 KHz Zero-Knowledge Processor with BubbleRAM
Secure Open Systems for Protecting Privacy and Digital Services
Modeling insider attacks on group key-exchange protocols
Relational network-service clustering analysis with set evidences
Identity-Set-based Broadcast Encryption supporting "Cut-or-Select" with Short Ciphertext
Machine code verification of a tiny ARM hypervisor
Faster FHE-Based Single-Server Private Information Retrieval
Scam Augmentation and Customization: Identifying Vulnerable Users and Arming Defenders
Detecting Misuse of Google Cloud Messaging in Android Badware
Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically
Beyond the ideal object: towards disclosure-resilient order-preserving encryption schemes
DEMO: Gone in 20 Seconds - Overview of a Password Vulnerability in Siemens HMIs
Provably secure password-based authentication in TLS
TrustED'13, Proceedings of the 2013 ACM Workshop on Trustworthy Embedded Devices, Co-located with CCS 2013, November 4, 2013, Berlin, Germany
Puppetnets: misusing web browsers as a distributed attack infrastructure
Distributed Backdoor Attacks on Federated Graph Learning and Certified Defenses
Mimimorphism: a new approach to binary code obfuscation
Towards Transparent and Stealthy Android OS Sandboxing via Customizable Container-Based Virtualization
Eclipse: Preventing Speculative Memory-error Abuse with Artificial Data Dependencies
Efficient user-space information flow control
Key Compression for Isogeny-Based Cryptosystems
Full Accounting for Verifiable Outsourcing
The Leaky Actuator: A Provably-covert Channel in Cyber Physical Systems
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
Implementing Trojan-Resilient Hardware from (Mostly) Untrusted Components Designed by Colluding Manufacturers
Robust Detection of Machine-induced Audio Attacks in Intelligent Audio Systems with Microphone Array
Managing RBAC states with transitive relations
Reconciling Security and Functional Requirements in Multi-tenant Clouds
Collusion Secure q-ary Fingerprinting for Perceptual Content
Certificate Transparency in the Wild: Exploring the Reliability of Monitors
RIPT - An Efficient Multi-Core Record-Replay System
Highly efficient techniques for network forensics
Differential Privacy for Classifier Evaluation
In-Network Filtering of Distributed Denial-of-Service Traffic with Near-Optimal Rule Selection
Ready Raider One: Exploring the Misuse of Cloud Gaming Services
Estimating g-Leakage via Machine Learning
What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation
Asirra: a CAPTCHA that exploits interest-aligned manual image categorization
High Fidelity Data Reduction for Big Data Security Dependency Analyses
The devil is in the (implementation) details: an empirical analysis of OAuth SSO systems
Level Up: Private Non-Interactive Decision Tree Evaluation using Levelled Homomorphic Encryption
Enhancing TPM Security by Integrating SRAM PUFs Technology
ARTMAN '23: First Workshop on Recent Advances in Resilient and Trustworthy ML Systems in Autonomous Networks
Problems on the MR micropayment schemes
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021
Audio watermarking based on amplitude modulation and modulation masking
Phantom of the ADAS: Securing Advanced Driver-Assistance Systems from Split-Second Phantom Attacks
Frequency-Hiding Order-Preserving Encryption
Proceedings of the 1st ACM Workshop on IoT Privacy, Trust, and Security, IoTPTS@AsiaCCS 2015, Singapore, Republic of Singapore, April 14, 2015
Attribute-based signature and its applications
Correlation-Aware Secure Sorting and Permutation for Iterative Two-Party Graph Analysis
A modular approach to composing access control policies
A Theory of Cyber Attacks: A Step Towards Analyzing MTD Systems
DeepMem: Learning Graph Neural Network Models for Fast and Robust Memory Forensic Analysis
Virtual browser: a virtualized browser to sandbox third-party JavaScripts with enhanced security
Proceedings of the 2013 International Workshop on Security in Cloud Computing, SCC@ASIACCS '13, Hangzhou, China, May 8, 2013
Functional Credentials for Internet of Things
Founding Zero-Knowledge Proof of Training on Optimum Vicinity
An Early Warning System for Suspicious Accounts
An efficient mobile PACE implementation
Poster: Efficient Threshold ML-DSA up to 6 Parties
Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time
On the security of cloud data storage and sharing
ARTMAN '25: Third Workshop on Recent Advances in Resilient and Trustworthy MAchine learning-driveN systems
Understanding and Mitigating Remote Code Execution Vulnerabilities in Cross-platform Ecosystem
A fully collusion resistant broadcast, trace, and revoke system
Protecting access privacy of cached contents in information centric networks
Blazing Fast 2PC in the Offline/Online Setting with Security for Malicious Adversaries
Storage Efficient Substring Searchable Symmetric Encryption
Secure function evaluation with ordered binary decision diagrams
Efficiency Improvements for Encrypt-to-Self
Anonymous credentials light
Chunk-Level Password Guessing: Towards Modeling Refined Password Composition Representations
Analyzing Inference Privacy Risks Through Gradients In Machine Learning
Password-Controlled Encryption with Accountable Break-Glass Access
NTRU-v-um: Secure Fully Homomorphic Encryption from NTRU with Small Modulus
Malware Detection on Highly Imbalanced Data through Sequence Modeling
Towards Secure and Reliable IoT Applications
Formal correctness of conflict detection for firewalls
Towards Understanding the Dynamics of Adversarial Attacks
zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials
Proceedings of the 9th Cloud Computing Security Workshop, CCSW@CCS 2017, Dallas, TX, USA, November 3, 2017
Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users
Touching from a distance: website fingerprinting attacks and defenses
The Design and Implementation of Tripwire: A File System Integrity Checker
8th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '13, Hangzhou, China - May 08 - 10, 2013
On the modeling and analysis of obligations
Trust management services in relational databases
Science Hackathons for Cyberphysical System Security Research: Putting CPS testbed platforms to good use
Receiver anonymity via incomparable public keys
Under the Dark: A Systematical Study of Stealthy Mining Pools (Ab)use in the Wild
Proceedings of the 2022 ACM Workshop on Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks, Los Angeles, CA, USA, 11 November 2022
XML access control using static analysis
Predictability of Android OpenSSL's pseudo random number generator
Mobile Friendly or Attacker Friendly?: A Large-scale Security Evaluation of Mobile-first Websites
Finding SSH Strict Key Exchange Violations by State Learning
Proving UNSAT in Zero Knowledge
Shades of gray: a closer look at emails in the gray area
How to design space efficient revocable IBE from non-monotonic ABE
Timed model checking of security protocols
Client-Controlled Cloud Encryption
Software-Defined Networking for Smart Grid Resilience: Opportunities and Challenges
@spam: the underground on 140 characters or less
Cryptol: specification, implementation and verification of high-grade cryptographic applications
Large-Scale and Language-Oblivious Code Authorship Identification
Grafting: Decoupled Scale Factors and Modulus in RNS-CKKS
DHT Blind Rendezvous for Session Establishment in Network Layer Moving Target Defenses
Anonymizing Social Graphs via Uncertainty Semantics
Stealth Key Exchange and Confined Access to the Record Protocol Data in TLS 1.3
Using interval logics for temporal analysis of security protocols
Demo: A Symbolic N-Variant System
Filtering spam with behavioral blacklisting
A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello
Spectrum based fraud detection in social networks
Collusion secure convolutional fingerprinting information codes
Be Aware of What You Let Pass: Demystifying URL-based Authentication Bypass Vulnerability in Java Web Applications
EIFFeL: Ensuring Integrity for Federated Learning
Session details: AI for Detecting Attacks
Controlling data disclosure in computational PIR protocols
Cross-domain one-shot authorization using smart cards
A Framework for Single-Item NFT Auction Mechanism Design
Gradiant asymmetric encryption and verification systems based on handwritten signature
Poster: TCLP: Enforcing Least Privileges to Prevent Containers from Kernel Vulnerabilities
SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings
Credential life cycle management in open credential platforms (short paper)
Secure Similar Sequence Query on Outsourced Genomic Data
May the Fourth Be With You: A Microarchitectural Side Channel Attack on Several Real-World Applications of Curve25519
Trusted computing challenges
Secure k-NN computation on encrypted cloud data without sharing key with query users
Poster: preliminary analysis of Google+'s privacy
Secure access to outsourced data
VibWrite: Towards Finger-input Authentication on Ubiquitous Surfaces via Physical Vibration
Demo - MaLFraDA: A Machine Learning Framework with Data Airlock
Filter-resistant code injection on ARM
Tracer: enforcing mandatory access control in commodity OS with the support of light-weight intrusion detection and tracing
RAID-PIR: Practical Multi-Server PIR
Real-World Universal zkSNARKs are Non-Malleable
Error-tolerant password recovery
DIFUZE: Interface Aware Fuzzing for Kernel Drivers
Trust assurance levels of cybercars in v2x communication
Walking The Last Mile: Studying Decompiler Output Correction in Practice
Cryptographically verified implementations for TLS
Change of Guard: The Next Generation of Social Graph De-anonymization Attacks
Running Language Interpreters Inside SGX: A Lightweight, Legacy-Compatible Script Code Hardening Approach
Sensitivity Analysis of SQL Queries
Enhancing the Resiliency of Cyber-Physical Systems with Software-Defined Networks
Prototype Surgery: Tailoring Neural Prototypes via Soft Labels for Efficient Machine Unlearning
Poster: Backdoor Attacks on Spiking NNs and Neuromorphic Datasets
Towards a richer model of cloud app markets
Selective MPC: Distributed Computation of Differentially Private Key-Value Statistics
Constructing attack scenarios through correlation of intrusion alerts
POSTER: Dynamic Labelling for Analyzing Security Protocols
Poster: Detecting WebAssembly-based Cryptocurrency Mining
POSTER: Study of Software Plugin-based Malware
A PKI-based Framework for Establishing Efficient MPC Channels