yusuke1997/dblp-id-title huggingface dataset:
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations
Global Behaviour for Complex Constraints
Domain Reduction for Valued Constraints by Generalising Methods from CSP
Accelerating Random Walks
Reformulating Positive Table Constraints Using Functional Dependencies
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization
Erratum to: Modeling Universal Instruction Selection
Constraint Based Resilience Analysis
SAT-Based Learning of Compact Binary Decision Diagrams for Classification
Extending Systematic Local Search for Job Shop Scheduling Problems
Making Compact-Table Compact
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation
On the Efficiency of Impact Based Heuristics
Nested Constraint Programs
Using Learnt Clauses in maxsat
Distributed Stable Matching Problems
A Dual Graph Translation of a Problem in 'Life'
Machine Learning of Bayesian Networks Using Constraint Programming
The Dynamics of Dynamic Variable Ordering Heuristics
Maximising the Net Present Value of Large Resource-Constrained Projects
OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine
An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling
Constrained-Based Differential Privacy (Invited Talk)
Depth-First Mini-Bucket Elimination
Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming
Appriximate Algorithms for Maximum Utility Problems
Same-Relation Constraints
Localization of an Underwater Robot Using Interval Constraint Propagation
On the Enhancement of the Informed Backtracking Algorithm
A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms
A Global Constraint for a Tractable Class of Temporal Optimization Problems
Learning the Parameters of Global Constraints Using Branch-and-Bound
From Prediction to Action: A Constraint-Based Approach to Predictive Policing
On Tightness of Constraints
Using Blocks for Constraint Satisfaction
Watched Propagation of 0-1 Integer Linear Constraints
On the Erdős Discrepancy Problem
Determining the Number of Solutions to Binary CSP Instances
Asynchronous Inter-Level Forward-Checking for DisCSPs
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming
Structure-Driven Multiple Constraint Acquisition
The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators
A CLP Approach for Examination Planning
Efficient Filtering for the Unary Resource with Family-Based Transition Times
Understanding the Impact of Value Selection Heuristics in Scheduling Problems
Configurable Solvers: Tailoring General Methods to Specific Applications
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems
Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization
Decomposition and Learning for a Hard Real Time Task Allocation Problem
Local Symmetry Breaking During Search in CSPs
Towards Modern and Modular SAT for LCG (Short Paper)
Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows
Checking and Filtering Global Set Constraints
The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10
Solution Sampling with Random Table Constraints
The Work Task Variation Problem
A Constraint-Based Interactive Train Rescheduling Tool
Automatic Detection of Variable and Value Symmetries
Global Constraints for Lexicographic Orderings
Towards Formal Fairness in Machine Learning
Learning Parameters for the Sequence Constraint from Solutions
An Instance of Adaptive Constraint Propagation
LP as a Global Search Heuristic Across Different Constrainedness Regions
Using Partial Arc Consistency in a Database Environment
Towards Inductive Constraint Solving
Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search
Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems
Improved Bound Computation in Presence of Several Clique Constraints
Semi-independent Partitioning: A Method for Bounding the Solution to COP's
A Canonicity Test for Configuration
Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables
Mechanism Design for Preference Aggregation over Coalitions
A Simple Distribution-Free Approach to the Max k -Armed Bandit Problem
A Compression Algorithm for Large Arity Extensional Constraints
Testing Expressibility Is Hard
Refined Core Relaxation for Core-Guided MaxSAT Solving
Applying Constraint Programming to Protein Structure Determination
Constraint Satisfaction over Bit-Vectors
Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems
Diversification and Intensification in Parallel SAT Solving
On the Reduction of the CSP Dichotomy Conjecture to Digraphs
Encoding Linear Constraints with Implication Chains to CNF
Partial Constraint Satisfaction
Infinite Qualitative Simulations by Means of Constraint Programming
Back to the Complexity of Universal Programs
Focus : A Constraint for Concentrating High Costs
Effective Encodings of Constraint Programming Models to SMT
Distributed Stable Matching Problems with Ties and Incomplete Lists
Mind the Gaps: A New Splitting Strategy for Consistency Techniques
Bounded Backtracking for the Valued Constraint Satisfaction Problems
Conflict Directed Lazy Decomposition
Optimizing STR Algorithms with Tuple Compression
On Completion of Constraint Handling Rules
Bin Repacking Scheduling in Virtualized Datacenters
A Meta-Heuristic Factory for Vehicle Routing Problems
Temporal Planning through Mixed Integer Programming: A Preliminary Report
Contributions to the Theory of Practical Quantified Boolean Formula Solving
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join
A Constraint-Based Encoding for Domain-Independent Temporal Planning
Making Rigorous Linear Programming Practical for Program Analysis
Concurrent Dynamic Backtracking for Distributed CSPs
Tractable Triangles
The Confidence Constraint: A Step Towards Stochastic CP Solvers
Modeling Constraint Programs with Software Technology Standards
Semantics and Expressive Power of a Timed Concurrent Constraint Language
Constraint Programming for Mining n-ary Patterns
Quality of LP-Based Approximations for Highly Combinatorial Problems
Set Domain Propagation Using ROBDDs
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
Efficient Generic Search Heuristics within the EMBP Framework
On Inconsistent Clause-Subsets for Max-SAT Solving
A Filtering Algorithm for Global Sequencing Constraints
From Cliques to Colorings and Back Again
An Analysis of Slow Convergence in Interval Propagation
Sub-optimality Approximations
Probabilistic Arc Consistency
Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs
A Linear-Logic Semantics for Constraint Handling Rules
Constraint-Based Synthesis of Datalog Programs
Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem
In Search of a Phase Transition in the AC-Matching Problem
Propagation = Lazy Clause Generation
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Algorithms for Quantified Constraint Satisfaction Problems
A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing
Methods to Learn Abstract Scheduling Models
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem
Anytime AND/OR Depth-First Search for Combinatorial Optimization - (Extended Abstract)
Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
Search Combinators
Practical Bigraphs via Subgraph Isomorphism
Open Constraint Satisfaction
Core-Guided MaxSAT with Soft Cardinality Constraints
Constraint Programming for Multi-criteria Conceptual Clustering
Why Cumulative Decomposition Is Not as Bad as It Sounds
Constraint Programming and a Usability Quest
Proactive Workload Dispatching on the EURORA Supercomputer
A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem
Symbolic Decision Procedures for QBF
On How Turing and Singleton Arc Consistency Broke the Enigma Code
On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups
Adaptive Constraint Handling with CHR in Java
Redundant Hidden Variables in Finite Domain Constraint Problems
Value-Ordering Heuristics: Search Performance vs. Solution Diversity
Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs
Solving Temporal Problems Using SMT: Strong Controllability
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
A Framework for Generating Informative Benchmark Instances
Portfolio-Based Algorithm Selection for Circuit QBFs
Operating System Kernel Data Disambiguation to Support Security Analysis
Differential Privacy Data Release through Adding Noise on Average Value
Tracing Software Exploitation
On the Analysis of the Outsourced Revocable Identity-Based Encryption from Lattices
Secure Communication in 802.11 Networks with a Novel Protocol Using Quantum Cryptography
Spatio-temporal Knowledge Discovery in Very Large METOC Data Sets
Analyzing the Communication Security Between Smartphones and IoT Based on CORAS
Fourth International Conference on Network and System Security, NSS 2010, Melbourne, Victoria, Australia, September 1-3, 2010
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing
AC 0 Constructions of Secret Sharing Schemes - Accommodating New Parties
A Survey on IoT Vulnerability Discovery
Evading System-Calls Based Intrusion Detection Systems
Multi-user Forward Secure Dynamic Searchable Symmetric Encryption
R 5 N: Randomized recursive routing for restricted-route networks
Evading Stepping-Stone Detection with Enough Chaff
Foundations of Optical Encryption: A Candidate Short-Key Scheme
An Attribute-Based Protection Model for JSON Documents
Security Analysis of Mobile Point-of-Sale Terminals
Identity-Based Outsider Anonymous Broadcast Encryption with Simultaneous Individual Messaging
Factoring RSA Modulus with Known Bits from Both p and q: A Lattice Method
Selective Opening Chosen Ciphertext Security Directly from the DDH Assumption
A secure, constraint-aware role-based access control interoperation framework
Five examples of web-services for illustrating requirements for security architecture
A Limited Proxy Re-encryption with Keyword Search for Data Access Control in Cloud Computing
Towards improving security testability of AADL architecture models
Energy Friendly Integrity for Network Coding in Wireless Sensor Networks
On the Applicability of Time-Driven Cache Attacks on Mobile Devices
Identifying Legitimate Clients under Distributed Denial-of-Service Attacks
Privacy and Utility Trade-Off for Textual Analysis via Calibrated Multivariate Perturbations
Reducing Intrusion Alert Trees to Aid Visualization
Blockchain-Enabled Privacy-Preserving Internet of Vehicles: Decentralized and Reputation-Based Network Architecture
An Architecture for Processing a Dynamic Heterogeneous Information Network of Security Intelligence
Let's Get Mobile: Secure FOTA for Automotive System
Breaking Tor Anonymity with Game Theory and Data Mining
ACSIS: Agents for Cooperative Secured Information Systems
Adaptive Clustering with Feature Ranking for DDoS Attacks Detection
Mitigating the Intractability of the User Authorization Query Problem in Role-Based Access Control (RBAC)
A Messaging-Based System for Remote Server Administration
Compactly Committing Authenticated Encryption Using Tweakable Block Cipher
DisARM: Mitigating Buffer Overflow Attacks on Embedded Devices
Integrating Palmprint and Fingerprint for Identity Verification
Gatekeeping Behavior Analysis for Information Credibility Assessment on Weibo
A Practical Dynamic Enhanced BFT Protocol
Estimating the Number of Hosts Corresponding to an Address while Preserving Anonymity
Credential Issuance Transparency: A Privacy-Preserving Audit Log of Credential Issuance
OVERSCAN: OAuth 2.0 Scanner for Missing Parameters
The Mobile Phone as a Multi OTP Device Using Trusted Computing
Tracking end-users in web databases
Identity-Based Transitive Signcryption
Safety Analysis of High-Dimensional Anonymized Data from Multiple Perspectives
Exploiting the Hard-Wired Vulnerabilities of Newscast via Connectivity-Splitting Attack
A Novel Grid Trust Model Based on Fuzzy Theory
A Detecting Method of Array Bounds Defects Based on Symbolic Execution
FlexCOS: An Open Smartcard Platform for Research and Education
An Efficient Leveled Identity-Based FHE
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
Global Detection of Flooding-Based DDoS Attacks Using a Cooperative Overlay Network
Towards Authenticated Objects
Enhancing Resilience of KPS Using Bidirectional Hash Chains and Application on Sensornet
A Discrete Wavelet Transform Approach to Fraud Detection
Fast QuadTree-Based Pose Estimation for Security Applications Using Face Biometrics
Cryptanalysis of Raindrop and FBC
HeapRevolver: Delaying and Randomizing Timing of Release of Freed Memory Area to Prevent Use-After-Free Attacks
LaT-Voting: Traceable Anonymous E-Voting on Blockchain
Threshold-Oriented Optimistic Fair Exchange
A Blockchain-Based IoT Data Management System for Secure and Scalable Data Sharing
A Secure and Efficient Privacy-Preserving Authentication Scheme for Vehicular Networks with Batch Verification Using Cuckoo Filter
Fingerprint Reference Point Determination Based on Orientation Features
OntoPsic: Leveraging the Knowledge in the Treatment and Diagnosis of Telepsychiatry
Sequential Aggregate MACs with Detecting Functionality Revisited
Risk-Aware Framework for Activating and Deactivating Policy-Based Response
Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types
A Denial of Service Attack Method for IoT System in Photovoltaic Energy System
Evaluating Host-Based Anomaly Detection Systems: Application of the Frequency-Based Algorithms to ADFA-LD
Network and System Security - 18th International Conference, NSS 2024, Abu Dhabi, United Arab Emirates, November 20-22, 2024, Proceedings
Efficient Keyword Search over Encrypted Data with Fine-Grained Access Control in Hybrid Cloud
A New Multivariate Based Threshold Ring Signature Scheme
Masque: Access Control for Interactive Sharing of Encrypted Data in Social Networks
Service in Denial - Clouds Going with the Winds
SSHTDNS: A Secure, Scalable and High-Throughput Domain Name System via Blockchain Technique
Network and System Security - 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings
Combining Dynamic Passive Analysis and Active Fingerprinting for Effective Bot Malware Detection in Virtualized Environments
Blockchain-Based Access Control for Secure Smart Industry Management Systems
Comparative Analysis of HTTP Anomaly Detection Algorithms: DFA vs N-Grams
Using the Smart Card Web Server in Secure Branchless Banking
VulMatch: Binary-Level Vulnerability Detection Through Signature
A Lightweight Android Malware Detection Framework Based on Knowledge Distillation
Enforcing Privacy in Distributed Multi-Domain Network Anomaly Detection
Network and System Security - 15th International Conference, NSS 2021, Tianjin, China, October 23, 2021, Proceedings
Addressing Situational Awareness in Critical Domains of a Smart Grid
Multiply, Divide, and Conquer - Making Fully Decentralised Access Control a Reality
Data Analytics of Crowdsourced Resources for Cybersecurity Intelligence
A Pseudonym-Based Signature Scheme for Dynamic Clusters in Ad Hoc Networks
Using Trusted Platform Modules for Location Assurance in Cloud Networking
A Three-Factor Authenticated Key Agreement Scheme for SIP on Elliptic Curves
Application Research on Network Attacks and Defenses with Zachman Framework
VoIP Vanguard: A Practical Front Line Defense Against VoIP Identification Attacks in Tor
Identifying the Origins of Business Data Breaches Through CTC Detection
New LDP Approach Using VAE
Tor De-anonymisation Techniques
Stochastic Traffic Identification for Security Management: eDonkey Protocol as a Case Study
Multi-device Anonymous Authentication
Five Criteria for Web-Services Security Architecture
Usability of Internet Security Software: Have they got it right?
A Novel Threat-Driven Data Collection Method for Resource-Constrained Networks
Extension of Meet-in-the-Middle Technique for Truncated Differential and Its Application to RoadRunneR
Honeypot Traces Forensics: The Observation Viewpoint Matters
Evaluation of Anomaly-Based Intrusion Detection with Combined Imbalance Correction and Feature Selection
Implementation and Analysis of Sensor Security Protocols in a Home Health Care System
xDUCON: Coordinating Usage Control Policies in Distributed Domains
On the Improvement of Fermat Factorization
Exploiting AUTOSAR Safety Mechanisms to Launch Security Attacks
Revocable Data Sharing Methodology Based on SGX and Blockchain
A Smoothing Evolutionary Algorithm with Circle Search for Global Optimization
Marlin: A Fine Grained Randomization Approach to Defend against ROP Attacks
Detecting Intruders by User File Access Patterns
Provably Secure Blockchain Protocols from Distributed Proof-of-Deep-Learning
Walking on the Cloud: Gait Recognition, a Wearable Solution
Cryptanalysis of a Fully Anonymous Group Signature with Verifier-Local Revocation from ICICS 2018
Property Based Attestation and Trusted Computing: Analysis and Challenges
A High-Performance Hybrid Blockchain System for Traceable IoT Applications
Rebound Attacks on sfSKINNY Hashing with Automatic Tools
Deep Cross-Modal Supervised Hashing Based on Joint Semantic Matrix
Security Analysis of Yang et al.'s Practical Password-Based Two-Server Authentication and Key Exchange System
Weakness on Cryptographic Schemes Based on Chained Codes
The Performance of Public Key-Based Authentication Protocols
Scalar Multiplication of a Dynamic Window with Fuzzy Controller for Elliptic Curve Cryptography
Privacy-enhanced identity via browser extensions and linking services
Efficient Ideal Threshold Secret Sharing Schemes Based on EXCLUSIVE-OR Operations
Comprehensive Mobile Traffic Characterization Based on a Large-Scale Mobile Traffic Dataset
Flexible Wireless Trust Through Ontology-Based Mapping and Its Attendant Semantic Limitations
A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols
Mixed Wavelet-Based Neural Network Model for Cyber Security Situation Prediction Using MODWT and Hurst Exponent Analysis
Supporting Cyber-Attacks and System Anomaly Detection Research with an Industry 4.0 Dataset
A Cryptographically t-Private Auction System
A Graph Database-Based Approach to Analyze Network Log Files
Strengthening the Security of AES Against Differential Fault Attack
Exploring Energy Consumption of Juice Filming Charging Attack on Smartphones: A Pilot Study
Continuous Authentication on Smartphone by Means of Periocular and Virtual Keystroke
GO-ABE: Group-Oriented Attribute-Based Encryption
Indoor Security Localization Algorithm Based on Location Discrimination Ability of AP
Evaluation of Detecting Malicious Nodes Using Bayesian Model in Wireless Intrusion Detection
Security Analysis and Improvement of Femtocell Access Control
T3E: A Practical Solution to Trusted Time in Secure Enclaves
Lattice Based Verifiably Encrypted Double Authentication Preventing Signatures
On Role Mappings for RBAC-Based Secure Interoperation
A propagation model of a vulnerability mitigation computer worm - seawave
A Mobile Device-Based Antishoulder-Surfing Identity Authentication Mechanism
A Combination Reduction Algorithm and Its Application
SPoiL: Sybil-Based Untargeted Data Poisoning Attacks in Federated Learning
EMA-LAB: Efficient Multi Authorisation Level Attribute Based Access Control
Speaker Verification Based on Different Vector Quantization Techniques with Gaussian Mixture Models
State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition
Graph Intelligence Enhanced Bi-Channel Insider Threat Detection
Privacy-Preserving Protocols for String Matching
Automatic Network Protocol Automaton Extraction
New Game-Theoretic Analysis of DDoS Attacks Against Bitcoin Mining Pools with Defence Cost
An efficient VM-based software protection
Meta-model based knowledge discovery
Linear Cryptanalysis and Security Tradeoff of Block Ciphering Systems with Channel Errors
Perceived Privacy Conflicts and Monitoring: A Study of Their Effects on Trust and Data Sharing in Social Networks
Analysis on the Block Reward of Fork After Withholding (FAW)
Capturing Android Malware Behaviour Using System Flow Graph
A Self-Reflection Model for Autonomic Computing Systems Based on p-Calculus
Automatic security verification for 3-party authentication and key exchange protocols
Incentive-Based Self-Organized Public Key Management for Mobile Ad Hoc Networks
RCHB: Light-weight, provably-secure variants of the HB protocol using rotation and complementation
Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios
A Game Theoretic Framework for Cloud Security Transparency
KDRM: Kernel Data Relocation Mechanism to Mitigate Privilege Escalation Attack
A First Look at Android Apps' Third-Party Resources Loading
Specifying Usage Control Model with Object Constraint Language
The Force of Compensation, a Multi-stage Incentive Mechanism Model for Federated Learning
Novel Multi-bit Bitwise Adaptive Embedding Algorithms with Minimum Error for Data Hiding
A Novel Reputation Computation Model Based on Subjective Logic for Mobile Ad Hoc Networks
Architecture Design of High Efficient and Non-memory AES Crypto Core for WPAN
CookiesWall: Preventing Session Hijacking Attacks Using Client Side Proxy
Determining Supply Chain Flexibility Using Statistics and Nueral Networks: A Comparative Study
On the Interactions between Privacy-Preserving, Incentive, and Inference Mechanisms in Participatory Sensing Systems
Fixing Vulnerabilities Automatically with Linters
An Extension of Differential Fault Analysis on AES
A Pairing-Free Identity Based Authentication Framework for Cloud Computing
Sharing Is (S)caring: Security and Privacy Issues in Decentralized Physical Infrastructure Networks (DePIN)
Characterising the Evolution in Scanning Activity of Suspicious Hosts
A Weighted Voting Framework for Android App's Vetting Based on Multiple Machine Learning Models
An Automatic Vulnerabilities Classification Method Based on Their Relevance
An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures
Cluster Based Rule Discovery Model for Enhancement of Government's Tobacco Control Strategy
User Relationship Classification of Facebook Messenger Mobile Data using WEKA
Scalable RFID Pseudonym Protocol
Privacy-Preserving Sequential Data Publishing
Forward Secure Certificateless Proxy Signature Scheme
Decentralized Access Control for Secure Microservices Cooperation with Blockchain
PrivacySearch: An End-User and Query Generalization Tool for Privacy Enhancement in Web Search
RouteMap: A Route and Map Based Graphical Password Scheme for Better Multiple Password Memory
A Framework for Policy Similarity Evaluation and Migration Based on Change Detection
Leakage-Resilient Zero-Knowledge Proofs of Knowledge for NP
Hierarchical Solution for Access Control and Authentication in Software Defined Networks
A New Adaptable Construction of Modulo Addition with Scalable Security for Stream Ciphers
Detecting Malicious Temporal Alterations of ECG Signals in Body Sensor Networks
Enhancing RFID Tag Resistance against Cloning Attack
Two-in-One Oblivious Signatures Secure in the Random Oracle Model
Practical Implementations for Securing VoIP Enabled Mobile Devices