:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tempel, Sören, Bruns, Nora
Format:	Preprint
Publié:	2020
Sujets:	Programming Languages Cryptography and Security
Accès en ligne:	https://arxiv.org/abs/2005.09516
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

RIOT-based smart metering system for privacy-preserving data aggregation using watermarking and encryption
par: Kabir, Farzana, et autres
Publié: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
par: van der Wall, Sören, et autres
Publié: (2024)

PermRust: A Token-based Permission System for Rust
par: Gehring, Lukas, et autres
Publié: (2025)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
par: Thibault, Jérémy, et autres
Publié: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
par: Hassanzadeh-Nazarabadi, Yahya, et autres
Publié: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
par: Baumann, Jonathan, et autres
Publié: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
par: Engel, Daniel, et autres
Publié: (2026)

Compositional security definitions for higher-order where declassification
par: Menz, Jan, et autres
Publié: (2026)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
par: Haddad, Rami, et autres
Publié: (2022)

Computationally Bounded Robust Compilation and Universally Composable Security
par: Künnemann, Robert, et autres
Publié: (2024)

Obfuscation as Instruction Decorrelation
par: Ajorian, Ali, et autres
Publié: (2024)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
par: Damodaran, Suresh K., et autres
Publié: (2025)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
par: Bartoletti, Massimo, et autres
Publié: (2026)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
par: Huyghebaert, Sander, et autres
Publié: (2023)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
par: Sharma, Reshabh K, et autres
Publié: (2026)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
par: Zhang, Keyang, et autres
Publié: (2026)

Smart Contract Languages: a comparative analysis
par: Bartoletti, Massimo, et autres
Publié: (2024)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
par: Ajorian, Ali
Publié: (2025)

On Computational Indistinguishability and Logical Relations
par: Lago, Ugo Dal, et autres
Publié: (2024)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
par: Sarkar, Abhiroop, et autres
Publié: (2024)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
par: Saha, Akashdeep, et autres
Publié: (2025)

A Bayesian Approach to Membership Inference for Statistical Release
par: Oakley, Lisa, et autres
Publié: (2026)

Formalizing Stack Safety as a Security Property
par: Anderson, Sean Noble, et autres
Publié: (2021)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
par: Ye, Qianchuan, et autres
Publié: (2023)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
par: Thibault, Jérémy, et autres
Publié: (2024)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
par: Smaragdakis, Yannis, et autres
Publié: (2025)

Language-Based Security for Low-Level MPC
par: Skalka, Christian, et autres
Publié: (2024)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
par: Gollamudi, Tarakaram, et autres
Publié: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
par: Zhang, Naifeng, et autres
Publié: (2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
par: Li, Fang, et autres
Publié: (2025)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
par: Baumann, Jonathan, et autres
Publié: (2026)

Constructing Trustworthy Smart Contracts
par: Chait-Roth, Devora, et autres
Publié: (2024)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
par: Michael, Alexandra E., et autres
Publié: (2022)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
par: Sermchaiwong, Tanapoom, et autres
Publié: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
par: Krishnan, Rahul, et autres
Publié: (2025)

Solvent: liquidity verification of smart contracts
par: Bartoletti, Massimo, et autres
Publié: (2024)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
par: Chen, Hung-Mao, et autres
Publié: (2025)

SMT-Boosted Security Types for Low-Level MPC
par: Skalka, Christian, et autres
Publié: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
par: Cho, Hyunhum, et autres
Publié: (2026)