Cover Image

Model checking of hyperproperties for high-level relational models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Macedo, Nuno, Pacheco, Hugo
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Cryptography and Security D.2.1; D.2.4; D.4.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
by: Churilov, Aleksandr
Published: (2026)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
by: Eom, Jueon, et al.
Published: (2024)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
by: Kim, Hyunwoo, et al.
Published: (2025)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
by: Yang, Haowei
Published: (2024)

Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
by: Ma, Jianan, et al.
Published: (2025)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
by: Slater, Tyler
Published: (2025)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
by: Hardgrove, Ian, et al.
Published: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
by: Andersson, Vivi, et al.
Published: (2026)

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
by: Akanji, Olawale Amos, et al.
Published: (2026)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

C8s: A Confidential Kubernetes Architecture
by: Asad, Amean, et al.
Published: (2026)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2026)

Orion: Fuzzing Workflow Automation
by: Bazalii, Max, et al.
Published: (2025)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
by: Koc, Vincent, et al.
Published: (2026)

How To Mitigate And Defend Against DDoS Attacks In IoT Devices
by: Leigha, Ifiyemi, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Sketch-based Access Control: A Multimodal Interface for Translating User Preferences into Intent-Aligned Policies
by: Monteiro, Kyzyl, et al.
Published: (2026)

Automated Vulnerability Detection Using Deep Learning Technique
by: Yang, Guan-Yan, et al.
Published: (2024)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

VehiclePassport: A GAIA-X-Aligned, Blockchain-Anchored Privacy-Preserving, Zero-Knowledge Digital Passport for Smart Vehicles
by: Kaushal, Pradyumna
Published: (2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
by: Chen, Jiachi, et al.
Published: (2025)

Firmware Distribution as Attack Surface: A Security Study of ASIC Cryptocurrency Miners
by: Pouliquen, Pierre, et al.
Published: (2026)

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
by: Welsh, Thomas, et al.
Published: (2025)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

From Multi-sig to DLCs: Modern Oracle Designs on Bitcoin
by: Caldarelli, Giulio
Published: (2026)