yusuke1997/dblp-id-title huggingface dataset:
SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things
Circuit-Free General-Purpose Multi-Party Computation via Co-Utile Unlinkable Outsourcing
ZeroKernel: Secure Context-Isolated Execution on Commodity GPUs
Can the Common Vulnerability Scoring System be Trusted? A Bayesian Analysis
Anonymization of Sensitive Quasi-Identifiers for l-Diversity and t-Closeness
Average and Strict GAN-Based Reconstruction for Adversarial Example Detection
A Universal Audio Steganalysis Scheme Based on Multiscale Spectrograms and DeepResNet
Steward: Scaling Byzantine Fault-Tolerant Replication to Wide Area Networks
Pisces: In-Path Distributed Denial-of-Service Defense via Efficient Authentication Code Embedded in IP Address
Concurrent Online Testing of Identical Circuits Using Nonidentical Input Vectors
Multiple Targets Directed Greybox Fuzzing
VOLERE: Leakage Resilient User Authentication Based on Personal Voice Challenges
DNSGuard: In-Network Defense Against DNS Attacks
Privacy-Preserving Outsourced Inner Product Computation on Encrypted Database
Heterogeneous Differential-Private Federated Learning: Trading Privacy for Utility Truthfully
Puncturable Registered ABE for Vehicular Social Networks: Enhancing Security and Practicality
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems
Security Risk Assessment Using Bayesian Attack Graphs and Complex Probabilities for Large Scale IoT Applications
On the Vulnerability of Data Points Under Multiple Membership Inference Attacks and Target Models
DiLSe: Lattice-Based Secure and Dependable Data Dissemination Scheme for Social Internet of Vehicles
QuickNLP: Faster Protocol of Secure Natural Language Processing for Edge Computing
Tailor-Made Face Privacy Protection via Class-Wise Targeted Universal Adversarial Perturbations
Dynamic Packet Forwarding Verification in SDN
Securing Cloud File Systems With Trusted Execution
MagShadow: Physical Adversarial Example Attacks via Electromagnetic Injection
Towards Efficient and Privacy-Preserving Interval Skyline Queries Over Time Series Data
Accountable Proxy Re-Encryption for Secure Data Sharing
Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems
RC-NVM: Recovery-Aware Reliability-Security Co-Design for Non-Volatile Memories
S-Teapot: Swift and Efficient Defense Against Patch-Based Backdoor Attack
Shadow Attacks Based on Password Reuses: A Quantitative Empirical Analysis
Solution Probing Attack Against Coin Mixing Based Privacy-Preserving Crowdsourcing Platforms
Performance and Availability Modeling of ITSystems with Data Backup and Restore
Towards Tightly-Coupled Hybrid Fuzzing via Excavating Input Specifications
Learning Contextualized Action Representations in Sequential Decision Making for Adversarial Malware Optimization
Towards Persistent Detection of DDoS Attacks in NDN: A Sketch-Based Approach
Magic Train: Design of Measurement Methods against Bandwidth Inflation Attacks
$\mathsf {monoCash}$monoCash: A Channel-Free Payment Network via Trusted Monotonic Counters
zk-AuthFeed: Protecting Data Feed to Smart Contracts With Authenticated Zero Knowledge Proof
Modeling Dependability Features for Real-Time Embedded Systems
Editorial: State of the Journal Address
Noisy Vibrational Pairing of IoT Devices
Privacy-Preserving Fine-Grained Data Retrieval Schemes for Mobile Social Networks
ObliComm: Towards Building an Efficient Oblivious Communication System
Improved Protocols for Distributed Secret Sharing
Reducing Malware Analysis Overhead With Coverings
MACO: Model Anti-Extraction via Compiler Obfuscation
Fragmentation in Presence of Data Dependencies
A Triple Stealthy Backdoor: Hidden in Spatial, Frequency, and Feature Domains
Top-k Discovery Under Local Differential Privacy: An Adaptive Sampling Approach
A Mixing Scheme Using a Decentralized Signature Protocol for Privacy Protection in Bitcoin Blockchain
Privacy Leakage via De-Anonymization and Aggregation in Heterogeneous Social Networks
On the Security of the K Minimum Values (KMV) Sketch
Automatic Generation of Adversarial Readable Chinese Texts
DeepMnemonic: Password Mnemonic Generation via Deep Attentive Encoder-Decoder Model
SIGFinger: A Subtle and Interactive GNN Fingerprinting Scheme Via Spatial Structure Inference Perturbation
Hybrid Intrusion Detection with Weighted Signature Generation over Anomalous Internet Episodes
Data Poisoning Attacks and Defenses to LDP-Based Privacy-Preserving Crowdsensing
Reducing Timing Side-Channel Information Leakage Using 3D Integration
Two Birds With One Stone: Differential Privacy by Low-Power SRAM Memory
Privacy-Preserving Attribute-Based Keyword Search in Shared Multi-owner Setting
DBSSL: A Scheme to Detect Backdoor Attacks in Self-Supervised Learning Models
"Seeing is Not Always Believing": Detecting Perception Error Attacks Against Autonomous Vehicles
A Shoulder Surfing Resistant Graphical Authentication System
Anchor Link Prediction for Privacy Leakage via De-Anonymization in Multiple Social Networks
SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems
Secret-to-Image Reversible Transformation for Generative Steganography
Membership Inference Attacks Against Machine Learning Models via Prediction Sensitivity
LogGraph: Log Event Graph Learning Aided Robust Fine-Grained Anomaly Diagnosis
Fault Injection for TensorFlow Applications
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
On the Detection of Smart, Self-Propagating Internet Worms
Authenticated Data Redaction With Accountability and Transparency
The g-Good-Neighbor Conditional Diagnosability of Arrangement Graphs
Lifting the Grey Curtain: Analyzing the Ecosystem of Android Scam Apps
Certificate Transparency With Enhanced Privacy
Corrections to "Efficient Provably-Secure Dynamic ID-Based Authenticated Key Agreement Scheme With Enhanced Security Provision"
ES-MPICH2: A Message Passing Interface with Enhanced Security
CRRC: Coordinating Retention Errors, Read Disturb Errors and Huffman Coding on TLC NAND Flash Memory
Using Metrics Suites to Improve the Measurement of Privacy in Graphs
A New Diskless Checkpointing Approach for Multiple Processor Failures
A System Architecture for the Detection of Insider Attacks in Big Data Systems
A Markov Random Field Framework for Modeling Malware Propagation in Complex Communications Networks
Denoising in the Dark: Privacy-Preserving Deep Neural Network-Based Image Denoising
CrossBehaAuth: Cross-Scenario Behavioral Biometrics Authentication Using Keystroke Dynamics
Entrusting Private Computation and Data to Untrusted Networks
Pushing Java Type Obfuscation to the Limit
FLARE: Defending Federated Learning Against Model Poisoning Attacks via Latent Space Representations
Sais: Self-Adaptive Identification of Security Bug Reports
Certified Distributional Robustness on Smoothed Classifiers
Enabling Reliable Keyword Search in Encrypted Decentralized Storage with Fairness
Basic Concepts and Taxonomy of Dependable and Secure Computing
A Convolutional Neural Network Steganalysis Method Based on ShuffleBottleneck and Attention Mechanism
De-SAG: On the De-Anonymization of Structure-Attribute Graph Data
Secure and Private Data Aggregation for Energy Consumption Scheduling in Smart Grids
A Privacy-Preserving Incentive Mechanism for Mobile Crowdsensing Based on Blockchain
Recovery Device for Real-Time Dual-Redundant Computer Systems
A Fake Online Repository Generation Engine for Cyber Deception
Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems
Poisoning as a Post-Protection: Mitigating Membership Privacy Leakage From Gradient and Prediction of Federated Models
Online Social Network User Home Location Inference Based on Heterogeneous Networks
Detection of Information Hiding at Physical Layer in Wireless Communications
Analysis of Encryption Key Generation in Modern Crypto Ransomware
Blacklisting Based Anonymous Authentication Scheme for Sharing Economy
An Integrated Privacy Preserving Attribute-Based Access Control Framework Supporting Secure Deduplication
Toward Robust Detection of Puppet Attacks via Characterizing Fingertip-Touch Behaviors
IMIH: Imperceptible Medical Image Hiding for Secure Healthcare
Dynamic Authenticated Asymmetric Group Key Agreement With Sender Non-Repudiation and Privacy for Group-Oriented Applications
Continuous and Transparent User Identity Verification for Secure Internet Services
Robust and Secure Federated Learning With Verifiable Differential Privacy
Composability Verification of Multi-Service Workflows in a Policy-Driven Cloud Computing Environment
General Test-Time Backdoor Detection in Split Neural Network-Based Vertical Federated Learning
Efficient Secure Pattern Matching With Malicious Adversaries
Greedy Receivers in IEEE 802.11 Hotspots: Impacts and Detection
Deep Hashing Based Cancelable Multi-Biometric Template Protection
Scalable Certificate Revocation Schemes for Smart Grid AMI Networks Using Bloom Filters
A Large-Scale Study of Failures in High-Performance Computing Systems
Dating with Scambots: Understanding the Ecosystem of Fraudulent Dating Applications
DL-FHMC: Deep Learning-Based Fine-Grained Hierarchical Learning Approach for Robust Malware Classification
Improving Multitasking DBMS Fuzzing With More Accurate Coverage and Testcase Trimming
Temporal Gradient Inversion Attacks With Robust Optimization
Semantics-Preserving Node Injection Attacks Against GNN-Based ACFG Malware Classifiers
XAuth: Efficient Privacy-Preserving Cross-Domain Authentication
Efficient FHE-Based Privacy-Enhanced Neural Network for Trustworthy AI-as-a-Service
PUF-Based Mutual Authentication and Key Exchange Protocol for Peer-to-Peer IoT Applications
AWARE: Adaptive Wide-Area Replication for Fast and Resilient Byzantine Consensus
Calibrated Uncertainty Estimation for Trustworthy Deep IoT Attack Detection
VeriTrain: Validating MLaaS Training Efforts via Anomaly Detection
PriDM: Effective and Universal Private Data Recovery via Diffusion Models
TextDefense: Adversarial Text Detection Based on Word Importance Score Dispersion
A Hybrid System Call Profiling Approach for Container Protection
I Know Who Clones Your Code: Interpretable Smart Contract Similarity Detection
Fast Inverse Model Transformation: An Algebraic Framework for Fast Data Plane Verification
AotmAuth: Atomic Function Module-Based 6G Authentication Protocol Combination Framework
Adaptive Compiler Strategies for Mitigating Timing Side Channel Attacks
Software-Based Remote Network Attestation
RMAAC: Joint Markov Games and Robust Multiagent Actor-Critic for Explainable Malware Defense in Social IoT
Ciphertext-Only Fault Analysis on the LED Lightweight Cryptosystem in the Internet of Things
Proactive Drive Failure Prediction for Cloud Storage System Through Semi-Supervised Learning
Investigating the Multi-Ciphersuite and Backwards-Compatibility Security of the Upcoming TLS 1.3
Stealthy 3D Poisoning Attack on Video Recognition Models
A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications
A Multimodal Adversarial Attack Method via Frequency Domain Enhancement and Fine-Grained Cross-Modal Guidance
Dependability through Assured Reconfiguration in Embedded System Software
Merging: An Efficient Solution for a Time-Bound Hierarchical Key Assignment Scheme
The "Code" of Ethics: A Holistic Audit of AI Code Generators
Highly Efficient and Scalable Access Control Mechanism for IoT Devices in Pervasive Environments
Towards Attack-Resistant Service Function Chain Migration: A Model-Based Adaptive Proximal Policy Optimization Approach
Investigating Vulnerabilities in OpenFlow Discovery Protocol: Novel Attacks and Their Defense
Least-Privilege Calls to Amazon Web Services
PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics
GAME-RL: Generating Adversarial Malware Examples Against API Call Based Detection via Reinforcement Learning
Attack Analysis and Enhanced Authentication Protocol Design for Vehicle Networks
Ensuring State Continuity for Confidential Computing: A Blockchain-Based Approach
A Full Lifecycle Authentication Scheme for Large-Scale Smart IoT Applications
CAPE: Commitment-Based Privacy-Preserving Payment Channel Scheme in Blockchain
Poison-Tolerant Collaborative Filtering Against Poisoning Attacks on Recommender Systems
On the Privacy Risks of Virtual Keyboards: Automatic Reconstruction of Typed Input from Compromising Reflections
VeSAFL: Verifiable Secure Aggregation for Privacy-Preserving Federated Learning
Fully Accountable Data Sharing for Pay-as-You-Go Cloud Scenes
Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis
LogDLR: Unsupervised Cross-System Log Anomaly Detection Through Domain-Invariant Latent Representation
$\mathsf {JUMBO}$JUMBO: Fully Asynchronous BFT Consensus Made Truly Scalable
MotoPrint: Reconfigurable Vibration Motor Fingerprint via Homologous Signals Learning
LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework
Session Invariant EEG Signatures using Elicitation Protocol Fusion and Convolutional Neural Network
Quantization Backdoors to Deep Learning Commercial Frameworks
Mangling Rules Generation With Density-Based Clustering for Password Guessing
SEAR: Secure and Efficient Aggregation for Byzantine-Robust Federated Learning
Generalized Local Optimality for Video Steganalysis in Motion Vector Domain
On the General Applicability of Instruction-Set Randomization
AMA: Adaptive Model Poisoning Attacks Towards Federated Learning
Secure Inter-Domain Forwarding Loop Test in Software Defined Networks
Guest Editors' Introduction: Special Section on Security in Emerging Networking Technologies
Deniable Identity-Based Matchmaking Encryption for Anonymous Messaging
VPSearch: Achieving Verifiability for Privacy-Preserving Multi-Keyword Search over Encrypted Cloud Data
Poirot: Causal Correlation Aided Semantic Analysis for Advanced Persistent Threat Detection
Towards Automated Log Parsing for Large-Scale Log Data Analysis
DID We Miss Anything?: Towards Privacy-Preserving Decentralized ID Architecture
FooBaR: Fault Fooling Backdoor Attack on Neural Network Training
Model of Execution Trace Obfuscation Between Threads
"Do You Know You Are Tracked by Photos That You Didn't Take": Large-Scale Location-Aware Multi-Party Image Privacy Protection
A Hybrid Approach for Detection and Correction of Transient Faults in SoCs
Dynamic Implementation of Security Requirements in Business Processes
ESAFL: Efficient Secure Additively Homomorphic Encryption for Cross-Silo Federated Learning
Enabling Transparent Deduplication and Auditing for Encrypted Data in Cloud
Enabling Regulatory Compliance and Enforcement in Decentralized Anonymous Payment
Privacy-Preserving Cloud Establishment and Data Dissemination Scheme for Vehicular Cloud
A Precise Termination Condition of the Probabilistic Packet Marking Algorithm
Flexible Privacy-Preserving Data Computing With Bilateral Access Control for Cloud-Assisted IoT
Safety Decidability for Pre-Authorization Usage Control with Identifier Attribute Domains
Rumor Source Identification in Social Networks with Time-Varying Topology
EncDB-FR$^{3}$3: An Encrypted Database With Fault Recovery and Rollback Resistance
Optimally Mitigating Backdoor Attacks in Federated Learning
PVOPM: Verifiable Privacy-Preserving Pattern Matching with Efficient Outsourcing in the Malicious Setting
Optimizing Secure Decision Tree Inference Outsourcing
PatchFuzz: An Efficient Way to Incorporate Patching With Hybrid Fuzzing
SPEK: A Storage Performance Evaluation Kernel Module for Block-Level Storage Systems under Faulty Conditions
A Secure Cloud Data Sharing Protocol for Enterprise Supporting Hierarchical Keyword Search
Using Screen Brightness to Improve Security in Mobile Social Network Access
Data Protection: Privacy-Preserving Data Collection With Validation
CSC-Detector: A System to Infer Large-Scale Probing Campaigns
A Secure Authentication Protocol for IoT-WLAN Using EAP Framework
Efficient and Privacy-Preserving Spatial Keyword Similarity Query Over Encrypted Data
Rethinking Image Forgery Detection via Soft Contrastive Learning and Unsupervised Clustering
Time to Think the Security of WiFi-Based Behavior Recognition Systems
STRisk: A Socio-Technical Approach to Assess Hacking Breaches Risk
Towards Practical and Privacy-Preserving Multi-Dimensional Range Query Over Cloud
Practical Inference Control for Data Cubes
PrivacyProber: Assessment and Detection of Soft-Biometric Privacy-Enhancing Techniques
Cyber Information Retrieval Through Pragmatics Understanding and Visualization
Enforcing Mandatory Access Control in Commodity OS to Disable Malware
Synthesizing Glyph Vectors for Practical Information Hiding in Documents
FedTA: Federated Worthy Task Assignment for Crowd Workers
Authorization Control for a Semantic Data Repository through an Inference Policy Engine
Building a Lightweight Trusted Execution Environment for Arm GPUs
User Authentication on Earable Devices via Bone-Conducted Occlusion Sounds
A Non-Interactive Identity-Based Multi-Signature Scheme on Lattices With Public Key Aggregation
Privacy-Preserving Secret Shared Computations Using MapReduce
Link/Switch Fault-Tolerant Hamiltonian Path Embedding in BCube Networks for Deadlock-Free Routing
Intelligent In-Network Attack Detection on Programmable Switches With Soterv2
A Novel Class of Robust Covert Channels Using Out-of-Order Packets
Reversible Data Hiding in Encrypted Images Based on Binary Symmetric Channel Model and Polar Code
An Automated Multi-Tab Website Fingerprinting Attack
Linguistic Steganography Based on Adaptive Probability Distribution
Measuring the Influence of Perceived Cybercrime Risk on Online Service Avoidance
Is Asynchronous Logic More Robust Than Synchronous Logic?
Efficient Fault Detection and Diagnosis in Complex Software Systems with Information-Theoretic Monitoring
Achieving Revocable Attribute Group-Based Encryption for Mobile Cloud Data: A Multi-Proxy Assisted Approach
Large-Scale Automated Software Diversity - Program Evolution Redux
Non-Cooperative Location Privacy
Multi-User Multi-Keyword Rank Search Over Encrypted Data in Arbitrary Language
Exploiting Spatial-Temporal Behavior Patterns for Fraud Detection in Telecom Networks
Vulnerabilities in SDN Topology Discovery Mechanism: Novel Attacks and Countermeasures
Privacy-Preserving Location-Based Services Query Scheme Against Quantum Attacks
Defeating Misclassification Attacks Against Transfer Learning
A Differentially Private Approach for Budgeted Combinatorial Multi-Armed Bandits
Secure Spread: An Integrated Architecture for Secure Group Communication
SparkAC: Fine-Grained Access Control in Spark for Secure Data Sharing and Analytics
CoBA: Collusive Backdoor Attacks With Optimized Trigger to Federated Learning
Blockchain-Based Shared Data Integrity Auditing and Deduplication
Formal Analysis of Secure Neighbor Discovery in Wireless Networks
Wireless Intrusion Detection and Device Fingerprinting through Preamble Manipulation
StreaMon: A Data-Plane Programming Abstraction for Software-Defined Stream Monitoring
On the Hardness of Adding Nonmasking Fault Tolerance
Reversible Data Hiding in Encrypted Images using Chunk Encryption and Redundancy Matrix Representation
Provably-Secure One-Message Unilateral Entity Authentication Schemes
FRoDO: Fraud Resilient Device for Off-Line Micro-Payments
Towards Sample-Specific Backdoor Attack With Clean Labels via Attribute Trigger
LAW: Learning Automatic Windows for Online Payment Fraud Detection
BGN Encryption Based Lossless Data Hiding by Random Number Replacement and Partitioning
A Survey and Analysis of the P3P Protocol's Agents, Adoption, Maintenance, and Future
Multi-Client Cloud-Based Symmetric Searchable Encryption
PriGenX: Privacy-Preserving Query With Anonymous Access Control for Genomic Data
Detection of Cache Pollution Attack Based on Ensemble Learning in ICN-Based VANET
DYST (Did You See That?): An Amplified Covert Channel That Points To Previously Seen Data
Efficient and Confidentiality-Preserving Content-Based Publish/Subscribe with Prefiltering
WebCloud: Web-Based Cloud Storage for Secure Data Sharing Across Platforms
Proactive Anti-Eavesdropping With Trap Deployment in Wireless Networks
Towards a New Thermal Monitoring Based Framework for Embedded CPS Device Security
On the Effectiveness of Using Graphics Interrupt as a Side Channel for User Behavior Snooping
Batch Inference on Deep Convolutional Neural Networks With Fully Homomorphic Encryption Using Channel-By-Channel Convolutions
Scoring Metrics of Assessing Voiceprint Distinctiveness Based on Speech Content and Rate
Modeling and Mitigating Transient Errors in Logic Circuits
On the Survivability of Wireless Ad Hoc Networks with Node Misbehaviors and Failures
Architecture Design of an Area Efficient High Speed Crypto Processor for 4G LTE
Bilateral Privacy-Preserving Worker Selection in Spatial Crowdsourcing
Distributed Attack Graph Generation
CheckShake: Passively Detecting Anomaly in Wi-Fi Security Handshake Using Gradient Boosting Based Ensemble Learning
Maliciously Secure and Efficient Large-Scale Genome-Wide Association Study With Multi-Party Computation
Automated Rule-Based Diagnosis through a Distributed Monitor System
Blockchain-Assisted Revocable Cross-Domain Authentication for Vehicular Ad-Hoc Networks
Combating Voice Spoofing Attacks on Wearables via Speech Movement Sequences
A Random Decision Tree Framework for Privacy-Preserving Data Mining
Neural Network Techniques for Proactive Password Checking
Seamlessly Safeguarding Data Against Ransomware Attacks
Automated Security Test Generation with Formal Threat Models
ProvAudit: Enhance High-Level Privacy Inference Through System Provenance Data
Two Birds with One Stone: Two-Factor Authentication with Security Beyond Conventional Bound
Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies
Trust Beyond Border: Lightweight, Verifiable User Isolation for Protecting In-Enclave Services
How Does Visualisation Help App Practitioners Analyse Android Apps?
A High-security-level Iris Cryptosystem Based on Fuzzy Commitment and Soft Reliability Extraction
Boosting Model Inversion Attacks With Adversarial Examples
LIGHT: Lightweight Authentication for Intra Embedded Integrated Electronic Systems
An Efficient and Zero-Knowledge Classical Machine Learning Inference Pipeline
On the Complexity of the Web's PKI: Evaluating Certificate Validation of Mobile Browsers
Dynamic Structurally-Encrypted Database Solutions for Large-Scale Data Management
Efficient and Accurate Cloud-Assisted Medical Pre-Diagnosis With Privacy Preservation
Delegation Security Analysis in Workflow Systems
Automated Online Monitoring of Distributed Applications through External Monitors
EdgePro: Edge Deep Learning Model Protection via Neuron Authorization
Malware Detection in Cloud Computing Infrastructures
Towards Optimal Triage and Mitigation of Context-Sensitive Cyber Vulnerabilities
PEO-Store: Delegation-Proof Based Oblivious Storage With Secure Redundancy Elimination
Message Control for Blockchain Rewriting
An Authorization Model for Geospatial Data
Location-Aware and Safer Cards: Enhancing RFID Security and Privacy via Location Sensing
Multi-User Verifiable Searchable Symmetric Encryption for Cloud Storage
Bilateral Privacy-Preserving Utility Maximization Protocol in Database-Driven Cognitive Radio Networks
Hiding in the Mobile Crowd: LocationPrivacy through Collaboration
Security Model of Authentication at the Physical Layer and Performance Analysis over Fading Channels
Efficient and Privacy-Preserving Ridesharing Organization for Transferable and Non-Transferable Services
Multi-Modality Ensemble Distortion for Spatial Steganography With Dynamic Cost Correction
Anomaly Detection in Network Traffic Based on Statistical Inference and alpha-Stable Modeling
DNS Poisoning of Operating System Caches: Attacks and Mitigations
SharHSC: A Sharding-Based Hybrid State Channel to Realize Blockchain Scalability and Security
Possibility and Impossibility of Propagation Safety and Reliability: A 1-Safe and Reliable Snap-Stabilizing Broadcast Algorithm
SkillVet: Automated Traceability Analysis of Amazon Alexa Skills