yusuke1997/dblp-id-title huggingface dataset:
Does the NIS implementation strategy effectively address cyber security risks in the UK?
Improving dynamic analysis of android apps using hybrid test input generation
2020 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2020, Dublin, Ireland, June 15-19, 2020
Think Smart, Play Dumb: Analyzing Deception in Hardware Trojan Detection Using Game Theory
Acoustic Emanation of Haptics as a Side-Channel for Gesture-Typing Attacks
A Taxonomy of Approaches for Integrating Attack Awareness in Applications
2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), London, United Kingdom, June 13-14, 2016
Cloud-based Real-time Network Intrusion Detection Using Deep Learning
Threat modelling and agile software development: Identified practice in four Norwegian organisations
2018 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2018, Glasgow, Scotland, United Kingdom, June 11-12, 2018
An Overview of Web Robots Detection Techniques
A Security Perspective on Unikernels
Exploring web analytics to enhance cyber situational awareness for the protection of online web services
A Systems Security Approach for Requirements Analysis of Complex Cyber-Physical Systems
Raw Network Traffic Data Preprocessing and Preparation for Automatic Analysis
An Adversarial Risk-based Approach for Network Architecture Security Modeling and Design
A DLT-based Trust Framework for IoT Ecosystems
Evaluation of Machine Learning Algorithms for Anomaly Detection
Foiling cyber attacks
TrapMP: Malicious Process Detection By Utilising Program Phase Detection
Developing a security behavioural assessment approach for cyber rating UK MSBs
2019 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2018, Oxford, United Kingdom, June 3-4, 2019
An empirical performance and security evaluation of android container solutions
Moving Targets: Addressing Concept Drift in Supervised Models for Hacker Communication Detection
In wolf's clothing: Complications of threat emulation in contemporary cyber intelligence practice
Unsupervised Approach for Detecting Low Rate Attacks on Network Traffic with Autoencoder
Cyber-Risk Assessment for Autonomous Ships
OWASP Top 10 - Do Startups Care?
Memory Forensics Against Ransomware
Detection of Malicious domains through lexical analysis
Brexit Impact on Cyber Security of United Kingdom
Goal-based security components for cloud storage security framework: a preliminary study
Sub-file Hashing Strategies for Fast Contraband Detection
Infection, Self-reproduction and Overinfection in Ransomware: The Case of TeslaCrypt
Improved software vulnerability patching techniques using CVSS and game theory
Blurring lines between fiction and reality: Perspectives of experts on marketing effectiveness of virtual influencers
The IM system with a cryptographic feature
Organizational formalization and employee information security behavioral intentions based on an extended TPB model
Investigation of cyber crime conducted by abusing weak or default passwords with a medium interaction honeypot
Statistical analysis of attacking autonomous systems
Attack simulation based software protection assessment method
A Cost-Effective OCR Implementation to Prevent Phishing on Mobile Platforms
A countermeasure mechanism for fast scanning malware
Technical codes'potentialities in cybersecurity. A contextual approach on the ethics of small digital organizations in France
Towards Identifying Human Actions, Intent, and Severity of APT Attacks Applying Deception Techniques - An Experiment
Cyber-security research by ISPs: A NetFlow and DNS Anonymization Policy
ethVote: Towards secure voting with distributed ledgers
Social big data: A Twitter text mining approach to the communication of universities during the Lebanese protests
Destructive Attacks Detection and Response System for Physical Devices in Cyber-Physical Systems
Securing an US$ 2.8B digital asset: The movie - Avatar
Proactive biometric-enabled forensic imprinting
Secure Chaotic Maps-based Authentication Scheme for Real-Time Data Access In Internet of Things
Arithmetic Circuit Homomorphic Encryption and Multiprocessing Enhancements
A Bayesian Intrusion Detection Framework
2017 International Conference on Cyber Security And Protection Of Digital Services, Cyber Security 2017, London, United Kingdom, June 19-20, 2017
PrincessLocker analysis
Automated Vulnerability Testing via Executable Attack Graphs
Analysis of Obfuscated Code with Program Slicing
A Social Engineering Course Project for Undergraduate Students Across Multiple Disciplines
Observation Measures to Profile User Security Behaviour
Searching for crime on the web: Legal and Ethical perspectives
Slave Clock Responses to Precision Time Protocol Attacks: A Case Study
"What did you say?": Extracting unintentional secrets from predictive text learning systems
A mobile forensic investigation into steganography
Introducing & Evaluating 'Nutrition Facts' for Online Content
The social engineering attack spiral (SEAS)
A Secure Framework for Anti-Money-Laundering using Machine Learning and Secret Sharing
Smarter Password Guessing Techniques Leveraging Contextual Information and OSINT
Introducing a forensics data type taxonomy of acquirable artefacts from programmable logic controllers
Automated Artefact Relevancy Determination from Artefact Metadata and Associated Timeline Events
Introducing Falcom: A Multifunctional High-Interaction Honeypot Framework for Industrial and Embedded Applications
Adapting STPA-sec for Socio-technical Cyber Security Challenges in Emerging Nations: A Case Study in Risk Management for Rwandan Health Care
Expert Knowledge Elicitation for Skill Level Categorization of Attack Paths
Knowledge management of cyber security expertise: an ontological approach to talent discovery
Adaptive and Intelligible Prioritization for Network Security Incidents
N-opcode analysis for android malware classification and categorization
Attack Surface Identification and Reduction Model Applied in Scrum
Restricting Data Flows to Secure Against Remote Attack
Model based analysis of insider threats
Cyber Onboarding is 'Broken'
Forensic analysis of private browsing
Keystroke Dynamics using Auto Encoders
AI Crimes: A Classification
Gauging the effectiveness of computer misuse act in dealing with cybercrimes
Ensuring Message Freshness in A Multi-Channel SMS Steganographic Banking Protocol
Privacy Policy - "I agree"?! - Do alternatives to text-based policies increase the awareness of the users?
Lightweight Distributed Attack Detection and Prevention for the Safe Internet of Things
A Novel Machine Learning Based Malware Detection and Classification Framework
An Empirical Study of Key Generation in Cryptographic Ransomware
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010
A Method of Evaluating Railway Signalling System Based on RAMS Concept
Model-based Integration Framework for Development and Testing Tool-chains
Automatic Fault Localization for Programmable Logic Controllers
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System
Towards Open Modular Critical Systems
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL
On the Justification of a Risk Matrix for Technical Systems in European Railways
Safety and Security in Transportation Process - Not Just Technical Issue
Estimation of Safety Requirements for Wayside Hot Box Detection Systems
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation
Model Checking Interlocking Control Tables
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems
Modeling Computer based, microscopic Dispatching Systems
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller
Designing a semi-quantitative risk graph
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge
Complementarity between Axle Counters and Tracks Circuits
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie
Using Guided Simulation to Assess Driver Assistance Systems
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security
Achieving Europe-wide safety through technical harmonization
Should Agents Have Two Systems to Track Beliefs and Belief-Like States?
Computational Theory of Mind for Human-Machine Teams - First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers
Operationalizing Theories of Theory of Mind: A Survey
Task Complexity and Performance in Individuals and Groups Without Communication
Route Optimization in Service of a Search and Rescue Artificial Social Intelligence Agent
Sequential Theory of Mind Modeling in Team Search and Rescue Tasks
Integrating Machine Learning and Cognitive Modeling of Decision Making
Evaluating Artificial Social Intelligence in an Urban Search and Rescue Task Environment
Constructivist Approaches for Computational Emotions: A Systematic Survey
Knowledge of Self and Other Within a Broader Commonsense Setting
Using Features at Multiple Temporal and Spatial Resolutions to Predict Human Behavior in Real Time
Social Cognition Paradigms ex Machinas
Modular Procedural Generation for Voxel Maps
Development of Emergent Leadership Measurement: Implications for Human-Machine Teams
Overgenerality from Inference in Perspective-Taking
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008
The equivalence problem for N.T.S. languages is decidable
Weakest expressible preconditions: a new tool for proving completeness results about Hoare calculi
An Efficient On-Line Position Tree Construction Algorithm
Monte-Carlo factoring algorithm with finite storage
An Algebraic Theory for Synchronization
A hierarchy of sets of infinite trees
Interprocedural data flow systems
Strukturelle Untersuchungen zur schwersten kontextfreien Sprache
On the rationality of Petri net languages
Recursion and Complexity Theory on CPO-S
Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings
Reachability Analysis with Assertion Systems
Une extension aux mots infinis de la notion de transduction rationelle
Decidabilite de la finitude des demi-groupes de matrices
A multifit algorithm for uniform multiprocessor scheduling
Erzeugung optimalen Codes für Series - Parallel Graphs
Centers of Languages
Heuristics for minimum edge length rectangular partitions of rectilinear figures
A decidability result about sufficient-completeness of axiomatically specified abstract data types
A polynomial-time test for the deadlock-freedom of computer systems
Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits
Netzwerke zur simultanen Berechnung Boolescher Funktionen
Eigenschaften färbbarer Petri-Netze
Storage Modification Machines
Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings
A new Recursion Induction Principle
Familles de languages fermées par crochet et crochet ouvert
Gylindres de languages simples et pseudo-simples
Dynamization of Decomposable Searching Problems Yielding Good Worsts-Case Bounds
Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten
On the Subword Complexity and Square-Freeness of Formal Languages
Grobstrukturen für kontextfreie Grammatiken
Über Netzwerkgrößen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten Operationen
Discreteness, k-density and d-continuity of occurrence nets
Eine klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik
Über eine minimale universelle Turing-Maschine
Verallgemeinerte kommutative Sprachen
Zur Komplexität der Presburger Artihmetik und des Äquivalenzproblems einfacher Programme
On the crossing-free, rectangular embedding of weighted graphs in the plane
P-Complete Problems in Free Groups
An Effective Retract Calculus
On polynomial time isomorphisms of complete sets
Aspects of unbounded parallelism
Das Normalisierungsproblem und er Zusammenhang mit der Zeitkomplexität der Kontextsensitiven Analyse
Exact Expressions for some Randomness Tests
On the Height of Syntactical Graphs
An axiomatic approach to semantics of specification languages
Une caractérisation de trois variétés de langages bien connues
Robust Balancing in B-Trees
Transition Diagrams and Strict Deterministic Grammars
Node-Visit Optimal 1-2 Brother Trees
On a description of tree-languages by languages
Move Rules and Trade-Offs in the Pebble Game
systèmes schématiques généralises
Partial functions in constructive formal theories
Recent Directions in Algorithmic Research
On Storage Optimization for Automatically Generated Compilers
Towards automation of proofs by induction
Über die Länge einer Berechnung bei linearer Parameter-abhängigkeit der Operationszeit
Das Äquivalenzproblem für spezielle klassen von Loop-1-programmen
Two remarks on the power of counting
Higher type program schemes and their tree languages
Strong Non-Deterministic Context-Free Languages
Un langage algébrique non-générateur
Context-Free Sets of Infinite Words
A syntactic connection between proof procedures and refutation prcedures
Concurrency and Automata on Infinite Sequences
Inconsistencies of pure LISP
A comparative study of one-counter Ianov schemes
On one-way auxiliary pushdown automata
Negative Results on Counting
Remarks on the Nonexistence of some Covering Grammars
Can Partial Correctness Assertions Specify Programming Language Semantics?
Periodic versus arbitrary tessellations of the plane using polyominos of a single type
Complexity theory on real numbers and functions
Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen
Maintaining order in a generalized linked list
Controlled relativizations of P and NP
Sur les variétés de langages et de monoídes
Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen
Cycle-Free N-Algebraic Systems
New bounds on formula size
Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen
Struktur von Programmbündeln
Analysis of polynomial approximation algorithms for constraint expressions
Quelques propriétés des langages à un Comptuer
Some Applications of CFL's over Infinte Alphabets
Ein vollständiges Problem auf der Baummaschine
Efficiency of universal parallel computers
Automaten in planaren Graphen
Dynamic k-Dimensional Multiway Search under Time-Varying Access Frequencies
Some operations and transductions that preserve rationality
(Erasing)* Strings
A Family of Graphs with Expensive Depth-Reduction
A Graph Theoretic Approach to Determinism versus Non-Determinism
On the Additive Complexity of Polynomials and some New Lower Bounds
Computable Algebras, Word Problems and Canonical Term Algebras
A general scheme for some deterministically parsable grammars and their strong equivalents
On algebras of computation sequences and proofs of equivalence of operational and denotational semantics
A Decidable Property of Iterated Morphisms
Un resultat de discontinuité dans les familles de langages
Algebraic and operational semantics of exceptions and errors
Un analogue du théorème des variétés pour les cones et les cylindres
Théorème de transversale rationnelle pour les automates à pile déterministes
Finite-Change Automata
Fifo nets: a new model of parallel computation
Formale Korrecktheitsbeweise für While-Programme
Prefix-Preservation fo Rational Partial Functions Is Decidable
Theory of concurrency control
On Continuous Completions
When are two Effectively given Domains Identical?
The LBA-problem and the transormability of the class epsilon 2
Informationque et algébre la theorie des codes a longueur variable
An algorithm for stransitive closure with linear expected time
Information Content Characterizations of Complexity Theoretic Properties
Codes et sous-monoides possedant des mots neutres
On alpha-balanced Binary Search Trees
Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings
Sur deux langages linéaires
Boolean Functions Whose Monotone Complexity is of Size n 2 /log n
On Zerotesting-Bounded Multicounter Machines
New Aspects of Homomorphisms
A New Method to Show Lower Bounds for Polynomials which are Hard to Compute
The computational complexity of certain graph grammars
The expected number of nodes and leaves at level k in ordered trees
Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings
Sorting Presorted Files
Identity verification based on haptic handwritten signatures: Genetic programming with unbalanced data
Complex decision making experimental platform (CODEM): A counter-insurgency scenario
A Cognitive Approach to Intrusion Detection
R2-BEAN: R2 indicator based evolutionary algorithm for noisy multiobjective optimization
Multiple UAV area decomposition and coverage
Fast localization in indoor environments
Analysis of the 1999 DARPA/Lincoln Laboratory IDS evaluation data with NetADHICT
On trust and influence: A computational red teaming game theoretic perspective
High-dimensional objective-based data farming
Sensor network management using multiobjective evolutionary optimization
Ternary trust metric for mobile ad-hoc networks
Memristive computational architecture of an echo state network for real-time speech-emotion recognition
Dynamical networks as a tool for system analysis and exploration
Dynamic asset allocation for counter-smuggling operations under disconnected, intermittent and low-bandwidth environment
Computational Verification of System Architectures
FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach
Cooperative dynamic task-allocation through iterative agents' costs permutations
Detecting Push to Talk radios using two tone intermodulation distortion
Algorithmic Tools for Adversarial Games: Intent Analysis Using Evolutionary Computation
Maritime air defence firing tactics
Risk sensitive optimal synchronization of coupled stochastic neural networks with chaotic phenomena
Smoothing gamma ray spectra to improve outlier detection
Traffic to protocol reverse engineering
Architectural Design and Complexity Analysis of Large-Scale Cortical Simulation on a Hybrid Computing Platform
Evolving TCP/IP packets: A case study of port scans
Filtering and routing multilingual documents for translation
Detection of compromised email accounts used for spamming in correlation with mail user agent access activities extracted from metadata
A Comparison of three machine learning techniques for encrypted network traffic analysis
An extendable multi-purpose 3D neuromorphic fabric using nanoscale memristors
Neuromorphic encoding system design with chaos based CMOS analog neuron
Intrusion Detection Model Based On Particle Swarm Optimization and Support Vector Machine
Behavior-driven video analytics system for critical infrastructure protection
He says, she says. Pat says, Tricia says. How much reference resolution matters for entity extraction, relation extraction, and social network analysis
Testing harbour patrol and interception policies using particle-swarm-based learning of cooperative behavior
Testing a distributed denial of service defence mechanism using red teaming
Positioning of military combat units through weight-based terrain analysis using NASA World Wind
Tag-server mutual authentication scheme based on gene transfer and genetic mutation
Tasking system capabilities modeling using the complexity profile
A comparison of techniques for on-line incremental learning of HMM parameters in anomaly detection
Minimizing risk on a fleet mix problem with a multiobjective evolutionary algorithm
BlastSim - Multi agent simulation of suicide bombing
Detection of slow malicious worms using multi-sensor data fusion
Detection & study of DDoS attacks via entropy in data network models
Tracking a moving hypothesis for visual data with explicit switch detection
Using computational swarm intelligence for real-time asset allocation
Automatically Evading IDS Using GP Authored Attacks
Risk management with hard-soft data fusion in maritime domain awareness
Dynamics of data delivery in mobile ad-hoc networks: A bargaining game approach
Goal-driven semi-automated generation of semantic models
Local feature analysis for robust face recognition
Neural adaptive flight controller for ducted-fan UAV performing nonlinear maneuver
Machine learning based encrypted traffic classification: Identifying SSH and Skype
Design of Takagi-Sugeno fuzzy controller for automatic stabilization system of missiles with blended aerodynamic and lateral impulsive reaction-jet
New search algorithm for randomly located objects: A non-cooperative agent based approach
Optimising multistatic sensor locations using path planning and game theory
The Automation of Combat Decision Processes in the Simulation Based Operational Training Support System
An improved memetic algorithm to enhance the sustainability and reliability of transport in container terminals
Visualizing capability requirements in planning scenarios using Principal Component Analysis
Probabilistic graphical models for multi-source fusion from text sources
Information assurances and threat identification in networked organizations
2013 IEEE Symposium on Computational Intelligence for Security and Defense Applications, CISDA 2013, Singapore, April 16-19, 2013
Evaluating goal ordering structures for testing harbour security policies
Neural network technologies for information systems security
Exploring transfer function nonlinearity in echo state networks
A framework for the design of a military operational supply network
DMEA-II and its application on spam email detection problems
Object set matching with an evolutionary algorithm
A trace abstraction approach for host-based anomaly detection
Analysis of maritime air defence scenarios
Evolution and evaluation of biometric systems
Emitter geolocation using low-accuracy direction-finding sensors
SSSM-semantic set and string matching based malware detection
Towards an Information Asset-Based Defensive Cyber Damage Assessment Process
Feature selection and classification in genetic programming: Application to haptic-based biometric data
Towards a formal framework for evaluating the effectiveness of system diversity when applied to security
Toward the attribution of Web behavior
Design of experiments based empirical models to support cognitive radio decision making
Design and analysis of neuromemristive echo state networks with limited-precision synapses
A patrol problem in a building by search theory
A simple braking model for detecting incidents locations by smartphones
Autonomous control laws for mobile robotic surveillance swarms
Secure two and multi-party association rule mining
A novel obstacle avoidance control algorithm in a dynamic environment
Design of a nonlinear dynamic inversion controller for trajectory following and maneuvering for fixed wing aircraft
Bio-inspired computing for launch vehicle design and trajectory optimization
Evolving team tactics using potential fields
Mitigating replay attacks using Darwinian-based Feature Extraction
Simulation analysis on destabilization of complex adaptive organizations
Cooperative communication of UAV to perform multi-task using nature inspired techniques
Multi-objective evolutionary optimization of a military air transportation fleet mix with the flexibility objective
Cooperative path planning for UAVs with UAV loss considerations