yusuke1997/dblp-id-title huggingface dataset:
seL4: From General Purpose to a Proof of Information Flow Enforcement
Which Instructions Matter the Most: A Saliency Analysis of Binary Function Embedding Models
IKP: Turning a PKI Around with Decentralized Automated Incentives
"It's up to the Consumer to be Smart": Understanding the Security and Privacy Attitudes of Smart Home Users on Reddit
"Desperate Times Call for Desperate Measures": User Concerns with Mobile Loan Apps in Kenya
Not All Edges are Equally Robust: Evaluating the Robustness of Ranking-Based Federated Learning
Escort: Securing Scout Paths
On the Buzzword "Security Policy"
Foundations of Logic-Based Trust Management
BadEncoder: Backdoor Attacks to Pre-trained Encoders in Self-Supervised Learning
On the Optimal Communication Complexity of Multiphase Protocols for Perfect Communication
When and Why Do People Want Ad Targeting Explanations? Evidence from a Four-Week, Mixed-Methods Field Study
Delay Wreaks Havoc on Your Smart Home: Delay-based Automation Interference Attacks
EM Fingerprints: Towards Identifying Unauthorized Hardware Substitutions in the Supply Chain Jungle
A Secure Identity-Based Capability System
A Framework for Modeling Decision Making and Deception with Semantic Information
Secure Multiparty Computations on Bitcoin
Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference
Sweep-UC: Swapping Coins Privately
MLSEC - Benchmarking Shallow and Deep Machine Learning Models for Network Security
Fashion Faux Pas: Implicit Stylistic Fingerprints for Bypassing Browsers' Anti-Fingerprinting Defenses
Detection of Mobile Malware: An Artificial Immunity Approach
Prune+PlumTree - Finding Eviction Sets at Scale
Side-Channel-Assisted Reverse-Engineering of Encrypted DNN Hardware Accelerator IP and Attack Surface Exploration
Benchmarking Attacks on Learning with Errors
PhotoProof: Cryptographic Image Authentication for Any Set of Permissible Transformations
Blind Spots: Identifying Exploitable Program Inputs
Domain-Z: 28 Registrations Later Measuring the Exploitation of Residual Trust in Domains
Recent-secure authentication: enforcing revocation in distributed systems
Spectector: Principled Detection of Speculative Information Flows
Research Report: An Optim (l) Approach to Parsing Random-Access Formats
The influence of delay upon an idealized channel's bandwidth
Circuit Structures for Improving Efficiency of Security and Privacy Tools
Understanding and Bridging the Gap Between Unsupervised Network Representation Learning and Security Analytics
A Lustrum of Malware Network Communication: Evolution and Insights
Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage
SYN Proof-of- Work: Improving Volumetric DoS Resilience in TCP
Optimistic Fast Confirmation While Tolerating Malicious Majority in Blockchains
StyleFool: Fooling Video Classification Systems via Style Transfer
Meeting Utility Constraints in Differential Privacy: A Privacy-Boosting Approach
Augmented Shuffle Protocols for Accurate and Robust Frequency Estimation Under Differential Privacy
Design Overview for Retrofitting Integrity-Lock Architecture onto a Commercial DBMS
A formal specification and verification method for the prevention of denial of service
AEM: Facilitating Cross-Version Exploitability Assessment of Linux Kernel Vulnerabilities
Whole-Program Privilege and Compartmentalization Analysis with the Object-Encapsulation Model
Cryptovirology: Extortion-Based Security Threats and Countermeasures
Side-Channel Analysis of Grøstl and Skein
Cryptographic Checksums for Multilevel Database Security
Ownership and Gatekeeping vs. Safeguarding and Consent: How Migrant Parents Navigate Child Data Management Complexities
A Performance Analysis for Confidential Federated Learning
Non-monotonic transformation of access rights
Phishing in Organizations: Findings from a Large-Scale and Long-Term Study
The Code That Never Ran: Modeling Attacks on Speculative Evaluation
Attacking and Improving the Tor Directory Protocol
Spinning Language Models: Risks of Propaganda-As-A-Service and Countermeasures
A Basis for Secure Communication in Large Distributed Systems
Transfer Attacks Revisited: A Large-Scale Empirical Study in Real Computer Vision Settings
Verification of Treaty Compliance Revisited
Prudent Practices for Designing Malware Experiments: Status Quo and Outlook
Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation
Preventing denial and forgery of causal relationships in distributed systems
On the Safety and Efficiency of Firewall Policy Deployment
Trusted Software Verification: A Case Study
Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling
SoK: A Minimalist Approach to Formalizing Analog Sensor Security
Three Birds with One Stone: Efficient Partitioning Attacks on Interdependent Cryptocurrency Networks
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices
Path Oblivious Heap: Optimal and Practical Oblivious Priority Queue
Threshold BBS+ Signatures for Distributed Anonymous Credential Issuance
Tracking Certificate Misissuance in the Wild
SoK: Authentication in Augmented and Virtual Reality
A Secret-Free Hypervisor: Rethinking Isolation in the Age of Speculative Vulnerabilities
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity
Formal Construction of Provably Secure Systems with Cartesiana
Navigating the Insider Threat Tool Landscape: Low Cost Technical Solutions to Jump Start an Insider Threat Program
SoK: Social Cybersecurity
Trusted Confidence Bounds for Learning Enabled Cyber-Physical Systems
Understanding Parents' Perceptions and Practices Toward Children's Security and Privacy in Virtual Reality
RankGuess: Password Guessing Using Adversarial Ranking
Counting Outdated Honeypots: Legal and Useful
WaveSpy: Remote and Through-wall Screen Attack via mmWave Sensing
"Should I Worry?" A Cross-Cultural Examination of Account Security Incident Response
SoK: Certified Robustness for Deep Neural Networks
Robust Nonproprietary Software
Universal Neural-Cracking-Machines: Self-Configurable Password Models from Auxiliary Data
Decentralizing Privacy: Using Blockchain to Protect Personal Data
Firmato: A Novel Firewall Management Toolkit
RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing
Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption
Predictable Design of Network-Based Covert Communication Systems
SoK: Distributed Randomness Beacons
Exploring Zero-Shot Prompting for Generating Data Format Descriptions
True2F: Backdoor-Resistant Authentication Tokens
SybilLimit: A Near-Optimal Social Network Defense against Sybil Attacks
Understanding the Efficacy of Phishing Training in Practice
R-CAID: Embedding Root Cause Analysis within Provenance-based Intrusion Detection
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
Investigating the Password Policy Practices of Website Administrators
2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015
A Logical Language for Expressing Authorizations
1981 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 27-29, 1981
DYNAMITE: Dynamic Defense Selection for Enhancing Machine Learning-Based Intrusion Detection Against Adversarial Attacks
A resource allocation model for denial of service
Discretionary Access Controls in a High-Performance Object Management System
Authenticated Group Key Distribution Scheme for a Large Distributed Network
Ensuring Assurance in Mobile Computing
DevFuzz: Automatic Device Model-Guided Device Driver Fuzzing
Merkle 2 : A Low-Latency Transparency Log System
Tea and I: An Allergy
MIMOCrypt: Multi-User Privacy-Preserving Wi-Fi Sensing via MIMO Encryption
Deep in the Dark - Deep Learning-Based Malware Traffic Detection Without Expert Knowledge
Predator: Directed Web Application Fuzzing for Efficient Vulnerability Validation
Poster: Identity-Independent IoT for Overarching Policy Enforcement
PLATYPUS: Software-based Power Side-Channel Attacks on x86
Towards Human Bio-Inspired Defence Mechanism for Cyber Security
SecureCells: A Secure Compartmentalized Architecture
Seeking Nonsense, Looking for Trouble: Efficient Promotional-Infection Detection through Semantic Inconsistency Search
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
SoK: Deep Packer Inspection: A Longitudinal Study of the Complexity of Run-Time Packers
Everybody's Got ML, Tell Me What Else You Have: Practitioners' Perception of ML-Based Security Tools and Explanations
ALIF: Low-Cost Adversarial Audio Attacks on Black-Box Speech Platforms using Linguistic Features
Negotiated Access Control
FedTilt: Towards Multi-Level Fairness-Preserving and Robust Federated Learning
DEPCOMM: Graph Summarization on System Audit Logs for Attack Investigation
Hidden GEMs: Automated Discovery of Access Control Vulnerabilities in Graphical User Interfaces
A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors
Property Inference from Poisoning
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
An In-memory Embedding of CPython for Offensive Use
SoK: Security Evaluation of Home-Based IoT Deployments
Krace: Data Race Fuzzing for Kernel File Systems
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
Statistical detection of format dialects using the weighted Dowker complex
Expander Graphs for Digital Stream Authentication and Robust Overlay Networks
SpecHammer: Combining Spectre and Rowhammer for New Speculative Attacks
Automating Isolation and Least Privilege in Web Services
On Limitations of Friendly Jamming for Confidentiality
PEARTS: Provable Execution in Real-Time Embedded Systems
A Knowledge-Based Approach to Intrusion Detection Modeling
A Security Architecture and Mechanism for Data Confidentiality in TCP/IP Protocols
Is Electronic Privacy Achievable?
Framing Signals - A Return to Portable Shellcode
Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization
Multi-Instance Adversarial Attack on GNN-Based Malicious Domain Detection
DPolicy: Managing Privacy Risks Across Multiple Releases with Differential Privacy
SAFELearn: Secure Aggregation for private FEderated Learning
WENDIGO: Deep Reinforcement Learning for Denial-of-Service Query Discovery in GraphQL
Research Report: Not All Move Specifications Are Created Equal : A Case Study on the Formally Verified Diem Payment Network
Users Really Do Plug in USB Drives They Find
Layering Central Authentication on Existing Distributed System Terminal Services
Asset Risk Scoring in Enterprise Network with Mutually Reinforced Reputation Propagation
mmSpoof: Resilient Spoofing of Automotive Millimeter-wave Radars using Reflect Array
CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers
Looking for non-compliant documents using error messages from multiple parsers
Security Analysis of Master-Password-Protected Password Management Protocols
Evaluating Insider Threat Detection Workflow Using Supervised and Unsupervised Learning
Exploring Adversarial Examples in Malware Detection
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection
Securely Fine-tuning Pre-trained Encoders Against Adversarial Examples
SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost
Research Report: Building a Wide Reach Corpus for Secure Parser Development
Preventing Cell Phone Intrusion and Theft using Biometrics
Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices
Proceedings of the 1990 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 7-9, 1990
PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning
Precise Information Flow Analysis by Program Verification
Security Foundations for Application-Based Covert Communication Channels
Verifying and Synthesizing Constant-Resource Implementations with Types
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically
Effective Real-Time Android Application Auditing
Security for object-oriented database systems
A Fair Non-repudiation Protocol
View-Based Access Control with High Assurance
2019 IEEE Security and Privacy Workshops, SP Workshops 2019, San Francisco, CA, USA, May 19-23, 2019
Learning from Context: A Multi-View Deep Learning Architecture for Malware Detection
Analysis of Acyclic Attenuating Systems for the SSR Protection Model
Traffic Monitoring and Diagnosis with Multivariate Statistical Network Monitoring: A Case Study
Secure Communications Processing for Distributed Languages
On the Brittleness of Robust Features: An Exploratory Analysis of Model Robustness and Illusionary Robust Features
Resolution Without Dissent: In-Path Per-Query Sanitization to Defeat Surreptitious Communication Over DNS
How to Attack and Generate Honeywords
A general theory of composition for trace sets closed under selective interleaving functions
Codebreaker: Dynamic Extraction Attacks on Code Language Models
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks
WIGHT: Wired Ghost Touch Attack on Capacitive Touchscreens
ELK, A New Protocol for Efficient Large-Group Key Distribution
Bookworm Game: Automatic Discovery of LTE Vulnerabilities Through Documentation Analysis
Labeling Screen Output
I know What You Sync: Covert and Side Channel Attacks on File Systems via syncfs
Privacy-Preserving Ridge Regression on Hundreds of Millions of Records
Security Proofs for Information Protection Systems
Evaluating Password Composition Policy and Password Meters of Popular Websites
The Secure Relational Database Management System Kernel: Three Years After
Characterizing Vulnerability of DNS AXFR Transfers with Global-Scale Scanning
An Interactive Framework for Implementing Privacy-Preserving Federated Learning: Experiments on Large Language Models
Private, Efficient, and Accurate: Protecting Models Trained by Multi-party Learning with Differential Privacy
GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics
Hacking Blind
Robust Verification of PEG Parser Interpreters
Thinking Inside the Box: System-Level Failures of Tamper Proofing
Toward an Approach to Measuring Software Trust
Do You Play It by the Books? A Study on Incident Response Playbooks and Influencing Factors
"You Have to Ignore the Dangers": User Perceptions of the Security and Privacy Benefits of WhatsApp Mods
Comet: Accelerating Private Inference for Large Language Model by Predicting Activation Sparsity
Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems
How to Shop for Free Online - Security Analysis of Cashier-as-a-Service Based Web Stores
Redesigning Secure Protocols to Compel Grammatical Compliance Checking
Ada's Suitability for Trusted Computer Systems
Secure Web Browsing with the OP Web Browser
Post-Quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem
Examining traffic microstructures to improve model development
Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec
Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation
SPX: Global Authentication Using Public Key Certificates
The algebra of security
Surviving information warfare attacks on databases
A Hybrid Architecture for Interactive Verifiable Computation
Counterfeit Object-oriented Programming: On the Difficulty of Preventing Code Reuse Attacks in C++ Applications
Augur: Internet-Wide Detection of Connectivity Disruptions
A Secure and Reliable Bootstrap Architecture
IEEE Symposium on Security and Privacy, SP 2012, 21-23 May 2012, San Francisco, California, USA
Reasoning about accountability in protocols for electronic commerce
More Haste, Less Speed: Cache Related Security Threats in Continuous Integration Services
Design Experiences from the Multilevel Secure MCF Operating System
Stateful Analysis and Fuzzing of Commercial Baseband Firmware
Practical EMV Relay Protection
Modelling a fuzzy time system
Proceedings of the 1991 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 20-22, 1991
Accelerating Computer Security Innovation
TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits
1985 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 22-24, 1985
IUBIK: Isolating User Bytes in Commodity Operating System Kernels via Memory Tagging Extensions
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay
Highly Efficient Actively Secure Two-Party Computation with One-Bit Advantage Bound
Simulated User Bots: Real Time Testing of Insider Threat Detection Systems
The Value of Collaboration in Convex Machine Learning with Differential Privacy
Learn What You Want to Unlearn: Unlearning Inversion Attacks against Machine Unlearning
SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications
Access Flow: A Protection Model which Integrates Access Control and Information Flow
FLUTE: Fast and Secure Lookup Table Evaluations
Inference channel-free integrity constraints in multilevel relational databases
Breach Extraction Attacks: Exposing and Addressing the Leakage in Second Generation Compromised Credential Checking Services
Measure-Observe-Remeasure: An Interactive Paradigm for Differentially-Private Exploratory Analysis
HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis
Towards Automatic Generation of Vulnerability-Based Signatures
Provably Robust and Secure Steganography in Asymmetric Resource Scenario
SoK: SGX.Fail: How Stuff Gets eXposed
Drones' Cryptanalysis - Smashing Cryptography with a Flicker
Tap 'n Ghost: A Compilation of Novel Attack Techniques against Smartphone Touchscreens
Capabilities-based access control for IoT devices using Verifiable Credentials
Secure Transfer Learning: Training Clean Model Against Backdoor in Pre-Trained Encoder and Downstream Dataset
Practical Timing Side-Channel Attacks on Memory Compression
Hold and Sign: A Novel Behavioral Biometrics for Smartphone User Authentication
Dataflow Anomaly Detection
Clash Attacks on the Verifiability of E-Voting Systems
Large-Scale Study of Vulnerability Scanners for Ethereum Smart Contracts
Resilience as a New Enforcement Model for IT Security Based on Usage Control
Slender PUF Protocol: A Lightweight, Robust, and Secure Authentication by Substring Matching
A Format-Aware Reducer for Scriptable Rewriting of PDF Files
DNSBomb: A New Practical-and-Powerful Pulsing DoS Attack Exploiting DNS Queries-and-Responses
A System for the Specification and Verification of Key Management Protocols
Mew: Enabling Large-Scale and Dynamic Link-Flooding Defenses on Programmable Switches
Anomaly Detection Using Call Stack Information
On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions
Privacy Risk Analysis Based on System Control Structures: Adapting System-Theoretic Process Analysis for Privacy Engineering
Supporting Human Raters with the Detection of Harmful Content Using Large Language Models
Adversarial Attacks Against LipNet: End-to-End Sentence Level Lipreading
Spotless Sandboxes: Evading Malware Analysis Systems Using Wear-and-Tear Artifacts
"I hereby leave my email to...": Data Usage Control and the Digital Estate
Verbatim: A Verified Lexer Generator
Detecting Cyber Threats in Non-English Hacker Forums: An Adversarial Cross-Lingual Knowledge Transfer Approach
On the Transport of Privileges
Learning Universal Adversarial Perturbations with Generative Models
Trawling for Tor Hidden Services: Detection, Measurement, Deanonymization
A Symbolic Execution Framework for JavaScript
Sailfish: Towards Improving the Latency of DAG-Based BFT
DBREACH: Stealing from Databases Using Compression Side Channels
Spatio-Temporal Database Management, 2nd International Workshop STDBM'04, Toronto, Canada, August 30, 2004
Managing Trajectories of Moving Objects as Data Streams
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries
Indexing Query Regions for Streaming Geospatial Data
Ontology-Based Geographic Data Set Integration
Nearest Neighbor Queries in a Mobile Environment
The Honeycomb Model of Spatio-Temporal Partitions
Predicted Range Aggregate Processing in Spatio-temporal Databases
Mining Long, Sharable Patterns in Trajectories of Moving Objects
Animating Spatiotemporal Constraint Databases
Continuous Query Processing of Spatio-temporal Data Streams in PLACE
Utilizing Road Network Data for Automatic Identification of Road Intersections from High Resolution Color Orthoimagery
Mobility patterns
Temporal Dependencies Generalized for Spatial and Other Dimensions
Additively Weighted Voronoi Diagrams for Optimal Sequenced Route Queries
Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information
Continuous K-Nearest Neighbor Queries in Spatial Network Databases
Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings
A Spatio-Temporal Database Model on Transportation Surveillance Videos
Update-efficient Indexing of Moving Objects in Road Networks
A Framework of a Generic Index for Spatio-Temporal Data in CONCERT
Lifestyles - An Algebraic Approach to Change in Identity
Extracting Mobility Statistics from Indexed Spatio-Temporal Datasets
Using Interactive, Temporal Visualizations for WWW-based Presentation and Exploration of Spatio-Temporal Data
The Italian Cadastral Information System: a Real-Life Spatio-Temporal DBMS
Towards A Streams-Based Framework for Defining Location-Based Queries
Condition Evaluation for Speculative Systems: a Streaming Time Series Case
Evaluation of Access Structures for Discretely Moving Points
Distributed Spatial Data Warehouse Indexed with Virtual Memory Aggregation Tree
The BASIS System: A Benchmarking Approach for Spatial Index Structures
A Spatio-Temporal Taxonomy for the Representation of Spatial Set Behaviours
Automatically and Efficiently Matching Road Networks with Spatial Attributes in Unknown Geometry Systems
Proceedings of the Third STDBM Workshop on Spatio-Temporal Database Management, STDBM 2006, Seoul, Republic of Korea, September 11, 2006
Fusion Based Methodology for Spatial Clustering
A Storage Scheme for Multi-dimensional Databases Using Extendible Array Files
Human-like Natural Language Generation Using Monte Carlo Tree Search
X575: Writing Rengas with Web Services
A Challenge to the Third Hoshi Shinichi Award
Empirical Determination of Basic Heuristics for Narrative Content Planning
Process Based Evaluation of Computer Generated Poetry
Assembling Narratives with Associative Threads
Constructing narrative using a generative model and continuous action policies
Proceedings of the INLG 2016 Workshop on Computational Creativity in Natural Language Generation, CC-NLG 2016, Edinburgh, UK, September 2016
Automatic Modification of Communication Style in Dialogue Management
Poet's Little Helper: A methodology for computer-based poetry generation. A case study for the Basque language
Combinatorics vs Grammar: Archeology of Computational Poetry in Tape Mark I
Template-Free Construction of Rhyming Poems with Thematic Cohesion
Proceedings of the Workshop on Computational Creativity in Natural Language Generation, CC-NLG@INLG 2017, Santiago de Compostela, Spain, September 4, 2017
Synthetic Literature: Writing Science Fiction in a Co-Creative Process
Mining Knowledge in Storytelling Systems for Narrative Generation
O Poeta Artificial 2.0: Increasing Meaningfulness in a Poetry Generation Twitter bot
A new electroplating mask for deep wet etching on glass
Characteristics of nano crystallite Te-Bi composited thermoelectrics for cooling by screen printing
A novel multi-direction high shock reliability test on MEMS devices
Angularly parameterized macromodel extraction for microstructures with a large number of terminals
Fabrication of taper hollow metallic microneedle array for portable drug delivery system