:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	AdilKhan000
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.15460758
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AdilKhan000/Formal_Analysis: Formal Analysis Scripts of STRP protocol - v1.0.2
by: AdilKhan000
Published: (2025)

ProVerif Formal Verification Model for SSI-Mediated Wearable Health Data Sharing Architecture
by: Kazi Md Arif Shahriar
Published: (2026)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

Wyz000/HIARM: HIARM
by: Wuyuze000
Published: (2025)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
by: Esposito, Andrea, et al.
Published: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations
by: Hasnain, Muhammad
Published: (2026)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
by: Popovic, Miroslav, et al.
Published: (2024)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

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

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

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
by: Kumar, Aman, et al.
Published: (2024)

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

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

Priests of the Clock: From Sacred Hands to Scripted Protocols
by: Ali, Kazim
Published: (2025)

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

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
by: Wright, Craig S
Published: (2025)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

Formal Verification in Automated Manufacturing
by: Tang, Yiheng
Published: (2025)

Formal Verification of Minimax Algorithms
by: Wesselink, Wieger, et al.
Published: (2025)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Formal Models and Convergence Analysis for Context-Aware Security Verification
by: Chaudhary, Ayush
Published: (2025)

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

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Statistical Analysis Scripts
by: Małota, Karol
Published: (2026)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

Formal Modeling and Verification of Grover's Algorithm
by: Sun, H., et al.
Published: (2026)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

State of the Art in the Research of Formal Verification
by: Edgar Serna-M.
Published: (2014)

Formal Verification of the Empty Hexagon Number
by: Subercaseaux, Bernardo, et al.
Published: (2024)

Importance of Spoken English Language in our Professional Development and Life
by: Zubair Khan
Published: (2017)

Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol
by: Ja'afer M. AL-Saraireh
Published: (2011)

A Formalization of the Correctness of the Floodsub Protocol
by: Kumar, Ankit, et al.
Published: (2025)