Buchumschlag

ProVerif Scripts for the Formal Analysis of our Protocol

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	AdilKhan000
Format:	Recurso digital
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AdilKhan000/Formal_Analysis: Formal Analysis Scripts of STRP protocol - v1.0.2
von: AdilKhan000
Veröffentlicht: (2025)

ProVerif Formal Verification Model for SSI-Mediated Wearable Health Data Sharing Architecture
von: Kazi Md Arif Shahriar
Veröffentlicht: (2026)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
von: Tudorache, Leonard, et al.
Veröffentlicht: (2026)

Wyz000/HIARM: HIARM
von: Wuyuze000
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

Formal Verification of Permission Voucher
von: Reaz, Khan, et al.
Veröffentlicht: (2024)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
von: Esposito, Andrea, et al.
Veröffentlicht: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2024)

Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations
von: Hasnain, Muhammad
Veröffentlicht: (2026)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
von: Popovic, Miroslav, et al.
Veröffentlicht: (2024)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
von: Curaba, Cristian, et al.
Veröffentlicht: (2024)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
von: Barrière, Aurèle, et al.
Veröffentlicht: (2025)

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

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
von: Kumar, Aman, et al.
Veröffentlicht: (2024)

Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problem
von: Salim, Adil
Veröffentlicht: (2025)

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

Priests of the Clock: From Sacred Hands to Scripted Protocols
von: Ali, Kazim
Veröffentlicht: (2025)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2021)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
von: Wright, Craig S
Veröffentlicht: (2025)

Formal Models and Convergence Analysis for Context-Aware Security Verification
von: Chaudhary, Ayush
Veröffentlicht: (2025)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
von: Ginesin, Jacob, et al.
Veröffentlicht: (2024)

Formal Verification of Diffusion Auctions
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Formal Verification in Automated Manufacturing
von: Tang, Yiheng
Veröffentlicht: (2025)

Formal Verification of Minimax Algorithms
von: Wesselink, Wieger, et al.
Veröffentlicht: (2025)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

Statistical Analysis Scripts
von: Małota, Karol
Veröffentlicht: (2026)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Formal Verification of Variational Quantum Circuits
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Formal Modeling and Verification of Grover's Algorithm
von: Sun, H., et al.
Veröffentlicht: (2026)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

Practical Formal Verification for MLIR Programs
von: Tucker, Emily, et al.
Veröffentlicht: (2026)

Formal Verification and Control with Conformal Prediction
von: Lindemann, Lars, et al.
Veröffentlicht: (2024)

Automated Conjecture Resolution with Formal Verification
von: Ju, Haocheng, et al.
Veröffentlicht: (2026)

Formal Verification of Secure Encrypted Virtualization
von: Weerasena, Hansika, et al.
Veröffentlicht: (2026)

Formal Verification of the Empty Hexagon Number
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

State of the Art in the Research of Formal Verification
von: Edgar Serna-M.
Veröffentlicht: (2014)

Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol
von: Ja'afer M. AL-Saraireh
Veröffentlicht: (2011)

A Formalization of the Correctness of the Floodsub Protocol
von: Kumar, Ankit, et al.
Veröffentlicht: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
von: Basile, Davide
Veröffentlicht: (2025)