yusuke1997/dblp-id-title huggingface dataset:
Adaptively Secure Constrained Verifiable Random Function
Exploring the Effects of Cybersecurity Awareness and Decision-Making Under Risk
BlockRAT: An Enhanced Remote Access Trojan Framework via Blockchain
An Intrusion Detection System Based on Deep Belief Networks
Implicit-Key Attack on the RSA Cryptosystem
Malware Variant Detection Based on Knowledge Transfer and Ensemble Learning
Anonymous IoT Data Storage and Transaction Protocol Based on Blockchain and Edge Computing
Completeness Analysis of Mobile Apps' Privacy Policies by Using Deep Learning
Behavior Flow Graph Construction from System Logs for Anomaly Analysis
AttVAE: A Novel Anomaly Detection Framework for Multivariate Time Series
A New Method for Inferring Ground-Truth Labels and Malware Detector Effectiveness Metrics
WebMea: A Google Chrome Extension for Web Security and Privacy Measurement Studies
BASNEA: Threat Hunting for Ethereum Smart Contract Based on Backtrackless Aligned-Spatial Network Entity Alignment
Multi-granularity Mobile Encrypted Traffic Classification Based on Fusion Features
Integrating Consortium Blockchain and Attribute-Based Searchable Encryption for Automotive Threat Intelligence Sharing Model
Economic-Driven FDI Attack in Electricity Market
SVSM-KMS: Safeguarding Keys for Cloud Services with Encrypted Virtualization
Adapted PBFT Consensus Protocol for Sharded Blockchain
Smart Home Cyber Insurance Pricing
Characterizing the Evolution of Psychological Factors Exploited by Malicious Emails
Forward Private Searchable Encryption with Conjunctive Keywords Query
Design of End-To-End Security for MQTT 5.0
Defending Against Advanced Persistent Threat: A Risk Management Perspective
PAFR: Privacy-Aware Friends Retrieval over Online Social Networks
Analysis and Detection Against Overlapping Phenomenon of Behavioral Attribute in Network Attacks
A Multi-level Elastic Encryption Protection Model
Towards Realizing Authorized Encrypted Search with Designed Access Policy
An Intrusion Detection Framework for IoT Using Partial Domain Adaptation
Science of Cyber Security - 5th International Conference, SciSec 2023, Melbourne, VIC, Australia, July 11-14, 2023, Proceedings
Characterizing the Optimal Attack Strategy Decision in Cyber Epidemic Attacks with Limited Resources
Almost Injective and Invertible Encodings for Jacobi Quartic Curves
SARR: A Cybersecurity Metrics and Quantification Framework (Keynote)
FDIA-Identified Overloaded Power Lines
Dismantling Interdependent Networks Based on Supra-Laplacian Energy
GNNexPIDS: An Interpretation Method for Provenance-Based Intrusion Detection Based on GNNExplainer
A Practical Blockchain-Based Maintenance Record System for Better Aircraft Security
Establishing an Optimal Network Defense System: A Monte Carlo Graph Search Method
A Security Concern About Deep Learning Models
Real-Time Aggregation for Massive Alerts Based on Dynamic Attack Granularity Graph
A Design of Network Attack Detection Using Causal and Non-causal Temporal Convolutional Network
Verifiable DOPE from Somewhat Homomorphic Encryption, and the Extension to DOT
Redactable Blockchain in the Permissioned Setting
Mining Trojan Detection Based on Multi-dimensional Static Features
FAF-BM: An Approach for False Alerts Filtering Using BERT Model with Semi-supervised Active Learning
An Empirical Study of AI Model's Performance for Electricity Load Forecasting with Extreme Weather Conditions
Application of DeepWalk Based on Hyperbolic Coordinates on Unsupervised Clustering
LET-Attack: Latent Encodings of Normal-Data Manifold Transferring to Adversarial Examples
Security Comparison of Machine Learning Models Facing Different Attack Targets
A Novel Scoring Algorithm Against HID Attacks Based on Static Text Feature Matching
Hydra: An Efficient Asynchronous DAG-Based BFT Protocol
AtNet: A Novel Anti-tracking Network with Multi-Party Judgement Capability Based on Cross-Domain Small-World Topology
Detecting Internet-Scale Surveillance Devices Using RTSP Recessive Features
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs
A k-Anonymity-Based Robust Watermarking Scheme for Relational Database
AutoCRAT: Automatic Cumulative Reconstruction of Alert Trees
Simulations of Event-Based Cyber Dynamics via Adversarial Machine Learning
Two-Stage Anomaly Detection in LEO Satellite Network
Science of Cyber Security - First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers
Privacy-Enhanced Anonymous and Deniable Post-quantum X3DH
CyberShip: An SDN-Based Autonomic Attack Mitigation Framework for Ship Systems
Optimally Blending Honeypots into Production Networks: Hardness and Algorithms
Automatic Alert Categories Standardization for Heterogeneous Devices with Incomplete Semantic Knowledge Based on LSTM
Research on Encrypted Malicious 5G Access Network Traffic Identification Based on Deep Learning
Keeping Your Enemies Closer: Shedding Light on the Attacker's Optimal Strategy
An Efficient IOC-Driven BigData Tracing and Backtracking Model for Emergency Response
The Shared Memory Based Cryptographic Card Virtualization
Malware Detected and Tell Me Why: An Verifiable Malware Detection Model with Graph Metric Learning
Question Answering Models for Privacy Policies of Mobile Apps: Are We There Yet?
Application and Performance Analysis of Data Preprocessing for Intrusion Detection System
Science of Cyber Security - Second International Conference, SciSec 2019, Nanjing, China, August 9-11, 2019, Revised Selected Papers
Redactable Blockchain with Fine-Grained Autonomy and Transaction Rollback
Identifying Ransomware Functions Through Microarchitectural Side-Channel Analysis
Advanced Persistent Distributed Denial of Service Attack Model on Scale-Free Networks
A Graphical Password Scheme Based on Rounded Image Selection
Pitch in: A Secure Extension Signature Based on SM9
An Automated Online Spam Detector Based on Deep Cascade Forest
A Note on Dependence of Epidemic Threshold on State Transition Diagram in the SEIC Cybersecurity Dynamical System Model
Quantifying Psychological Sophistication of Malicious Emails
Using Chinese Natural Language to Configure Authorization Policies in Attribute-Based Access Control System
Cyber Social Engineering Kill Chain
An Attack Graph Generation Method Based on Parallel Computing
Family Similarity-Enhanced Implicit Data Augmentation for Malware Classification
Graph-Based Profiling of Dependency Vulnerability Remediation
Adversarial Training Based Feature Selection
Fully Anonymous Blockchain Constructed Based on Aggregate Signature and Ring Signature
Enhancing the Anti-steganalysis Ability of Image Steganography via Multiple Adversarial Networks
Multi-modal Multi-task Tiered Expert (M3TTE): An Effective Method for CDN Website Classification
Characterizing the Evolution of Psychological Tactics and Techniques Exploited by Malicious Emails
DroidFP: A Zero-Permission Detection Framework for Android Devices Based on Gated Recurrent Unit
H-Verifier: Verifying Confidential System State with Delegated Sandboxes
An Inducing Localization Scheme for Reactive Jammer in ZigBee Networks
Towards Practical Personalized Security Nudge Schemes: Investigating the Moderation Effects of Behavioral Features on Nudge Effects
Feature Transfer Based Network Anomaly Detection
High-Efficiency Triangle Counting on the GPU
Multi-region SRAM-Based TCAM for Longest Prefix
Integrating CP-ABE and Device Fingerprint Into Federated Learning
AST2Vec: A Robust Neural Code Representation for Malicious PowerShell Detection
Integration of Cybersecurity Related Development Processes by Using a Quantification Method
ZoomPass: A Zoom-Based Android Unlock Scheme on Smart Devices
Multiprime Strategies for Serial Evaluation of eSIDH-Like Isogenies
A Robust Reversible Data Hiding Algorithm Based on Polar Harmonic Fourier Moments
Cyber Attacks Against Enterprise Networks: Characterization, Modeling and Forecasting
Practical Metrics for Evaluating Anonymous Networks
Incentive Mechanism for Bitcoin Mining Pool Based on Stackelberg Game
Knowledge Graph Based Semi-automatic Code Auditing System
RansomLens: Understanding Ransomware via Causality Analysis on System Provenance Graph
A Two-Stage Method for Fine-Grained DNS Covert Tunnel Behavior Detection
A Data-Free Approach for Targeted Universal Adversarial Perturbation
Security and Protection in Optical Networks
Caps-LSTM: A Novel Hierarchical Encrypted VPN Network Traffic Identification Using CapsNet and LSTM
DomainIsolation: Lightweight Intra-enclave Isolation for Confidential Virtual Machines
Event-Based Threat Intelligence Ontology Model
New Security Attack and Defense Mechanisms Based on Negative Logic System and Its Applications
Matching Knowledge Graphs for Cybersecurity Countermeasures Selection
Hybrid Routing for Efficient Fine-Grained Management of Specific Services in SDN
Multi-party Quantum Key Agreement Against Collective Noise
Optimal Key-Tree for RFID Authentication Protocols with Storage Constraints
HoneyGadget: A Deception Based ROP Detection Scheme
Computer Viruses Propagation Model on Dynamic Switching Networks
ACDroid: Detecting Collusion Applications on Smart Devices
A Solution for the Offline Double-Spending Issue of Digital Currencies
Cross-Domain Recommendation System Based on Tensor Decomposition for Cybersecurity Data Analytics
ChainSCAN: A Blockchain-Based Supply Chain Alerting Framework for Food Safety
Effective Matrix Factorization for Recommendation with Local Differential Privacy
A Hierarchical Macroeconomic Copula Model for Cyber Damages Based on Current Cyber Insurance Prices
STARMAP: Multi-machine Malware Analysis System for Lateral Movement Observation
Metasploit for Cyber-Physical Security Testing with Real-Time Constraints
An ID-Based Linear Homomorphic Cryptosystem and Its Applications for the Isolated Smart Grid Devices
A Multi-level Sorting Prediction Enhancement-Based Two-Dimensional Reversible Data Hiding Algorithm for JPEG Images
Presenting a Simplified Assistant Tool for Breast Cancer Diagnosis in Mammography to Radiologists
Medical Biometrics, Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings
Context Aware Health Monitoring System
Framework of Computer-Assisted Instruction and Clinical Decision Support System for Orthodontics with Case-Based Reasoning
A Novel Criterion for Characterizing Diffusion Anisotropy in HARDI Data Based on the MDL Technique
Clinical Usage Considerations in the Development and Evaluation of a Computer Aided Diagnosis System for Acute Intracranial Hemorrhage on Brain CT
Real-Time RFID-Based Intelligent Healthcare Diagnosis System
Pulse Feature Extraction Based on Improved Gaussian Model
Fiber Segmentation Using Constrained Clustering
Active Contour Method Combining Local Fitting Energy and Global Fitting Energy Dynamically
Automatic Segmentation of Sublingual Excrescences in Color Sublingual Images
A Segmentation Method Based on Dynamic Programming for Breast Mass in MRI Images
Abnormal Image Detection Using Texton Method in Wireless Capsule Endoscopy Videos
Advances in Detecting Parkinson's Disease
Quantitative Shear Elasticity Assessment of Liver Fibrosis in Rat Model with Shear Wave Elastography Base on Acoustic Radiation Force
Induced Event-Related Coherence Measures during Auditory Change Detection
Period Segmentation for Wrist Pulse Signal Based on Adaptive Cascade Thresholding and Machine Learning
Disease Detection Using Tongue Geometry Features with Sparse Representation Classifier
Pulse Waveform Classification Using ERP-Based Difference-Weighted KNN Classifier
Real-Time Wireless ECG Biometrics with Mobile Devices
Newborn Footprint Recognition Using Band-Limited Phase-Only Correlation
Hepatitis Diagnosis Using Facial Color Image
A Benchmark for Geometric Facial Beauty Study
Research on the Meridian Diagnostic System Based on the Measuring Principle of the Electrical Properties of Well, Source and Sea Acupoints
Adaptive Segmentation and Feature Quantization of Sublingual Veins of Healthy Humans
An Effective Recognition Method of Breast Cancer Based on PCA and SVM Algorithm
Evaluation of the Putative Ratio Rules for Facial Beauty Indexing
A CGA-MRF Hybrid Method for Iris Texture Analysis and Modeling
Design and Implementation of a Digital Auscultation System
Feature Based Non-rigid Registration Using Quaternion Subdivision
A DIAMOND Method for Classifying Biological Data
Screening Diabetic Retinopathy Through Color Retinal Images
Development of a Ubiquitous Emergency Medical Service System Based on Zigbee and 3.5G Wireless Communication Technologies
Traditional Chinese Medicine Tongue Diagnosis Index of Early-Stage Breast Cancer
Feature Extraction of Radial Arterial Pulse
A Knowledge Discovery Approach to Diagnosing Intracranial Hematomas on Brain CT: Recognition, Measurement and Classification
Research on Gesture Definition and Electrode Placement in Pattern Recognition of Hand Gesture Action SEMG
Quantitative Assessment of Pap Smear Cells by PC-Based Cytopathologic Image Analysis System and Support Vector Machine
A Research about Value Order Measurement System of Traditional Chinese Medicine Syndrome Elements
An Effective Feature Set for ECG Pattern Classification
The Application of Non-invasive Oxygen Saturation Sensor to Evaluate Blood Flow in Human
Using Formal Concept Analysis to Leverage Ontology-Based Acu-Point Knowledge System
Knowledge Acquisition and Reasoning in Web Based Epidemic Analysis
Using Modified Contour Deformable Model to Quantitatively Estimate Ultrasound Parameters for Osteoporosis Assessment
An Integrated MRI and MRS Approach to Evaluation of Multiple Sclerosis with Cognitive Impairment
An Effective Feature Extraction Method Used in Breath Analysis
Image Processing Technology in the Palm Diagnosis in Traditional Chinese Medicine
A Novel Color Correction Framework for Facial Images
State-of-the-Art of Computer-Aided Detection/Diagnosis (CAD)
Classification of Wrist Pulse Blood Flow Signal Using Time Warp Edit Distance
Sensor Evaluation in a Breath Analysis System
Digital Skating Board with RFID Technique for Upper Extremity Rehabilitation
Fast Low-Dose CT Image Processing Using Improved Parallelized Nonlocal Means Filtering
The Objectifying System Using for Color Inspection of Traditional Chinese Medicine Based on the Digital Image Technology
Interactive Deformable Registration Visualization and Analysis of 4D Computed Tomography
RISC: A New Filter Approach for Feature Selection from Proteomic Data
Research on Teeth Marks Recognition in Tongue Image
Novel Two-Stage Analytic Approach in Extraction of Strong Herb-Herb Interactions in TCM Clinical Treatment of Insomnia
Constructing the Histogram Representation for Automatic Gridding of cDNA Microarray Images
Assistive Communication Robot for Pre-operative Health Care
Computerized Pork Quality Evaluation System
Retinal Vessel Centerline Extraction Using Multiscale Matched Filter and Sparse Representation-Based Classifier
Research and Implementation of Holter Data Format Unification
Optic Disc Detection by Multi-scale Gaussian Filtering with Scale Production and a Vessels' Directional Matched Filter
Interactive Tongue Body Segmentation
Survey on Biometric Data Security and Chaotic Encryption Strategy with Bernoulli Mapping
Comparative Study on Pattern Discovery of Traditional Chinese Medicine Common Syndrome Elements
A Comparative Study of Color Correction Algorithms for Tongue Image Inspection
VWPS: A Ventilator Weaning Prediction System with Artificial Intelligence
Wrist Pulse Diagnosis Using LDA
Using Formal Concept Analysis to Visualize Relationships of Syndromes in Traditional Chinese Medicine
Tongue Image Matching Using Color and Texture
Gradient Direction Edge Enhancement Based Nucleus and Cytoplasm Contour Detector of Cervical Smear Images
Fast Disparity Estimation and Mode Decision for Multi-view Video Coding
Design of an Intelligent Reporting System for Cardiac Catheterization
2014 International Conference on Medical Biometrics, Shenzhen, Guangdong, China, May 30 - June 1, 2014
Characterization of the Rectus Femoris Activation Patterns during Isometric Contraction in Transverse Plane: An Ultrasonography Study
A Sparse Decomposition Approach to Compressing Biomedical Signals
Classification of Diabetics with Various Degrees of Autonomic Neuropathy Based on Linear and Nonlinear Features Using Support Vector Machine
Implementation of a Portable Personal EKG Signal Monitoring System
Computerized Wrist Pulse Signal Diagnosis Using KPCA
Tongue Image Identification System on Congestion of Fungiform Papillae (CFP)
Tongueprint Feature Extraction and Application to Health Statistical Analysis
Hierarchical Matching of Anatomical Trees for Medical Image Registration
An Mean Shift Based Gray Level Co-occurrence Matrix for Endoscope Image Diagnosis
An Adaptive Feature Extractor for Gesture SEMG Recognition
Automatic Sublingual Vein Feature Extraction System
Noninvasive Ultrasound Imaging for Bone Quality Assessment Using Scanning Confocal Acoustic Diagnosis, muCT, DXA Measurements, and Mechanical Testing
Examining the Influence of Occupational Therapy and Its Effectiveness in Long-Term Care on Dementia Patients Through Ontology-Based Clustering
Extracting Tongue Cracks Using the Wide Line Detector
Automatic Measurement of Vertical Cup-to-Disc Ratio on Retinal Fundus Images
Smartphone Based Body Area Network System
Approach to Health Supporting System Using Traditional Chinese Medicine
A Multi-resolution Optical Flow Based Approach to Respiratory Motion Correction in 3D PET/CT Images
Automatic Classification of Tongueprints in Healthy and Unhealthy Individuals
Human Emotion Classification from EEG Signals Using Multiwavelet Transform
Texture Feature Extraction and Classification for Iris Diagnosis
Medical Biometrics, First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008, Proceedings
Pixel Based Tongue Color Analysis
The Training Effect of Chinese Medicine Inspection Using Color Vision Test
A Method of Classifying Tongue Colors for Traditional Chinese Medicine Diagnosis Based on the CIELAB Color Space
Coding 3D Gabor Features for Hyperspectral Palmprint Recognition
Indicator and Calibration Material for Microcalcifications in Dual-Energy Mammography
A New Multi-Task Learning Technique to Predict Classification of Leukemia and Prostate Cancer
Research on ECG Biometric in Cardiac Irregularity Conditions
Semantic Feature Extraction for Brain CT Image Clustering Using Nonnegative Matrix Factorization
Wrist Pulse Diagnosis Using Complex Network
Real-Time Visual Saliency Detection Using Gaussian Distribution
Pinhole SPECT vs. Cone-Beam SPECT
Chaos Synchronization Detector Combining Radial Basis Network for Estimation of Lower Limb Peripheral Vascular Occlusive Disease
Atrial Fibrillation Analysis Based on Blind Source Separation in 12-Lead ECG Data
A Multimodal Database for a Home Remote Medical Care Application
Predicting Protein Quaternary Structure with Multi-scale Energy of Amino Acid Factor Solution Scores and Their Combination
Ventricular Fibrillation Detection by an Improved Time Domain Algorithm Combined with SVM
Human Sperm Health Diagnosis with Principal Component Analysis and K-nearest Neighbor Algorithm
Three Dimensional Reconstruction and Dynamic Analysis of Mitral Annular Based on Connected Equi-length Curve Angle Chain
Empirical Mode Decomposition Based Classification of Focal and Non-focal Seizure EEG Signals
Diabetes Identification and Classification by Means of a Breath Analysis System
Nonstationary Mapping of Spatial Uncertainty for Medical Image Classification
Radii Solaris Extraction through Primitive Modelling
Compression of Medical Images Using Enhanced Vector Quantizer Designed with Self Organizing Feature Maps
A New Feature Selection and Classification Scheme for Screening of Oral Cancer Using Laser Induced Fluorescence
Tongue Image Texture Segmentation Based on Gabor Filter Plus Normalized Cut
DBBoost-Enhancing Imbalanced Classification by a Novel Ensemble Based Technique
Proving the Capability of Arm IP for Functional Safety Applications
A New Methodology for the Test of SoCs and for Analyzing Elusive Failures
Functional Test Selection for High Volume Manufacturing
11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010
Practical Security Validation
Enhancing the Stress and Efficiency of RIS Tools Using Coverage Metrics
Digital and Mixed-Signal Verification Differences
Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines
Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA
Preparing Rearchitected Designs for Sequential Equivalence Checking
Verification of the CoreNet Fabric with SystemVerilog
SoC Development and Prototype with VDK
Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow
Heuristic Backtracking Algorithms for SAT
Diagnosing Silicon Failures Based on Functional Test Patterns
On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors
New Process to Simultaneously Measure, Quantify, and Model Energy Efficient Performance
On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification
A Case for Multi-level Combination of Theorem Proving and Model Checking Tools
A Scalable Symbolic Simulator for Verilog RTL
An Embedded Reachability Analyzer and Invariant Checker (ERAIC)
Formal Based Methodology for Inferring Memory Mapped Registers
On the Detection of Always-On Hardware Trojans Supported by a Pre-Silicon Verification Methodology
Utilizing Various ADL Facets for Instruction Level CPU Test
Achieving Glitch-Free Clock Domain Crossing Signals Using Formal Verification, Static Timing Analysis, and Sequential Equivalence Checking
Hybrid Post Silicon Validation Methodology for Layerscape SoCs involving Secure Boot: Boot (Secure & Non-secure) and Kernel Integration with Randomized Test
Architectural Trace-Based Functional Coverage for Multiprocessor Verification
Language-driven Validation of Pipelined Processors using Satisfiability Solvers
Tuning the VSIDS Decision Heuristic for Bounded Model Checking
Backside Security Assessment of Modern SoCs
Mining Security Critical Linear Temporal Logic Specifications for Processors
An Enhanced Strategy for Functional Stress Pattern Generation for System-on-Chip Reliability Characterization
2.5D/3D Integration Technologies for Circuit Obfuscation
An FPGA Based Ecosystem for USBPHY Validation
Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors
Characterizing Processors for Energy and Performance Management
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits
Hierarchy Communication Channel in Transaction-Level Hardware/Software Co-emulation System
'Dump What You Need' - A Coverage Methodology to Accelerate SoC Verification
Model Checker to FPGA Prototype Commmunication Bottleneck Issue
Transaction Level Power Modeling (TLPM) Methodology
Debugging Sequential Circuits Using Boolean Satisfiability
Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking
Assertion-Based Modal Power Estimation
Workshop Organizing Committee
Design Crawler: A Web Application for Digital Design Metadata Analysis
Validation of Context Preserving Thread-Level Speculative Execution Using N-Queens: Comparison of Non-CPSE and CPSE-enabled Applications
Hardware-Based Workload Forensics and Malware Detection in Microprocessors
Automated Test Picker for Complex Microprocessor Verification Environment
Extreme Formal Modeling (XFM) for Hardware Models
Enhancing Verification Efficiency via Dynamically Focused, Selective and Intrusive Transactions
Pre-Silicon DFT Verification on SOC Slim Model
A TDM Test Scheduling Method for Network-on-Chip Systems
Target Environment Simulation and its Impact on Architecture Validation: A Case Study of Thread-Level Speculative Execution
Dual-LFSR Reseeding for Low Power Testing
Enhancing Sequential LEC Using a Cumulative Verification Methodology
Deterministic ATPG for Low Capture Power Testing
BackSpace: Moving Towards Reality