Buchumschlag

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Giampietro, Sofia, Sasse, Ralf, Basin, David
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Quantum Diffie-Hellman key exchange
von: Nikolopoulos, Georgios M.
Veröffentlicht: (2025)

SoK: Attacks on Modern Card Payments
von: Hofmeier, Xenia, et al.
Veröffentlicht: (2025)

One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
von: Hofmeier, Xenia, et al.
Veröffentlicht: (2025)

Man-in-the-Middle Proof-of-Concept via Krontiris' Ephemeral Diffie-Hellman Over COSE (EDHOC) in C
von: Hennig, Daniel, et al.
Veröffentlicht: (2025)

Diffie-Hellman Picture Show: Key Exchange Stories from Commercial VoWiFi Deployments
von: Gegenhuber, Gabriel Karl, et al.
Veröffentlicht: (2024)

On Kernel's Safety in the Spectre Era (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
von: Sandu, Ioana, et al.
Veröffentlicht: (2024)

Security Analysis and Threat Modeling of Research Management Applications [Extended Version]
von: Sindala, Boniface M., et al.
Veröffentlicht: (2025)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2024)

Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version]
von: Cortellazzi, Jacopo, et al.
Veröffentlicht: (2019)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
von: Lei, Chongqing, et al.
Veröffentlicht: (2025)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
von: Bursuc, Sergiu, et al.
Veröffentlicht: (2024)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
von: Capretto, Margarita, et al.
Veröffentlicht: (2025)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
von: Quamara, Megha, et al.
Veröffentlicht: (2025)

Oblivious Digital Tokens
von: Liskij, Mihael, et al.
Veröffentlicht: (2025)

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
von: Jallow, Alfusainey, et al.
Veröffentlicht: (2025)

Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee (Extended Version)
von: Wang, Shan, et al.
Veröffentlicht: (2025)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)
von: Zhao, Zirui Neil, et al.
Veröffentlicht: (2024)

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)

ExtendAttack: Attacking Servers of LRMs via Extending Reasoning
von: Zhu, Zhenhao, et al.
Veröffentlicht: (2025)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
von: Winderix, Hans, et al.
Veröffentlicht: (2024)

Snorkeling in dark waters: A longitudinal surface exploration of unique Tor Hidden Services (Extended Version)
von: Barredo-Valenzuela, Alfonso Rodriguez, et al.
Veröffentlicht: (2025)

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
von: Bao, Wenxuan, et al.
Veröffentlicht: (2025)

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
von: Hajiabadi, Ali, et al.
Veröffentlicht: (2024)

ARM MTE Performance in Practice (Extended Version)
von: Noh, Taehyun, et al.
Veröffentlicht: (2026)

Beyond Gaze Points: Augmenting Eye Movement with Brainwave Data for Multimodal User Authentication in Extended Reality
von: Fallahi, Matin, et al.
Veröffentlicht: (2024)

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
von: Nabeel, Mohammed, et al.
Veröffentlicht: (2022)

SOAP: A Social Authentication Protocol
von: Linker, Felix, et al.
Veröffentlicht: (2024)

Extending Blockchain Untraceability with Plausible Deniability
von: Park, Eunchan, et al.
Veröffentlicht: (2026)

Primitive Vector Cipher(PVC): A Hybrid Encryption Scheme based on the Vector Computational Diffie-Hellman (V-CDH) Problem
von: BİLİR, Gülçin ÇİVİ
Veröffentlicht: (2025)

Time will Tell: Large-scale De-anonymization of Hidden I2P Services via Live Behavior Alignment (Extended Version)
von: Wang, Hongze, et al.
Veröffentlicht: (2025)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
von: Bella, Giampaolo, et al.
Veröffentlicht: (2021)

Reachability Analysis of the Domain Name System
von: Nevatia, Dhruv, et al.
Veröffentlicht: (2024)

Extending the Formalism and Theoretical Foundations of Cryptography to AI
von: Villa, Federico, et al.
Veröffentlicht: (2026)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
von: Pereira, João C., et al.
Veröffentlicht: (2024)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time (Extended Version)
von: Kan, Zeliang, et al.
Veröffentlicht: (2024)

Resilience of Networks to Spreading Computer Viruses: Optimal Anti-Virus Deployment (Extended Version)
von: Tavori, Jhonatan, et al.
Veröffentlicht: (2024)