Latest Research in Security and Verification in Computing
16 research papers · 2026 median publication year
Top Research Topics in Security and Verification in Computing
- Blockchain Technology Applications and Security — 13 papers
- Security and Verification in Computing — 1 papers
- QR Code Applications and Technologies — 1 papers
- Data Stream Mining Techniques — 1 papers
Highest-Cited Papers
- The Verification Model: Bounding What a Council Cannot See
- Sharing healthcare information with the public in electronic markets using blockchain: Three experimental studies and a machine learning analysis
- Secure and scalable IoT device management with blockchain, K-anonymity, and deep reinforcement learning
- A machine learning architecture for quality of service-aware side-chain management in tamper-proof healthcare internet of things and industrial internet of things networks
- Unlocking Medical Big Data: Overcoming the Interoperability Challenge in Healthcare Systems with Blockchain
- Beyond Random Suffixes: Security Analysis and a Cryptographically Hardened Reference-Number Protocol for Web-Based Academic Credential Verification, with a Case Implementation at Northwest University, Kano
- Continuous Trust Scoring for Three-Level Pre-Chain Admission of IoT Sensor Streams
- Secure Device Authentication with Blockchain Based Trust Technique for IoT
- Blockchain-enabled secure IOT framework using energy-efficient functional materials for scalable cross-border financial transactions
- Blockchain fog attention framework for collusion detection and automated accountability in internet of things networks
- HealthCoin: A Peer-to-Peer Healthcare Payment and Settlement Protocol
- HealthCoin: A Peer-to-Peer Healthcare Payment and Settlement Protocol
- PEUAP-W3: A Formally Verified Zero-Knowledge Authentication Protocol for Web 3.0 Unifying Conditional Biometric Binding, Threshold-Accountable Anonymity, and Self-Sovereign Identity
- Development of blockchain-based secured routing mechanism in software defined networks using deep learning over IoT sector
- Blockchain for the eHealth Sector —A Survey and Implementation
- OPAQUE-IoT: an optimization-driven PUF-Blockchain authenticated key agreement protocol with adaptive resource management for constrained IoT networks