Cover Image

A Type System to Ensure Non-Interference in ReScript

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bennetzen, Benjamin, Kleist, Daniel Vang, Steinmann, Emilie Sonne, Walsted, Loke, Kristensen, Nikolaj Rossander, Steffensen, Peter Buus
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cost Analysis for Import and Export Using an Abstract Machine
by: Bennetzen, Benjamin, et al.
Published: (2024)

Encoding call-by-push-value in the pi-calculus
by: Bennetzen, Benjamin, et al.
Published: (2025)

A generalised editor calculus (Short Paper)
by: Bennetzen, Benjamin, et al.
Published: (2025)

ReThink: Reveal the Threat of Electromagnetic Interference on Power Inverters
by: Yang, Fengchen, et al.
Published: (2024)

Directionality of the Voynich Script
by: Parisel, Christophe
Published: (2025)

Weaver: Fuzzing JavaScript Engines at the JavaScript-WebAssembly Boundary
by: Zhang, Lingming, et al.
Published: (2026)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
by: Ball, Thomas, et al.
Published: (2024)

Unbundle-Rewrite-Rebundle: Runtime Detection and Rewriting of Privacy-Harming Code in JavaScript Bundles
by: Ali, Mir Masood, et al.
Published: (2024)

Blocking Tracking JavaScript at the Function Granularity
by: Amjad, Abdul Haddi, et al.
Published: (2024)

Characterizing Phishing Pages by JavaScript Capabilities
by: Nahapetyan, Aleksandr, et al.
Published: (2025)

DataSeal: Ensuring the Verifiability of Private Computation on Encrypted Data
by: Santriaji, Muhammad Husni, et al.
Published: (2024)

Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms
by: Fan, Jingwen, et al.
Published: (2024)

DPI: Ensuring Strict Differential Privacy for Infinite Data Streaming
by: Feng, Shuya, et al.
Published: (2023)

On the Reliability of Biometric Datasets: How Much Test Data Ensures Reliability?
by: Fallahi, Matin, et al.
Published: (2025)

GHunter: Universal Prototype Pollution Gadgets in JavaScript Runtimes
by: Cornelissen, Eric, et al.
Published: (2024)

The Pulse of Fileless Cryptojacking Attacks: Malicious PowerShell Scripts
by: Varlioglu, Said, et al.
Published: (2024)

Type-Based Enforcement of Non-Interference for Choreographic Programming
by: Bertoni, Marco, et al.
Published: (2026)

Challenging Machine Learning Algorithms in Predicting Vulnerable JavaScript Functions
by: Ferenc, Rudolf, et al.
Published: (2024)

Blockchain Signatures to Ensure Information Integrity and Non-Repudiation in the Digital Era: A comprehensive study
by: Banerjee, Kaveri, et al.
Published: (2025)

Obfuscating Code Vulnerabilities against Static Analysis in JavaScript Code
by: Pagano, Francesco, et al.
Published: (2026)

An Empirical Study of JavaScript Inclusion Security Issues in Chrome Extensions
by: Guan, Chong
Published: (2025)

Enhancing JavaScript Malware Detection through Weighted Behavioral DFAs
by: Pereira, Pedro, et al.
Published: (2025)

Dancer in the Dark: Synthesizing and Evaluating Polyglots for Blind Cross-Site Scripting
by: Kirchner, Robin, et al.
Published: (2025)

JsDeObsBench: Measuring and Benchmarking LLMs for JavaScript Deobfuscation
by: Chen, Guoqiang, et al.
Published: (2025)

Blockchain-Enabled Device-Enhanced Multi-Access Edge Computing in Open Adversarial Environments
by: Islam, Muhammad, et al.
Published: (2024)

Kintsugi: Decentralized E2EE Key Recovery
by: Ma, Emilie, et al.
Published: (2025)

FV8: A Forced Execution JavaScript Engine for Detecting Evasive Techniques
by: Pantelaios, Nikolaos, et al.
Published: (2024)

Original Sin of npm: A Study on Vulnerability Propagation in JavaScript Dependency Networks
by: Robinson, Michael, et al.
Published: (2026)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
by: van der Wall, Sören, et al.
Published: (2024)

Polynomial Methods for Ensuring Data Integrity in Financial Systems
by: Brasca, Ignacio
Published: (2024)

Uncovering GNSS Interference with Aerial Mapping UAV
by: Spanghero, Marco, et al.
Published: (2024)

Field Testing and Detection of Camera Interference for Autonomous Driving
by: Park, Ki Beom, et al.
Published: (2024)

Root Defence Strategies: Ensuring Safety of LLM at the Decoding Level
by: Zeng, Xinyi, et al.
Published: (2024)

Enhancing Software Supply Chain Resilience: Strategy For Mitigating Software Supply Chain Security Risks And Ensuring Security Continuity In Development Lifecycle
by: Akinsola, Ahmed, et al.
Published: (2024)

PatchFuzz: Patch Fuzzing for JavaScript Engines
by: Wang, Junjie, et al.
Published: (2025)

Automatic Attack Script Generation: a MDA Approach
by: Goux, Quentin, et al.
Published: (2026)

Language Models Can Autonomously Hack and Self-Replicate
by: Air, Alena, et al.
Published: (2026)

Bitcoin: A Non-Continuous Time System
by: Chen, Bin
Published: (2025)

ReSIM: Re-ranking Binary Similarity Embeddings to Improve Function Search Performance
by: Capozzi, Gianluca, et al.
Published: (2026)

Invisible Finger: Practical Electromagnetic Interference Attack on Touchscreen-based Electronic Devices
by: Shan, Haoqi, et al.
Published: (2024)