yusuke1997/dblp-id-title huggingface dataset:
Comparative evaluation of Machine Learning algorithms and Physical based models for the prediction of Vessel Speed in real life applications
Air traffic information aggregation using satellite and remote sensor data with interactive planning capabilities using crowdsourcing
A Review of Microsoft Products, Strategy and Technologies
Implementing an Open Personal Learning Environment
Security Operations Center in Education: Building an Educational Environment for Attack and Defense Scenarios
Maritime Clouds for the European Ports
How Metaverse is Affecting Smart Cities Economy
CardSorter: Towards an Open Source Tool for Online Card Sorts
Deep Learning for Underwater Object Detection
Exploring Gadget-Based Interfaces for the Social Semantic Desktop
eTracer: An Innovative Near-Real Time Track-and-Trace Platform
Rapid, low-power loop execution in a network of functional units
Initial Experiences Porting a Bioinformatics Application to a Graphics Processor
Knowledge Exploitation through Modeling, Navigation and Querying, an Ontology-Based Integrated Architecture
Multimodal Workplace Monitoring for Human Activity Recognition
Development of an IoT Structural Damage Monitoring system
MagicHOLO: A Collaborative 3D experience in the museum
Autonomous drone charging stations: A survey
Stability Behavior of FIFO Protocol in the Adversarial Queuing Model
Robust Line Detection in Images of Building Facades using Region-based Weighted Hough Transform
Designing and Developing a VR Environment for Indoor Fire Simulation
GlossAPI: Architecturing the Greek Data Pile for LLM development
Co-authorship Networks in Academic Research Communities: The Role of Network Strength
Semi-supervised forecasting of fraudulent financial statements
A Combined Algorithm for LMS Usage Assessment
Top-k Butterfly Detection in Probabilistic Networks
Effective Ranking Fusion Methods for Personalized Metasearch Engines
A Cellular Automaton Collision-Free Path Planner Suitable for Cooperative Robots
Virtual laboratories in biology, biotechnology and chemistry education: a literature review
Stress recognition in human-computer interaction using physiological and self-reported data: a study of gender differences
Beyond Upvotes: A New Approach to Measuring Influence on Reddit
FoRePlan: Supporting Digital Forensics Readiness Planning for Internet of Vehicles
Relevance-Sensitive Belief Revision in the Realm of Partial Preorders
Design of the ERATOSTHENES OLAP Server
Training of ICT professionals in soft skills: the case of SEnDIng
Customized toolbox in VR Design
Development and evaluation of an exergaming application for improving seniors' well-being
Comparison of E-Gif Ontology for Greek Public Sector with W3C Core Vocabularies
Interoperability and Design Issues of Spatial Data and Geographic Information Systems in Greece
Intrinsic Motivation and the Sense of Community in Multiplayer Games: An Extended Framework for Educational Game Design
Closest Pair Queries with Spatial Constraints
TOPPER: An Integrated Environment for Task Allocation and Execution of MPI Applications onto Parallel Architectures
Deep-Learning Based Super-Resolution of Sentinel-2 Images for Monitoring Supercentenarian Olive Trees
An exploration on text classification using machine learning techniques
A Hybrid Parallelization Scheme for Standard Simplex Method based on CPU/GPU Collaboration
Effect of Potential Issues Flagged by Automated Tools on Web Accessibility Evaluation Results: A Case Study on University Department Websites
On the Algebraic Multigrid Method Based on Generic Approximate Banded Inverses
Scan chain based at-speed diagnosis in the presence of scan output compaction schemes
An Architecture for Open Learning Management Systems
Abstracting BPMN models
Higher Order Finite Difference Preconditioned Scheme: A Multithreaded Approach
A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web
Evaluation of Audio Streaming in Secure Wireless Access Network
How Secure is Home: Assessing Human Susceptibility to IoT Threats
Fast and Accurate k-Nearest Neighbor Classification Using Prototype Selection by Clustering
Photonic Technologies for Next Generation Home and Office Networks
A TinyML-based System For Smart Agriculture
Correlation as an ARM Interestingness Measure for Numeric Datasets
Preserving Data Availability in Edge Computing Systems with Diagonally Interleaved Coding
A Framework for Mobility and QoS Provisioning in IPv6 DECT Networks
Hardware implementation principles of a probabilistic CA-based crowd evacuation model
Mutual requirements evolution by combining different information systems
QoS-Based Allocation Cooperative Mechanism for Spectrum Leasing in Overlay Cognitive Radio Networks
16th Panhellenic Conference on Informatics, PCI 2012, Piraeus, Greece, October 5-7, 2012
Semantic Categorization of Web Services Based on Feature Space Transformation
A Knowledge Based Approach on Educational Metadata Use
Query Sensitive Storage for Wireless Sensor Networks
Development and evaluation of Reinforcement Learning models for the FOSSBot Open-Source educational robot
Community structure and evolution analysis of OSN interactions around real-world social phenomena
A Natural Language Processing Survey on Legislative and Greek Documents
Subjective and Objective Video Codec Evaluation
Reducing TPC-H Benchmarking Time
Implementation of Shor's Algorithm and Reliability of Quantum Computing Devices
Condensing multi-label data based on Clustering
Green mindset: using IoT to promote energy efficiency and sustainability in Greek public schools
Explainable Graph Neural Networks on Linked Statistical Data for Predicting Scottish House Prices
Clarifying Integrity Control at the Trusted Information Environment
Service Dependencies in Information Systems Security
Computer Network Security, 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings
Linear Cryptanalysis of SPECTR-H64 with Higher Order Differential Property
Controlled Operations as a Cryptographic Primitive
Finding Malware on a Web Scale
Agent Platform Security Architecture
Policy-Driven Routing Management Using CIM
Region Protection/Restoration Scheme in Survivable Networks
Genetic Optimization of Access Control Schemes in Virtual Local Area Networks
Attack and Defense Modeling with BDMP
Limitation of Honeypot/Honeynet Databases to Enhance Alert Correlation
Steganalysis Based on Statistical Properties of the Encrypted Messages
Toward Third-Party Immune Applications
Elliptic Curve Point Multiplication
Cardholder's Reputation System for Contextual Risk Management in Payment Transactions
Enforcing Information Flow Policies by a Three-Valued Analysis
A Certificate Status Checking Protocol for the Authenticated Dictionary
Network Anomaly Detection Based on an Ensemble of Adaptive Binary Classifiers
Rule-Based Systems Security Model
Future Directions in Role-Based Access Control Models
Security Considerations and Models for Service Creation in Premium IP Networks
Trust-Aware RBAC
Alternative Mechanisms for Information Security
Race Condition Faults in Multi-core Systems
Safeguarding SCADA Systems with Anomaly Detection
Problems of Modeling in the Analysis of Covert Channels
Prevention of Information Attacks by Run-Time Detection of Self-replication in Computer Codes
Safety Problems in Access Control with Temporal Constraints
QoS-T: QoS Throttling to Elicit User Cooperation in Computer Systems
Alert Triage on the ROC
Key History Tree: Efficient Group Key Management with Off-Line Members
Adapting Enterprise Security Approaches for Evolving Cloud Processing and Networking Models
BASIS: A Biological Approach to System Information Security
Automated Cryptographic Analysis of the Pedersen Commitment Scheme
Analyzing Vulnerabilities and Measuring Security Level at Design and Exploitation Stages of Computer Network Life Cycle
Vulnerabilities Detection in the Configurations of MS Windows Operating System
Symptoms-Based Detection of Bot Processes
An Intelligent Decision Support System for Intrusion Detection and Response
Nodal Cooperation Equilibrium Analysis in Multi-hop Wireless Ad Hoc Networks with a Reputation System
Integrating Types and Specifications for Secure Software Development
Security Checker Architecture for Policy-Based Security Management
Security Requirements for the Deployment of Services Across Tactical SOA
Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining
Agent-Based Model of Computer Network Security System: A Case Study
Self-managed Cells for Ubiquitous Systems
Choosing Models for Security Metrics Visualization
Secure Multi-Agent System for Multi-Hop Environments
A New Hard Problem over Non-commutative Finite Groups for Cryptographic Protocols
Malware Analysis and Detection via Activity Trees in User-Dependent Environment
Distributed Access Control: A Logic-Based Approach
Design and Implementation of a Cloud-Based Assured Information Sharing System
Towards Self-aware Approach for Mobile Devices Security
Detection of Illegal Information Flow
A Theoretical Model for the Average Impact of Attacks on Billing Infrastructures
Secure Applications without Secure Infrastructures
A Passive External Web Surveillance Technique for Private Networks
Towards the Orchestration of Secured Services under Non-disclosure Policies
Security Assessment of Cryptographic Algorithms
Usage Control: A Vision for Next Generation Access Control
A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors
Construction of the Covert Channels
A Behavior-Based Approach to Securing Email Systems
A Concept of Clustering-Based Method for Botnet Detection
From NLP (Natural Language Processing) to MLP (Machine Language Processing)
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
ForNet: A Distributed Forensics Network
Analyzing Separation of Duties in Petri Net Workflows
On Some Cryptographic Properties of Rijndael
Group-Centric Models for Secure and Agile Information Sharing
Credentials Management for High-Value Transactions
Critical Information Assurance Challenges for Modern Large-Scale Infrastructures
Models and Analysis of Active Worm Defense
A Study of Entropy Sources in Cloud Computers: Random Number Generation on Cloud Hosts
A Formal Description of SECIMOS Operating System
Information Security of SDN on the Basis of Meta Data
A New Scheme for the Location Information Protection in Mobile Communication Environments
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols
Massive Data Mining for Polymorphic Code Detection
Visualization-Driven Approach to Anomaly Detection in the Movement of Critical Infrastructure
RABAC: Role-Centric Attribute-Based Access Control
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata
Fenix Secure Operating System: Principles, Models and Architecture
Secure Networked Computing
Enhanced Correlation in an Intrusion Detection Process
Experiments with Simulation of Attacks against Computer Networks
Malware Characterization Using Behavioral Components
Fast Encryption Algorithm Spectr-H64
A Novel Genetic Approach to Provide Differentiated Levels of Service Resilience in IP-MPLS/WDM Networks
Generalized Oblivious Transfer Protocols Based on Noisy Channels
Asynchronous Alert Correlation in Multi-agent Intrusion Detection Systems
A Knowledge-Based Repository Model for Security Policies Management
A Secure Way to Combine IPsec, NAT & DHCP
Credential Chain Discovery in RT T Trust Management Language
Exposing Security Risks for Commercial Mobile Devices
Cryptography for Network Security: Failures, Successes and Challenges
Towards More Controllable and Practical Delegation
Detection and Removal of Hidden Data in Images Embedded with Quantization Index Modulation
Encryption and Data Dependent Permutations: Implementation Cost and Performance Evaluation
Extending FAST-CPS for the Analysis of Data Flows in Cyber-Physical Systems
iCrawl: A Visual High Interaction Web Crawler
Optimization of Key Distribution Protocols Based on Extractors for Noisy Channels within Active Adversaries
Encoding Private Key in Fingerprint
Resident Security System for Government/Industry Owned Computers
Achievability of the Key-Capacity in a Scenario of Key Sharing
Data Mining and Information Security
Predictive Security Analysis for Event-Driven Processes
Mathematical Models of the Covert Channels
Computer Network Security, Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings
Networks, Markov Lie Monoids, and Generalized Entropy
Anomaly Detection in Cognitive Radio Networks Exploiting Singular Spectrum Analysis
Real-Time Intrusion Detection with Emphasis on Insider Attacks
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL
Configuration-Based Approach to Embedded Device Security
A Modal Logic for Role-Based Access Control
A Generic Model for Analyzing Security Protocols
Two-Stage Orthogonal Network Incident Detection for the Adaptive Coordination with SMTP Proxy
Calibrating Entropy Functions Applied to Computer Networks
Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security, International Workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001, Proceedings
Using Graph Theory for Cloud System Security Modeling
Behavior-Based Model of Detection and Prevention of Intrusions in Computer Networks
Policy-Based Design and Verification for Mission Assurance
Multi-bit Watermarking Scheme Based on Addition of Orthogonal Sequences
An XML-Seamless Policy Based Management Framework
SVD-Based Approach to Transparent Embedding Data into Digital Images
HEPPA: Highly Efficient Privacy Preserving Authentication for ITS
An Approach for Network Information Flow Analysis for Systems of Embedded Components
Secure Systems Design Technology
tLab: A System Enabling Malware Clustering Based on Suspicious Activity Trees
Detection and Mitigation of Time Delay Injection Attacks on Industrial Control Systems with PLCs
TRBAC: A Temporal Authorization Model
Using Behavioral Modeling and Customized Normalcy Profiles as Protection against Targeted Cyber-Attacks
Security Modeling of Grid Systems Using Petri Nets
A Privacy-Enhancing e-Business Model Based on Infomediaries
Automatic Generation of Finite State Automata for Detecting Intrusions Using System Call Sequences
A Probabilistic Property-Specific Approach to Information Flow
An Ontology-Based Approach to Information Systems Security Management
Steganography with Least Histogram Abnormality
Complexity Problems in the Analysis of Information Systems Security
Symbolic Partial Model Checking for Security Analysis
Logical Resolving for Security Evaluation
Context-Dependent Access Control for Web-Based Collaboration Environments with Role-based Approach
An Efficient Access Control Model Utilized the Attribute Certificate Structuring
Intellectual Intrusion Detection with Sequences Alignment Methods
Information Security with Formal Immune Networks
Secure Protected Password Change Scheme
Advanced Certificate Status Protocol
Immunocomputing Model of Intrusion Detection
Blind 384-bit Digital Signature Scheme
The Set and Function Approach to Modeling Authorization in Distributed Systems
A Comparison of Feature-Selection Methods for Intrusion Detection
Model-Based Security Event Management
Using Low-Level Dynamic Attributes for Malware Detection Based on Data Mining Methods
Developing an Insider Threat Model Using Functional Decomposition
A Game Theoretic Approach to Analysis and Design of Survivable and Secure Systems and Protocols
Security and Scalability of Remote Entrusting Protection
Computer Network Security - 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings
Applying Practical Formal Methods to the Specification and Analysis of Security Properties
A Formal Immune Network and Its Implementation for On-line Intrusion Detection
A Zero-Knowledge Identification Scheme
Virtual Environment Security Modeling
Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ)
Support Vector Machine Based ICMP Covert Channel Attack Detection
Typed MSR: Syntax and Examples
Dynamic Group Key Management Protocol
Digital Watermarking under a Filtering and Additive Noise Attack Condition
Detecting Malicious Codes by the Presence of Their "Gene of Self-replication"
Composability of Secrecy
Authentication of Anycast Communication
Statistical Covert Channels Through PROXY Server
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
In the Track of the Agent Protection: A Solution Based on Cryptographic Hardware
A Novel and Unifying View of Trustworthiness in Cyberphysical Systems
Hybrid Intrusion Detection Model Based on Ordered Sequences
Simulation-Based Exploration of SVD-Based Technique for Hidden Communication by Image Steganography Channel
Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings
Security and Reliability Requirements for Advanced Security Event Management
Privacy and Data Protection in Electronic Communications
Open Issues in Formal Methods for Cryptographic Protocol Analysis
A Vulnerability in the UMTS and LTE Authentication and Key Agreement Protocols
A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64
Quick Response Code Secure: A Cryptographically Secure Anti-Phishing Tool for QR Code Attacks
Individual Countermeasure Selection Based on the Return On Response Investment Index
MADAM: A Multi-level Anomaly Detector for Android Malware
Computer Immunology System with Variable Configuration
Multiplier for Public-Key Cryptosystem Based on Cellular Automata
Stochastic Model of Interaction between Botnets and Distributed Computer Defense Systems
From Qualitative to Quantitative Enforcement of Security Policy
Secure Hybrid Operating System "Linux over Fenix"
Rule-Based Topological Vulnerability Analysis
Model Checking of Location and Mobility Related Security Policy Specifications in Ambient Calculus
Unique User-Generated Digital Pseudonyms
Key Distribution Protocol Based on Noisy Channel and Error Detecting Codes
A Signcryption Scheme Based on Secret Sharing Technique
Data Hiding in Digital Audio by Frequency Domain Dithering
Using Equivalence Relations for Corrective Enforcement of Security Policies
Foundation for a Time Interval Access Control Model
Trust by Workflow in Autonomic Communication
GRID Security Review
Key Escrow with Tree-Based Access Structure
On Cipher Design Based on Switchable Controlled Operations
Computer Network Security - 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings
Learning Temporal Regularities of User Behavior for Anomaly Detection
Quality of Service Optimization in Delay-Tolerant Networks through Cross-Layer Organization of Delivery Routes
Influence of Information Technologies on the Human Factors in Aviation
Linear operators for filtering digital images based on two-dimensional local spline of the fifth order
Simulation of the cloud IoT-based monitoring system for critical infrastructures
A SIMD-based Approach to the Enhancement of Convolution Operation Performance
Forecasting Stock Prices and Accounting for Stock Market on Multicore Computers
Modelling Of Conflict Interaction of Virtual Communities in Social Networking Services on an Example of Anti-Vaccination Movement
Ecological disasters as a result of cyber attacks in the energy sector
ModeMulti-Criteria Synthesis of the Software-Defined Network Structureling Of Conflict Interaction of Virtual Communities in Social Networking Services on an Example of Anti-Vaccination Movement
Legal basis for cybersecurity in Ukraine under martial law (short paper)
Comparative Analysis of Two Approaches to the Clustering of Respondents (based on Survey Results)
Main Threats and Solutions for Positioning by Navigational Aids Network
Ways of spinning implementation in complex natural language sentences
Proceedings of the Third International Conference on Cyber Hygiene & Conflict Management in Global Information Networks (CH&CMiGIN 2024), Kyiv, Ukraine, January 24-27, 2024
2nd International Conference on Conflict Management in Global Information Networks (CMiGIN 2022), Kyiv, Ukraine, November 30, 2022
Statistical Testing of Blockchain Hash Algorithms
Specificity of Political and Legal Communication in Transitive Societies of the Globalized World
Multifractal Properties of Traffic Generator Based on Markov Chains
Information and psychological confrontation in Belarus during the revolutionary events since the beginning of August 2020
Integration Deterministic, Stochastic and Non-Stochastic Uncertainty Models in Conflict Situations
Protection of primary tangible media as evidence against cyberattacks
AI-based user identification method for web services
Model of the information management systems implementation in the sector of critical infrastructure of the state
Communication Library Mechanisms for Children's Social Integration
Methods of increasing the accuracy of determining the place of occurrence of out-of-state situations in multimedia data storage facilities of IoT systems
Efficiency of Using Utility for Username Verification in Online Community Management
Automated tomato harvesting system using image processing methods
Increased influence of social networking services in everyday social interactions during the pandemic situation
Transaction Planning Methods in Hyperconverged Architecture Systems
Experimental study of distributions differential invariants based on spline image models
Realization of LEO-Systems with Architecture of Distributed Satellites for 5G/IoT
Increasing the Image Sharpness with Linear Operator for Social Internet-Services
Axiomatic Typology as a Special Method of Exploring Documentary Information
Optimization and analysis of wireless network characteristics with service quality maintaining
Analysis of the Optimization Problem of the Cyber-Physical Objects Distribution
Risk assessment of cyberattacks in conditions of hybrid war based on analysis of cybersecurity basic capacity in the civil security sector in Ukraine
Modelling the Complex of Automation of Company Marketing Activity in Online Communities
Semantic, Digitization, Design and Implementation of Ontology in Social Internet-Services
The concept of optimal behavior of a cyber object as a measure of its generalized uncertainty
Peculiarities of international legal regulation of combating international transport terrorism in modern conditions: cyber hygiene and cybersecurity
Key generation method based on Genitor Genetic Algorithm model
Models and algorithms for analyzing information risks during the security audit of personal data information system
A comparative analysis of cyber threat intelligence models
A system for assessing the interdependencies of information system agents in information security risk management using cognitive maps
Risk forecasting of information-content-security (short paper)
Adaptive user interfaces based on behavioral analysis
Methods of nulling numbers in the system of residual classes
Balancing security and efficiency in deterministic random bit generators for post-quantum cryptography (short paper)
Practices of Using Blockchain Technology in ICT under the Digitalization of the World Economy
Increasing the Accuracy of the Information Load Annual Growth Evaluation on the Internet of Things
Protection of IoT networks: cryptographic solutions for cybersecurity management
Estimation of the aircraft's position based on optical channel data
Cloud shared hosting DDoS resistance and potential ways of protection
Automation of aviation safety events investigation