yusuke1997/dblp-id-title huggingface dataset:
First Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC): Challenges and Research Directions
The most dangerous code in the world: validating SSL certificates in non-browser software
A logic for authorization provenance
BaseMirror: Automatic Reverse Engineering of Baseband Commands from Android's Radio Interface Layer
Practical and lightweight domain isolation on Android
Privacy-preserving smart metering with regional statistics and personal enquiry services
PrivacyGuard: A VPN-based Platform to Detect Information Leakage on Android Devices
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies
MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware-Software Taint Tracking
Identifying the Missing Aspects of the ANSI/ISA Best Practices for Security Policy
Verifiable data streaming
On the Importance of Securing Your Bins: The Garbage-man-in-the-middle Attack
Uncovering Large Groups of Active Malicious Accounts in Online Social Networks
Digital Signatures: Can They be Accepted as Legal Signatures in EDI?
Faulds: A Non-Parametric Iterative Classifier for Internet-Wide OS Fingerprinting
Implementing middleware for content filtering and information flow control
Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks
Combining Homomorphic Encryption with Trusted Execution Environment: A Demonstration with Paillier Encryption and SGX
Smart energy grid security workshop (SEGS'13)
QV-net: Decentralized Self-Tallying Quadratic Voting with Maximal Ballot Secrecy
Socializing Drones for Inter-Service Operability in Ultra-Dense Wireless Networks using Blockchain
Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption
IoT S&P 2019: 2nd Workshop on the Internet of Things Security and Privacy
Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts
Regulation TL;DR: Adversarial Text Summarization of Federal Register Articles
CAPSID: A Private Session ID System for Small UAVs
Preventing accidental data disclosure in modern operating systems
TWOS: A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition
Your Smart Contracts Are Not Secure: Investigating Arbitrageurs and Oracle Manipulators in Ethereum
Anonymous Credit Cards
Unveiling the Vulnerability of Private Fine-Tuning in Split-Based Frameworks for Large Language Models: A Bidirectionally Enhanced Attack
AMSec'22: ACM CCS Workshop on Additive Manufacturing (3D Printing) Security
POSTER: Compromising Cloaking-based Location Privacy Preserving Mechanisms with Location Injection Attacks
Optimal Geo-Indistinguishable Mechanisms for Location Privacy
Privacy settings in social networking systems: what you cannot control
What you want is not what you get: predicting sharing policies for text-based content on facebook
Weaving rewrite-based access control policies
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees
APKLancet: tumor payload diagnosis and purification for android applications
Concurrently-secure credential ownership proofs
A Game Theoretic Approach to Strategy Determination for Dynamic Platform Defenses
Chucky: exposing missing checks in source code for vulnerability discovery
Shared Reality: Detecting Stealthy Attacks Against Autonomous Vehicles
ZDVUE: prioritization of javascript attacks to discover new vulnerabilities
SPSM'12, Proceedings of the Workshop on Security and Privacy in Smartphones and Mobile Devices, Co-located with CCS 2012, October 19, 2012, Raleigh, NC, USA
Breaking through fixed PUF block limitations with differential sequence coding and convolutional codes
POSTER: DataLair: A Storage Block Device with Plausible Deniability
Backdoor Pre-trained Models Can Transfer to All
More Efficient MPC from Improved Triple Generation and Authenticated Garbling
Provably secure LWE encryption with smallish uniform noise and secret
Zero-knowledge using garbled circuits: how to prove non-algebraic statements efficiently
An empirical study on the software integrity of virtual appliances: are you really getting what you paid for?
Scheduling black-box mutational fuzzing
On the Disappearing Boundary Between Digital, Physical, and Social Spaces: Who, What, Where and When?
Bridging the gap between web application firewalls and web applications
Using model-based security analysis in component-oriented system development
CCS 2017: Women in Cyber Security (CyberW) Workshop
Generalized external interaction with tamper-resistant hardware with bounded information leakage
Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts, BCC@AsiaCCS 2018, Incheon, Republic of Korea, June 4, 2018
SVM Learning for Default Prediction of Credit Card under Differential Privacy
Minimizing private data disclosures in the smart grid
Point Cloud Analysis for ML-Based Malicious Traffic Detection: Reducing Majorities of False Positive Alarms
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module
Dialog-based payload aggregation for intrusion detection
Analysis of internet-wide probing using darknets
Data Poisoning Attacks to Locally Differentially Private Frequent Itemset Mining Protocols
Practical affiliation-hiding authentication from improved polynomial interpolation
CINI MINIS: Domain Isolation for Fault and Combined Security
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018
The BiBa one-time signature and broadcast authentication protocol
Distributed credential chain discovery in trust management: extended abstract
LPGNet: Link Private Graph Networks for Node Classification
No-Execute-After-Read: Preventing Code Disclosure in Commodity Software
Characterizing and Mitigating Phishing Attacks at ccTLD Scale
Leakage-Resilient Circuit Garbling
Poster: Framework for Semi-Private Function Evaluation with Application to Secure Insurance Rate Calculation
POPCORN: privacy-preserving charging for emobility
Session details: Keynote Address
∑oφoς: Forward Secure Searchable Encryption
Early security classification of skype users via machine learning
Remote Proofs of Video Freshness for Public Spaces
Public-Key Cryptography and Password Protocols
A PIN-entry method resilient against shoulder surfing
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters
Secure latency estimation with treeple
Utility-Aware Synthesis of Differentially Private and Attack-Resilient Location Traces
Optimistic, Signature-Free Reliable Broadcast and Its Applications
YourPassword: applying feedback loops to improve security behavior of managing multiple passwords
Privacy Breach by Exploiting postMessage in HTML5: Identification, Evaluation, and Countermeasure
The Web's Sixth Sense: A Study of Scripts Accessing Smartphone Sensors
Lattice-Based Blind Signatures: Short, Efficient, and Round-Optimal
Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses
POSTER: Probing Tor Hidden Service with Dockers
Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition
A Generic Methodology for the Modular Verification of Security Protocol Implementations
Efficient Key-Rotatable and Security-Updatable Homomorphic Encryption
Mithridates: Auditing and Boosting Backdoor Resistance of Machine Learning Pipelines
Reusable cryptographic fuzzy extractors
Forward-secure signatures in untrusted update environments: efficient and generic constructions
Bitcoin Under Volatile Block Rewards: How Mempool Statistics Can Influence Bitcoin Mining
Identity, location, disease and more: inferring your secrets from android public resources
5G-RNAKA : A Random Number-based Authentication and Key Agreement Protocol for 5G Systems
TAPS: automatically preparing safe SQL queries
The Invisible Shadow: How Security Cameras Leak Private Activities
Proceedings of the 2018 on Asia Conference on Computer and Communications Security, AsiaCCS 2018, Incheon, Republic of Korea, June 04-08, 2018
Data quality evaluation: integrating security and accuracy
Authorization Contracts
It all Started with Compression: Another Look at Reconciliation Mechanism
Propagation of Authorizations in Distributed Database Systems
The Last Mile: An Empirical Study of Timing Channels on seL4
On protecting integrity and confidentiality of cryptographic file system for outsourced storage
RebirthDay Attack: Reviving DNS Cache Poisoning with the Birthday Paradox
CoDaRR: Continuous Data Space Randomization against Data-Only Attacks
Towards Attribution in Mobile Markets: Identifying Developer Account Polymorphism
Forgeability and Membership Inference Attacks
Poster: Gift or Curse? Safety Slider Settings in Tor Website Fingerprinting
Poster: SMURFEN: a rule sharing collaborative intrusion detection network
Tarzan: a peer-to-peer anonymizing network layer
Distributed Vector-OLE: Improved Constructions and Implementation
Identifying the Scan and Attack Infrastructures Behind Amplification DDoS Attacks
TickTock: Detecting Microphone Status in Laptops Leveraging Electromagnetic Leakage of Clock Signals
Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code
Practical forward secure sequential aggregate signatures
An Implementation of Non-Uniform Shuffle for Secure Multi-Party Computation
A secure system for data access based on anonymous authentication and time-dependent hierarchical keys
POSTER: Page Table Manipulation Attack
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation
The Illusion of Randomness: An Empirical Analysis of Address Space Layout Randomization Implementations
Controlling data in the cloud: outsourcing computation without outsourcing control
VoIP Fraud: Identifying a Wolf in Sheep's Clothing
HlcAuth: Key-free and Secure Communications via Home-Limited Channel
Limiting the Impact of Stealthy Attacks on Industrial Control Systems
Practical Aspects on Non-profiled Deep-learning Side-channel Attacks against AES Software Implementation with Two Types of Masking Countermeasures including RSM
Employees' Attitudes towards Phishing Simulations: "It's like when a child reaches onto the hot hob"
Using build-integrated static checking to preserve correctness invariants
Uranus: Simple, Efficient SGX Programming and its Applications
Scanner hunter: understanding HTTP scanning traffic
Efficient Constant-Size Linkable Ring Signatures for Ad-Hoc Rings via Pairing-Based Set Membership Arguments
PROS2E, a Probabilistic Representation of Safety and Security Events for Diagnosis
Security policy compliance with violation management
Poster: An Exploration of Large Language Models in Malicious Source Code Detection
A versatile code execution isolation framework with security first
TOPAS: 2-Pass Key Exchange with Full Perfect Forward Secrecy and Optimal Communication Complexity
Malware propagation in online social networks: nature, dynamics, and defense implications
Phishing URL Detection: A Network-based Approach Robust to Evasion
Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12)
Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability
Differential Privacy for Directional Data
Security audits of multi-tier virtual infrastructures in public infrastructure clouds
Proceedings of the 2nd ACM Workshop on Security and Artificial Intelligence, AISec 2009, Chicago, Illinois, USA, November 9, 2009
Unauthorized origin crossing on mobile platforms: threats and mitigation
TweetScore: Scoring Tweets via Social Attribute Relationships for Twitter Spammer Detection
Poster: Cryptographic Inferences for Video Deep Neural Networks
A holistic approach to service survivability
An efficient user verification system via mouse movements
POSTER: Mitigating Memory Sharing-based Side-channel Attack by Embedding Random Values in Binary for Cloud Environment
RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications
Tutorial: Private Information Retrieval
Privacy-preserving Hybrid Recommender System
Challenges in compiler construction for secure two-party computation
Secure enrollment and practical migration for mobile trusted execution environments
Lost in the Digital Wild: Hiding Information in Digital Activities
Unearthing Stealthy Program Attacks Buried in Extremely Long Execution Paths
A Subliminal Channel in EdDSA: Information Leakage with High-Speed Signatures
When the Differences in Frequency Domain are Compensated: Understanding and Defeating Modulated Replay Attacks on Automatic Speech Recognition
Memory Safety for Embedded Devices with nesCheck
MegaBlocks: Breaking the Logarithmic I/O-Overhead Barrier for Oblivious RAM
Homomorphic Multiple Precision Multiplication for CKKS and Reduced Modulus Consumption
Accurate and Efficient Recurring Vulnerability Detection for IoT Firmware
Bind your phone number with caution: automated user profiling through address book matching on smartphone
When Machine Unlearning Jeopardizes Privacy
Optimize Your Efforts: How to Tailor PhD Research to Real-World Needs - Industrial Perspective on Academic CPS/IoT Research
Game Theoretic Models for Cyber Deception
A Multi-OS Cross-Layer Study of Bloating in User Programs, Kernel and Managed Execution Environments
NodeMerge: Template Based Efficient Data Reduction For Big-Data Causality Analysis
Perfect ZK Argument of Knowledge of Discrete Logarithm in A Cyclic Group with Unknown Order
Secure Sorting and Selection via Function Secret Sharing
MPC-Friendly Symmetric Key Primitives
New Protocols for Third-Party-Based Authentication and Secure Broadcast
PANIC: PAN-assisted Intra-process Memory Isolation on ARM
SafeConfig'17: Applying the Scientific Method to Active Cyber Defense Research
A Linear Distinguisher and its Application for Analyzing Privacy-Preserving Transformation Used in Verifiable (Outsourced) Computation
Privilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients
The Catcher in the Field: A Fieldprint based Spoofing Detection for Text-Independent Speaker Verification
CPSIOTSEC'20: 2020 Joint Workshop on CPS&IoT Security and Privacy
On the Privacy Risks of Cell-Based NAS Architectures
Large-scale DNS data analysis
OpenMTD: A Framework for Efficient Network-Level MTD Evaluation
WaC: First Results on Practical Side-Channel Attacks on Commercial Machine Learning Accelerator
Proofs of retrievability: theory and implementation
Diesel: applying privilege separation to database access
Verifiable Secret Sharing for Monotone Access Structures
Locating the Security Patches for Disclosed OSS Vulnerabilities with Vulnerability-Commit Correlation Ranking
Practical leakage-resilient identity-based encryption from simple assumptions
User-friendly matching protocol for online social networks
Oblivious transfer with access control
Counting Subgraphs under Shuffle Differential Privacy
Practical Black-Box Attacks against Machine Learning
Improved anonymous proxy re-encryption with CCA security
Are hardware performance counters a cost effective way for integrity checking of programs
You Are Your Photographs: Detecting Multiple Identities of Vendors in the Darknet Marketplaces
Secure Delegation of Isogeny Computations and Cryptographic Applications
Scalable Graph-based Bug Search for Firmware Images
Fault Attacks on Efficient Pairing Implementations
The performance of public key-enabled kerberos authentication in mobile computing applications
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
Rusted Anchors: A National Client-Side View of Hidden Root CAs in the Web PKI Ecosystem
Gotcha! I Know What You Are Doing on the FPGA Cloud: Fingerprinting Co-Located Cloud FPGA Accelerators via Measuring Communication Links
Video is All You Need: Attacking PPG-based Biometric Authentication
A robust one-class bayesian approach for masquerade detection
Where Does It Go?: Refining Indirect-Call Targets with Multi-Layer Type Analysis
Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries
Order-Revealing Encryption: New Constructions, Applications, and Lower Bounds
Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn
Provably secure and efficient bounded ciphertext policy attribute based encryption
Aligot: cryptographic function identification in obfuscated binary programs
Hunting Malicious TLS Certificates with Deep Neural Networks
Poster: Privacy-Preserving Epidemiological Modeling on Mobile Graphs
Chameleon: A Hybrid Secure Computation Framework for Machine Learning Applications
Provably secure browser-based user-aware mutual authentication over TLS
SCA Secure and Updatable Crypto Engines for FPGA SoC Bitstream Decryption
Characterizing Background Noise in ICS Traffic Through a Set of Low Interaction Honeypots
Deep Models Under the GAN: Information Leakage from Collaborative Deep Learning
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)
Forward to Hell? On the Potentials of Misusing Transparent DNS Forwarders in Reflective Amplification Attacks
Identity Related Threats, Vulnerabilities and Risk Mitigation in Online Social Networks: A Tutorial
Game-Set-MATCH: Using Mobile Devices for Seamless External-Facing Biometric Matching
Sequence-aware Intrusion Detection in Industrial Control Systems
HammerScope: Observing DRAM Power Consumption Using Rowhammer
Asymmetric Fingerprinting for Larger Collusions
Fast Homomorphic Evaluation of LWR-based PRFs
Practical Graphs for Optimal Side-Channel Resistant Memory-Hard Functions
Fairness in an Unfair World: Fair Multiparty Computation from Public Bulletin Boards
You Shall Not Pass! (Once Again): An IoT Application of Post-quantum Stateful Signature Schemes
OTIT: towards secure provenance modeling for location proofs
Denial of service or denial of security?
Ciphertext policy attribute-based encryption from lattices
SecLaaS: secure logging-as-a-service for cloud forensics
HE3DB: An Efficient and Elastic Encrypted Database Via Arithmetic-And-Logic Fully Homomorphic Encryption
OpenPacket.org: the challenge of a free, public packet capture repository
CPS-SPC 2018: Fourth Workshop on Cyber-Physical Systems Security and PrivaCy
FlowSentry: Accelerating NetFlow-based DDoS Detection
Securing electronic medical records using attribute-based encryption on mobile devices
CCSW'20: 2020 Cloud Computing Security Workshop
Gotta Catch'Em All: Using Honeypots to Catch Adversarial Attacks on Neural Networks
vNIDS: Towards Elastic Security with Safe and Efficient Virtualization of Network Intrusion Detection Systems
Securely combining public-key cryptosystems
Poster: Efficient Three-Party Shuffling Using Precomputation
Unforgeability in Stochastic Gradient Descent
Workshop Summary of AISec'14: 2014 Workshop on Artificial Intelligent and Security
Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves
System security, platform security and usability
PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection
Finding MNEMON: Reviving Memories of Node Embeddings
Poster: Ontology Enabled Chatbot for Applying Privacy by Design in IoT Systems
Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction
Déjà Vu? Challenges and Opportunities for AM Security from an ICS perspective
Poster: libdebug, Build Your Own Debugger for a Better (Hello) World
Efficient Online-friendly Two-Party ECDSA Signature
Poster: TAPChecker: Model Checking in Trigger-Action Rules Generation Using Large Language Models
No-Match Attacks and Robust Partnering Definitions: Defining Trivial Attacks for Security Protocols is Not Trivial
Publicly verifiable ownership protection for relational databases
A Search Engine Backed by Internet-Wide Scanning
Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?
Secure online banking on untrusted computers
Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators
Data Exfiltration in the Face of CSP
Measuring and Augmenting Large Language Models for Solving Capture-the-Flag Challenges
Honest-but-Curious Nets: Sensitive Attributes of Private Inputs Can Be Secretly Coded into the Classifiers' Outputs
Fuzz to the Future: Uncovering Occluded Future Vulnerabilities via Robust Fuzzing
DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps
Automating Cryptographic Code Generation
Swallow: A Transfer-Robust Website Fingerprinting Attack via Consistent Feature Learning
Integer Functions Suitable for Homomorphic Encryption over Finite Fields
Deadbolt: locking down android disk encryption
BotFlex: a community-driven tool for botnetdetection
Backdoor Attack on Deep Neural Networks Triggered by Fault Injection Attack on Image Sensor Interface
Fear the EAR: discovering and mitigating execution after redirect vulnerabilities
GraphSE²: An Encrypted Graph Database for Privacy-Preserving Social Search
A Bitstream Reverse Engineering Tool for FPGA Hardware Trojan Detection
Disavowable Public Key Encryption with Non-interactive Opening
PathGES: An Efficient and Secure Graph Encryption Scheme for Shortest Path Queries
Error Term Checking: Towards Chosen Ciphertext Security without Re-encryption
SOMA: mutual approval for included content in web pages
VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption
Lightweight Examination of DLL Environments in Virtual Machines to Detect Malware
Triggering Rowhammer Hardware Faults on ARM: A Revisit
Cloxy: A Context-aware Deception-as-a-Service Reverse Proxy for Web Services
Password-Protected Key Retrieval with(out) HSM Protection
Legilimens: Practical and Unified Content Moderation for Large Language Model Services
Developing security protocols by refinement
Privacy Preserving Distributed Permutation Test
Malware Classification and Class Imbalance via Stochastic Hashed LZJD
Evolving Network Security in the Era of Network Programmability
Dissecting Residual APIs in Custom Android ROMs
Censored Planet: An Internet-wide, Longitudinal Censorship Observatory
Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning
Security and Machine Learning
HealthSec '24: First ACM CCS Workshop on Cybersecurity in Healthcare
A Large Scale Comprehensive Evaluation of Single-Slice Ring Oscillator and PicoPUF Bit Cells on 28nm Xilinx FPGAs
Trace equivalence decision: negative tests and non-determinism
Composing Differential Privacy and Secure Computation: A Case Study on Scaling Private Record Linkage
MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications
TunneLs for Bootlegging: Fully Reverse-Engineering GPU TLBs for Challenging Isolation Guarantees of NVIDIA MIG
ReactAppScan: Mining React Application Vulnerabilities via Component Graph
Using Smartcards to Secure a Personalized Gambling Device
Efficiently tracking application interactions using lightweight virtualization
The Personal Identification Chord: A Four ButtonAuthentication System for Smartwatches
Comparse: Provably Secure Formats for Cryptographic Protocols
Perception-Aware Attack: Creating Adversarial Music via Reverse-Engineering Human Perception
Sufficient conditions for vertical composition of security protocols
DCT-OFDM based watermarking scheme robust against clipping attack
Advanced Probabilistic Couplings for Differential Privacy
TokenScope: Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum
HideNoSeek: Camouflaging Malicious JavaScript in Benign ASTs
POSTER: Authenticated Key-Exchange Protocol for Heterogeneous CPS
POSTER: Lightweight Streaming Authenticated Data Structures
Certificateless signcryption
Machine learning attacks against the Asirra CAPTCHA
SemFuzz: Semantics-based Automatic Generation of Proof-of-Concept Exploits
Towards Architecture and OS-Independent Malware Detection via Memory Forensics
Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011
A Hard Label Black-box Adversarial Attack Against Graph Neural Networks
On spatio-temporal constraints and inheritance in role-based access control