Cover Image

Policy as Code, Policy as Type

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Fuchs, Matthew D.
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages D.4.6; K.6.5; D.3.2; F.3.1; D.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Can AI Lower the Barrier to Cybersecurity? A Human-Centered Mixed-Methods Study of Novice CTF Learning
by: Schachner, Cathrin, et al.
Published: (2026)

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

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
by: Fuchs, Clint, et al.
Published: (2025)

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

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

From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
by: Afifi, Tamer, et al.
Published: (2026)

SpyChain: Multi-Vector Supply Chain Attacks on Small Satellite Systems
by: Vanlyssel, Jack, et al.
Published: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

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

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

Safeguarding Virtual Healthcare: A Novel Attacker-Centric Model for Data Security and Privacy
by: Herath, Suvineetha, et al.
Published: (2024)

Predicting Known Vulnerabilities from Attack Descriptions Using Sentence Transformers
by: Othman, Refat
Published: (2026)

CTF as a Service: A reproducible and scalable infrastructure for cybersecurity training
by: Miguel, Carlos Jimeno, et al.
Published: (2026)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
by: Therrien, Logan, et al.
Published: (2026)

HashKitty: Distributed Password Analysis
by: Antunes, Pedro, et al.
Published: (2025)

RADEP: A Resilient Adaptive Defense Framework Against Model Extraction Attacks
by: Chakraborty, Amit, et al.
Published: (2025)

Static Attribution of Android Residential Proxy Malware Using Graph Kernels
by: Clark, Peter, et al.
Published: (2026)

ARMOUR US: Android Runtime Zero-permission Sensor Usage Monitoring from User Space
by: Long, Yan, et al.
Published: (2025)

The Discovery, Disclosure, and Investigation of CVE-2024-25825
by: Chasens, Hunter
Published: (2025)

Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction
by: Zhou, Ming, et al.
Published: (2025)

Memory Forensics Techniques for Automated Detection and Analysis of Go Malware
by: Ali, Hala, et al.
Published: (2026)

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
by: Nayak, Prabhudarshi, et al.
Published: (2026)

Silent Consent, Persistent Risk: Android Permission Groups and Custom Permissions
by: Akanji, Olawale Amos, et al.
Published: (2026)

vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
by: Song, Qiyang, et al.
Published: (2026)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
by: Nathanson, Samuel, et al.
Published: (2025)

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

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

A Secure, Manifest-Based Framework for Delegated Privilege Promotion
by: Chowdhury, Rajarshi, et al.
Published: (2026)

Fine-tuning RoBERTa for CVE-to-CWE Classification: A 125M Parameter Model Competitive with LLMs
by: Mosievskiy, Nikita
Published: (2026)

HSM and TPM Failures in Cloud: A Real-World Taxonomy and Emerging Defenses
by: Shaikh, Shams, et al.
Published: (2025)

SecureBank: A Financially-Aware Zero Trust Architecture for High-Assurance Banking Systems
by: Biao, Paulo Fernandes
Published: (2025)

CryptoGuard: Lightweight Hybrid Detection and Response to Host-based Cryptojackers in Linux Cloud Environments
by: Park, Gyeonghoon, et al.
Published: (2025)

AIRTBench: Measuring Autonomous AI Red Teaming Capabilities in Language Models
by: Dawson, Ads, et al.
Published: (2025)

The Automation Advantage in AI Red Teaming
by: Mulla, Rob, et al.
Published: (2025)

Broken Object Level Authorization in the Wild: An Empirical Taxonomy from 100+ Bug Bounty Disclosures
by: Kaur, Bandana
Published: (2026)

Privacy-Enhancing Encryption in Data Sharing: A Survey on Security, Performance and Functionality
by: Lv, Yongyang, et al.
Published: (2026)

Refusal Evaluation in Coding LLMs and Code Agents: A Systematic Review of Thirteen Malicious-Code Prompt Corpora (2023-2025)
by: Young, Richard J., et al.
Published: (2026)

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

Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices
by: Yang, Dongxu
Published: (2026)