Cover Image

Analysing and Patching SPEKE in ISO/IEC

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hao, Feng, Metere, Roberto, Shahandashti, Siamak F., Dong, Changyu
Format:	Preprint
Published:	2018
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Emperor is Now Clothed: A Secure Governance Framework for Web User Authentication through Password Managers
by: Cherry, Ali, et al.
Published: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
by: Modesti, Paolo, et al.
Published: (2021)

Spinel: A Post-Quantum Signature Scheme Based on $\mathrm{SL}_n(\mathbb{F}_p)$ Hashing
by: Cherkaoui, Asmaa, et al.
Published: (2026)

Carbyne: An Ultra-Lightweight DoS-Resilient Mempool for Bitcoin
by: Haq, Hina Binte, et al.
Published: (2025)

Neonpool: Reimagining cryptocurrency transaction pools for lightweight clients and IoT devices
by: Haq, Hina Binte, et al.
Published: (2024)

An Application-Layer Multi-Modal Covert-Channel Reference Monitor for LLM Agent Egress
by: Metere, Alfredo
Published: (2026)

Implementing ISO/IEC TS 27560:2023 Consent Records and Receipts for GDPR and DGA
by: Pandit, Harshvardhan J., et al.
Published: (2024)

Architectural Obsolescence of Unhardened Agentic-AI Runtimes
by: Metere, Alfredo
Published: (2026)

enclawed: A Configurable, Sector-Neutral Hardening Framework for Single-User AI Assistant Gateways
by: Metere, Alfredo
Published: (2026)

User-Guided Verification of Security Protocols via Sound Animation
by: Ye, Kangfeng, et al.
Published: (2024)

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes
by: Metere, Alfredo
Published: (2026)

A Subexponential Quantum Algorithm for the Semidirect Discrete Logarithm Problem
by: Battarbee, Christopher, et al.
Published: (2022)

A Semantic Model for Audit of Cloud Engines based on ISO/IEC TR 3445:2022
by: Javan, Morteza Sargolzaei
Published: (2025)

Evaluation of Real-Time Mitigation Techniques for Cyber Security in IEC 61850 / IEC 62351 Substations
by: Herath, Akila, et al.
Published: (2025)

LLM-Enhanced Software Patch Localization
by: Yu, Jinhong, et al.
Published: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

A Transfer Learning Approach to Unveil the Role of Windows Common Configuration Enumerations in IEC 62443 Compliance
by: Bicudo, Miguel, et al.
Published: (2026)

Minoritised Ethnic People's Security and Privacy Concerns and Responses towards Essential Online Services
by: Quyoum, Aunam, et al.
Published: (2025)

AutoPatch: Multi-Agent Framework for Patching Real-World CVE Vulnerabilities
by: Seo, Minjae, et al.
Published: (2025)

Substation Bill of Materials: A Novel Approach to Managing Supply Chain Cyber-risks on IEC 61850 Digital Substations
by: Yurrebaso, Xabier, et al.
Published: (2025)

Fine-Grained 1-Day Vulnerability Detection in Binaries via Patch Code Localization
by: Dong, Chaopeng, et al.
Published: (2025)

SDN-Based Dynamic Cybersecurity Framework of IEC-61850 Communications in Smart Grid
by: Girdhar, Mansi, et al.
Published: (2023)

Patching FPGAs: The Security Implications of Bitstream Modifications
by: Puschner, Endres, et al.
Published: (2024)

EvoPatch-IoT: Evolution-Aware Cross-Architecture Vulnerability Retrieval and Patch-State Profiling for BusyBox-Based IoT Firmware
by: Xiao, Yinhao, et al.
Published: (2026)

Charge It to My Neighbor: A Relay Attack on ISO 15118 Plug and Charge Payment
by: Löw, Jakob, et al.
Published: (2025)

All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching
by: Sheng, Ze, et al.
Published: (2025)

PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair
by: Kim, Wonyoung, et al.
Published: (2026)

TRAP: Hijacking VLA CoT-Reasoning via Adversarial Patches
by: Huang, Zhengxian, et al.
Published: (2026)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

PatchFuzz: Patch Fuzzing for JavaScript Engines
by: Wang, Junjie, et al.
Published: (2025)

Resilience of IEC 61850 Sampled Values-Based Protection Systems Under Coordinated False Data Injections
by: Mishchenko, Denys, et al.
Published: (2026)

Auto-SGCR: Automated Generation of Smart Grid Cyber Range Using IEC 61850 Standard Models
by: Roomi, Muhammad M., et al.
Published: (2025)

BadPatches: Routing-aware Backdoor Attacks on Vision Mixture of Experts
by: Chan, Cedric, et al.
Published: (2025)

SwitchPatch: Physical Adversarial Attack Strategy with Switchable Adversarial Objectives
by: Jiang, Hanrui, et al.
Published: (2025)

AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices
by: Salehi, Mohsen, et al.
Published: (2024)

Scaling an ISO Compliance Practice: Strategic Insights from Building a \$1m+ Cybersecurity Certification Line
by: Sonkar, Nishant
Published: (2025)

PassViz: A Visualisation System for Analysing Leaked Passwords
by: Parker, Sam, et al.
Published: (2023)

LibIHT: A Hardware-Based Approach to Efficient and Evasion-Resistant Dynamic Binary Analysis
by: Zhao, Changyu, et al.
Published: (2025)

Exploring the Robustness and Transferability of Patch-Based Adversarial Attacks in Quantized Neural Networks
by: Guesmi, Amira, et al.
Published: (2024)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
by: Sandu, Ioana, et al.
Published: (2024)