Buchumschlag

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sherman, Alan T., Romano, Jeremy J. Romanik, Zieglar, Edward, Golaszewski, Enis, Fuchs, Jonathan D., Byrd, William E.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
von: Golaszewski, Enis, et al.
Veröffentlicht: (2025)

Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short
von: Golaszewski, Enis, et al.
Veröffentlicht: (2026)

ModelForge: Using GenAI to Improve the Development of Security Protocols
von: Duclos, Martin, et al.
Veröffentlicht: (2025)

WebAssembly and Security: a review
von: Perrone, Gaetano, et al.
Veröffentlicht: (2024)

Design and Implementation of an Open-Source Security Framework for Cloud Infrastructure
von: Shao, Wanru
Veröffentlicht: (2026)

Implementation of Entropically Secure Encryption: Securing Personal Health Data
von: Temel, Mehmet Hüseyin, et al.
Veröffentlicht: (2024)

Simple But Not Secure: An Empirical Security Analysis of Two-factor Authentication Systems
von: Wang, Zhi, et al.
Veröffentlicht: (2024)

Reverse Online Guessing Attacks on PAKE Protocols
von: Christian, Eloise, et al.
Veröffentlicht: (2026)

An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
von: Bettinger, Matthieu, et al.
Veröffentlicht: (2025)

Enhancing the Security of Rollup Sequencers using Decentrally Attested TEEs
von: Cristiano, Giovanni Maria, et al.
Veröffentlicht: (2025)

Efficient Secure Aggregation for Privacy-Preserving Federated Machine Learning
von: Behnia, Rouzbeh, et al.
Veröffentlicht: (2023)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
von: Ding, Wanning, et al.
Veröffentlicht: (2024)

Securing Satellite Link Segment: A Secure-by-Component Design
von: Yahia, Olfa Ben, et al.
Veröffentlicht: (2024)

A Novel Cipher for Enhancing MAVLink Security: Design, Security Analysis, and Performance Evaluation Using a Drone Testbed
von: Dixit, Bhavya, et al.
Veröffentlicht: (2025)

Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security
von: Shang, Jiahui, et al.
Veröffentlicht: (2025)

EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
von: Pérez, Elsa López, et al.
Veröffentlicht: (2024)

Model-Driven Security Analysis of Self-Sovereign Identity Systems
von: Ding, Yepeng, et al.
Veröffentlicht: (2024)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)

Browser Security Posture Analysis: A Client-Side Security Assessment Framework
von: Cohen, Avihay
Veröffentlicht: (2025)

Architectural Design for Secure Smart Contract Development
von: Lewis, Myles, et al.
Veröffentlicht: (2024)

On the Design and Security of Collective Remote Attestation Protocols
von: Ahmadi, Sharar, et al.
Veröffentlicht: (2024)

Securing Automated Insulin Delivery Systems: A Review of Security Threats and Protective Strategies
von: Niu, Yuchen, et al.
Veröffentlicht: (2025)

Immersed in Reality Secured by Design -- A Comprehensive Analysis of Security Measures in AR/VR Environments
von: Chauhan, Sameer, et al.
Veröffentlicht: (2024)

Security Analysis of Chain-FS service
von: Teague, Vanessa, et al.
Veröffentlicht: (2025)

An Information-theoretic Security Analysis of Honeyword
von: Su, Pengcheng, et al.
Veröffentlicht: (2023)

Systems Security Foundations for Agentic Computing
von: Christodorescu, Mihai, et al.
Veröffentlicht: (2025)

Smart Medical IoT Security Vulnerabilities: Real-Time MITM Attack Analysis, Lightweight Encryption Implementation, and Practitioner Perceptions in Underdeveloped Nigerian Healthcare Systems
von: Auwal, Aminu Muhammad
Veröffentlicht: (2025)

The Elephant in the Room: Software and Hardware Security Vulnerabilities of Portable Sequencing Devices
von: Stillman, Carson, et al.
Veröffentlicht: (2024)

Securing Cryptography in the Age of Quantum Computing and AI: Threats, Implementations, and Strategic Response
von: Mothukuri, Viraaji, et al.
Veröffentlicht: (2026)

Zero Trust Security Model Implementation in Microservices Architectures Using Identity Federation
von: Rajendran, Rethish Nair, et al.
Veröffentlicht: (2025)

Operational Runtime Behavior Mining for Open-Source Supply Chain Security
von: Tan, Zhuoran, et al.
Veröffentlicht: (2026)

Secure Multiparty Generative AI
von: Shrestha, Manil, et al.
Veröffentlicht: (2024)

Enhancing Security Testing Software for Systems that Cannot be Subjected to the Risks of Penetration Testing Through the Incorporation of Multi-threading and and Other Capabilities
von: Tassava, Matthew, et al.
Veröffentlicht: (2024)

Security Analysis of a Communication Protocol: MQTT
von: Venâncio, Ricardo, et al.
Veröffentlicht: (2026)

SoK: An Introspective Analysis of RPKI Security
von: Mirdita, Donika, et al.
Veröffentlicht: (2024)

Security Analysis of Web Applications Based on Gruyere
von: Ni, Yonghao, et al.
Veröffentlicht: (2025)

"The System Will Choose Security Over Humanity Every Time": Understanding Security and Privacy for U.S. Incarcerated Users
von: Eiger, Yael, et al.
Veröffentlicht: (2026)

Leaking Queries On Secure Stream Processing Systems
von: Pham, Hung, et al.
Veröffentlicht: (2025)

Security Assessment and Hardening of Fog Computing Systems
von: Cesarano, Carmine
Veröffentlicht: (2023)

Quantum Secure Biometric Authentication in Decentralised Systems
von: Qasim, Tooba, et al.
Veröffentlicht: (2026)