Imagen de Portada

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cheval, Vincent, Kremer, Steve, Rakotonirina, Itsaka
Formato:	Preprint
Publicado:	2022
Materias:	Cryptography and Security C.2.2; D.2.4; F.3.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automatic verification of Finite Variant Property beyond convergent equational theories
por: Cheval, Vincent, et al.
Publicado: (2024)

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
por: Metere, Roberto, et al.
Publicado: (2026)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
por: Rawat, Sanjay
Publicado: (2026)

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

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
por: McCann, Alan L.
Publicado: (2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
por: McCann, Alan L.
Publicado: (2026)

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
por: Amusuo, Paschal C., et al.
Publicado: (2025)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
por: Marksteiner, Stefan, et al.
Publicado: (2025)

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

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
por: Kadaboina, Ravi Kiran
Publicado: (2026)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
por: Wu, Jixuan, et al.
Publicado: (2025)

Policy as Code, Policy as Type
por: Fuchs, Matthew D.
Publicado: (2025)

Highway to Hull: An Algorithm for Solving the General Matrix Code Equivalence Problem
por: Couvreur, Alain, et al.
Publicado: (2025)

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
por: Yang, Yuhuan, et al.
Publicado: (2025)

Constrained LTL Specification Learning from Examples
por: Zhang, Changjian, et al.
Publicado: (2024)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
por: Gridin, Iaroslav, et al.
Publicado: (2024)

On the Decidability of Verification under Release/Acquire
por: Conrado, Giovanna Kobus, et al.
Publicado: (2026)

Targeted Nakamoto: A Bitcoin Protocol to Balance Network Security and Carbon Emissions
por: Aronoff, Daniel
Publicado: (2024)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
por: Middelburg, C. A.
Publicado: (2021)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
por: Zhang, Xindi, et al.
Publicado: (2025)

Advancing DevSecOps in SMEs: Challenges and Best Practices for Secure CI/CD Pipelines
por: Cheenepalli, Jayaprakashreddy, et al.
Publicado: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
por: Kashitsyn, Roman, et al.
Publicado: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
por: Gorrieri, Roberto, et al.
Publicado: (2025)

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

A Survey of Protocol Fuzzing
por: Zhang, Xiaohan, et al.
Publicado: (2024)

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

CBCL: Safe Self-Extending Agent Communication
por: O'Connor, Hugo
Publicado: (2026)

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

Fast, Cheap and Good: Lightweight Methods Are Undervalued
por: Shostack, Adam
Publicado: (2022)

Blockchain As a Platform For Artificial Intelligence (AI) Transparency
por: Akther, Afroja, et al.
Publicado: (2025)

Formal Methods for Mobile Ad Hoc Networks: A Survey
por: Fokkink, Wan, et al.
Publicado: (2025)

Guardians of the Web: The Evolution and Future of Website Information Security
por: Islam, Md Saiful, et al.
Publicado: (2025)

Enabling Privacy-Preserving and Publicly Auditable Federated Learning
por: Zeng, Huang, et al.
Publicado: (2024)

Power-Softmax: Towards Secure LLM Inference over Encrypted Data
por: Zimerman, Itamar, et al.
Publicado: (2024)

PromptSAM+: Malware Detection based on Prompt Segment Anything Model
por: Wei, Xingyuan, et al.
Publicado: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
por: Accattoli, Beniamino, et al.
Publicado: (2025)

Mitigating the Impact of Malware Evolution on API Sequence-based Windows Malware Detector
por: Wei, Xingyuan, et al.
Publicado: (2024)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Proof of Useful Attestation: A Consensus Primitive for Attestation-Native Chains
por: Stefanović, Stefan
Publicado: (2026)