Buchumschlag

Artifact for "The Jasmin Compiler Preserves Cryptographic Security."

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Anonymous
Format:	Recurso digital
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Jasmin Compiler Preserves Cryptographic Security
von: Arranz-Olmos, Santiago, et al.
Veröffentlicht: (2025)

Artifact for DCAware
von: Anonymous
Veröffentlicht: (2026)

Understanding the Origin and Reachability of Cryptographic API Misuse Reports in Android Apps
von: Anonymous, Anonymous
Veröffentlicht: (2026)

Chinese Jasmine Tea: The Harmonious Intertwining of Tea and Jasmine Fragrance
von: Hong‐yu Chen, et al.
Veröffentlicht: (2025)

Artifact SiRop for "Deciding Termination of Simple Randomized Loops"
von: Anonymous, Anonymous
Veröffentlicht: (2025)

ASE_DiVerify_Artifact: Initial Release
von: Anonymous
Veröffentlicht: (2026)

Matrix Cryptographic Tree and Matrix Cryptographic Signature: A Fully Reversible and Structure-Preserving Cryptographic Primitive
von: Nakano, Tatsuya
Veröffentlicht: (2026)

Artifact for "Are LLMs all we need in code comparison tasks?"
von: Anonymous
Veröffentlicht: (2024)

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)
von: Anonymous
Veröffentlicht: (2026)

Postharvet Jasmine Test Data
von: Chen, Zhiwei
Veröffentlicht: (2025)

Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
von: Schuster, Philipp, et al.
Veröffentlicht: (2025)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
von: Conoly, Owen, et al.
Veröffentlicht: (2025)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
von: Anonymous
Veröffentlicht: (2026)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
von: Ron, Javier, et al.
Veröffentlicht: (2026)

On the Security of Research Artifacts
von: Rani, Nanda, et al.
Veröffentlicht: (2026)

Cross Culturalism in Bharati Mukherjee's Jasmine
von: Amanpreet Kaur
Veröffentlicht: (2018)

Transformation of Woman in Bharati Mukherjee’s Jasmine
von: Tanuja Singh
Veröffentlicht: (2017)

Processing Entangled Links Into Secure Cryptographic Keys
von: Kokorsch, Marcel, et al.
Veröffentlicht: (2025)

Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
von: Anonymous
Veröffentlicht: (2026)

Artifacts for Codlis: A Multi-Agent Framework for Interactive Source Code Visualization via Knowledge Graphs
von: Anonymous
Veröffentlicht: (2026)

Artifacts for Publication - Fingerprints in the Wild: An Adversarial Study of Behavior Beyond Standard Attack Models and Implications for Robustness Evaluation
von: Anonymous
Veröffentlicht: (2026)

First Report of Jasmine Virus H in Iraq
von: Z. F. M. H. Akhobasha, et al.
Veröffentlicht: (2026)

Migration, Adaptation and Survival in Bharti Mukherjee’s Jasmine
von: Ekta Gupta
Veröffentlicht: (2017)

Flexible In-NAND Cryptographic Processing for Secure Flash Storage
von: Noh, Seock-Hwan, et al.
Veröffentlicht: (2025)

ChainMarks: Securing DNN Watermark with Cryptographic Chain
von: Choi, Brian, et al.
Veröffentlicht: (2025)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
von: Acay, Coşku, et al.
Veröffentlicht: (2024)

Using Intermittent Chaotic Clocks to Secure Cryptographic Chips
von: Darya, Abdollah Masoud, et al.
Veröffentlicht: (2024)

Microbenchmarking Cloud Cryptographic Workloads for Privacy-Preserving Healthcare IoT
von: Webb, Jeremiah L., et al.
Veröffentlicht: (2026)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
von: Anonymous Authors
Veröffentlicht: (2026)

Artifacts: From Physical to Virtual: Redefining Scientific Events with Immersive Technologies: A Case Report
von: Anonymous 01
Veröffentlicht: (0221)

Artifact: GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment
von: Anonymous
Veröffentlicht: (2026)

Artifact for ASE'26 "Scaling LLM-Based Bug Detection via Universal Proof-of-Concept Test Generation"
von: Autho, Anonymous
Veröffentlicht: (2026)

Secure Communication Using Steganography and Improved Blowfish Cryptographic Methods
von: K. Ravindra Reddy, et al.
Veröffentlicht: (2026)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
von: Elsayed, Mohamed, et al.
Veröffentlicht: (2026)

Multicultural Identity Crisis in Bharati Mukherjee’s Novel Jasmine
von: Seema Parveen
Veröffentlicht: (2021)

Encountering The ‘Other’: Diasporic Consciousness in Jasmine and Brick Lane
von: Dr. Sangeeta Kotwal
Veröffentlicht: (2022)

Five Questions with Jasmine Van Schaick of University of Virginia
von: Donna Talarico
Veröffentlicht: (2024)

SecBPMN2 Dataset: BPMN Models and Security Requirement Descriptions for Automated Security Annotation Generation
von: Anonymous
Veröffentlicht: (2026)

Key Length-Oriented Classification of Lightweight Cryptographic Algorithms for IoT Security
von: Vahi, Arsalan
Veröffentlicht: (2025)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)