Extending the Formalism and Theoretical Foundations of Cryptography to AI
Fuente:
arXiv
Saved in:
| Main Authors: | Villa, Federico, Durak, F. Betül, Kohno, Tadayoshi, Maharramli, Tapdig, Roesner, Franziska |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
LLM Platform Security: Applying a Systematic Evaluation Framework to OpenAI's ChatGPT Plugins
by: Iqbal, Umar, et al.
Published: (2023)
by: Iqbal, Umar, et al.
Published: (2023)
Towards Automating Data Access Permissions in AI Agents
by: Wu, Yuhao, et al.
Published: (2025)
by: Wu, Yuhao, et al.
Published: (2025)
IsolateGPT: An Execution Isolation Architecture for LLM-Based Agentic Systems
by: Wu, Yuhao, et al.
Published: (2024)
by: Wu, Yuhao, et al.
Published: (2024)
SoK (or SoLK?): On the Quantitative Study of Sociodemographic Factors and Computer Security Behaviors
by: Wei, Miranda, et al.
Published: (2024)
by: Wei, Miranda, et al.
Published: (2024)
Attacking the Diebold Signature Variant -- RSA Signatures with Unverified High-order Padding
by: Gardner, Ryan W., et al.
Published: (2024)
by: Gardner, Ryan W., et al.
Published: (2024)
[Extended] Ethics in Computer Security Research: A Data-Driven Assessment of the Past, the Present, and the Possible Future
by: Ramulu, Harshini Sri, et al.
Published: (2025)
by: Ramulu, Harshini Sri, et al.
Published: (2025)
SSH-Passkeys: Leveraging Web Authentication for Passwordless SSH
by: Kayali, Moe, et al.
Published: (2025)
by: Kayali, Moe, et al.
Published: (2025)
Sandi: A System for Accountability
by: Durak, F. Betül, et al.
Published: (2024)
by: Durak, F. Betül, et al.
Published: (2024)
Unencrypted Flying Objects: Security Lessons from University Small Satellite Developers and Their Code
by: McAmis, Rachel, et al.
Published: (2025)
by: McAmis, Rachel, et al.
Published: (2025)
A Common Pool of Privacy Problems: Legal and Technical Lessons from a Large-Scale Web-Scraped Machine Learning Dataset
by: Hong, Rachel, et al.
Published: (2025)
by: Hong, Rachel, et al.
Published: (2025)
"The System Will Choose Security Over Humanity Every Time": Understanding Security and Privacy for U.S. Incarcerated Users
by: Eiger, Yael, et al.
Published: (2026)
by: Eiger, Yael, et al.
Published: (2026)
Towards A Post-Quantum Cryptography in Blockchain I: Basic Review on Theoretical Cryptography and Quantum Information Theory
by: Kikuchi, Tatsuru
Published: (2024)
by: Kikuchi, Tatsuru
Published: (2024)
Post-Quantum Cryptography
by: Pranjal, et al.
Published: (2024)
by: Pranjal, et al.
Published: (2024)
Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis
by: Iskander, Ray, et al.
Published: (2026)
by: Iskander, Ray, et al.
Published: (2026)
Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)
by: Chaliasos, Stefanos, et al.
Published: (2024)
Securing Cryptography in the Age of Quantum Computing and AI: Threats, Implementations, and Strategic Response
by: Mothukuri, Viraaji, et al.
Published: (2026)
by: Mothukuri, Viraaji, et al.
Published: (2026)
A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
by: Sandu, Ioana, et al.
Published: (2024)
by: Sandu, Ioana, et al.
Published: (2024)
A Stackelberg Model for Hybridization in Cryptography
by: Kouam, Willie, et al.
Published: (2026)
by: Kouam, Willie, et al.
Published: (2026)
algoTRIC: Symmetric and asymmetric encryption algorithms for Cryptography -- A comparative analysis in AI era
by: Kshetri, Naresh, et al.
Published: (2024)
by: Kshetri, Naresh, et al.
Published: (2024)
Post Quantum Cryptography and its Comparison with Classical Cryptography
by: Tripathi, Tanmay, et al.
Published: (2024)
by: Tripathi, Tanmay, et al.
Published: (2024)
On Central Primitives for Quantum Cryptography with Classical Communication
by: Chung, Kai-Min, et al.
Published: (2024)
by: Chung, Kai-Min, et al.
Published: (2024)
Extensible Post Quantum Cryptography Based Authentication
by: Riva-Cambrin, Homer A., et al.
Published: (2025)
by: Riva-Cambrin, Homer A., et al.
Published: (2025)
Homomorphic Encryption Based on Post-Quantum Cryptography
by: Chen, Abel C. H.
Published: (2024)
by: Chen, Abel C. H.
Published: (2024)
Performance Evaluation of Threshold Signing Schemes in Cryptography
by: Faneela, et al.
Published: (2025)
by: Faneela, et al.
Published: (2025)
Evolving k-Threshold Visual Cryptography Schemes
by: Zhuo, Xiaoli, et al.
Published: (2025)
by: Zhuo, Xiaoli, et al.
Published: (2025)
Thetacrypt: A Distributed Service for Threshold Cryptography
by: Barbaraci, Mariarosaria, et al.
Published: (2025)
by: Barbaraci, Mariarosaria, et al.
Published: (2025)
Homomorphic Hashing Based on Elliptic Curve Cryptography
by: Chen, Abel C. H.
Published: (2023)
by: Chen, Abel C. H.
Published: (2023)
User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
by: Quamara, Megha, et al.
Published: (2025)
by: Quamara, Megha, et al.
Published: (2025)
Time-Complexity Characterization of NIST Lightweight Cryptography Finalists
by: Hasan, Najmul, et al.
Published: (2026)
by: Hasan, Najmul, et al.
Published: (2026)
Hardware-Efficient Compound IC Protection with Lightweight Cryptography
by: Aksoy, Levent, et al.
Published: (2026)
by: Aksoy, Levent, et al.
Published: (2026)
Homomorphic Encryption Based on Lattice Post-Quantum Cryptography
by: Chen, Abel C. H.
Published: (2024)
by: Chen, Abel C. H.
Published: (2024)
Analysis of Light-Weight Cryptography Algorithms for UAV-Networks
by: Patel, Aanchal, et al.
Published: (2025)
by: Patel, Aanchal, et al.
Published: (2025)
A Monoid Ring Approach to Color Visual Cryptography
by: Reif, Maximilian, et al.
Published: (2025)
by: Reif, Maximilian, et al.
Published: (2025)
AICrypto: Evaluating Cryptography Capabilities of Large Language Models
by: Wang, Yu, et al.
Published: (2025)
by: Wang, Yu, et al.
Published: (2025)
Post Quantum Cryptography (PQC) Signatures Without Trapdoors
by: Buchanan, William J
Published: (2025)
by: Buchanan, William J
Published: (2025)
Security System for DNS Using Cryptography.
by: Aishwarya K P, et al.
Published: (2025)
by: Aishwarya K P, et al.
Published: (2025)
AI-Driven Post-Quantum Cryptography for Cyber-Resilient V2X Communication in Transportation Cyber-Physical Systems
by: Abrar, Akid, et al.
Published: (2025)
by: Abrar, Akid, et al.
Published: (2025)
Hybrid Scheme of Post-Quantum Cryptography and Elliptic-Curve Cryptography for Certificates -- A Case Study of Security Credential Management System in Vehicle-to-Everything Communications
by: Chen, Abel C. H., et al.
Published: (2025)
by: Chen, Abel C. H., et al.
Published: (2025)
Unclonable Cryptography with Unbounded Collusions and Impossibility of Hyperefficient Shadow Tomography
by: Çakan, Alper, et al.
Published: (2023)
by: Çakan, Alper, et al.
Published: (2023)
Software-Defined Cryptography: A Design Feature of Cryptographic Agility
by: Cho, Jihoon, et al.
Published: (2024)
by: Cho, Jihoon, et al.
Published: (2024)
Similar Items
-
LLM Platform Security: Applying a Systematic Evaluation Framework to OpenAI's ChatGPT Plugins
by: Iqbal, Umar, et al.
Published: (2023) -
Towards Automating Data Access Permissions in AI Agents
by: Wu, Yuhao, et al.
Published: (2025) -
IsolateGPT: An Execution Isolation Architecture for LLM-Based Agentic Systems
by: Wu, Yuhao, et al.
Published: (2024) -
SoK (or SoLK?): On the Quantitative Study of Sociodemographic Factors and Computer Security Behaviors
by: Wei, Miranda, et al.
Published: (2024) -
Attacking the Diebold Signature Variant -- RSA Signatures with Unverified High-order Padding
by: Gardner, Ryan W., et al.
Published: (2024)