Securing Control Systems: Encrypting Nonlinear Dynamics
Researchers have developed a method to implement encrypted control for complex nonlinear systems by approximating dynamics with autoregressive models.
Researchers have developed a method to implement encrypted control for complex nonlinear systems by approximating dynamics with autoregressive models.
New research introduces a framework for proving that certain types of distributed computations-from population protocols to chemical reaction networks-will always reach a conclusion or demonstrably fail within a predictable timeframe.

Researchers have designed a new superconducting quantum computing architecture that significantly reduces unwanted interactions between qubits, paving the way for more complex and reliable quantum computations.
A new State of Knowledge review examines the evolving landscape of consensus protocols and the drive toward faster, more secure finality in distributed ledger technology.

A new containerized sandbox, pokiSEC, delivers consistent and reproducible dynamic malware analysis for both ARM64 and AMD64 systems.
A new review synthesizes the latest approaches to ensuring the robustness of critical infrastructure in the face of growing threats.

Researchers have developed a new framework that leverages artificial intelligence to subtly alter code, evading detection by even advanced, reasoning-based security systems.
New research reveals fundamental limitations in designing effective incentives for blockchain protocols that rely on challenge-based validation.

A new distributed system, Sark, prioritizes user control and data security by eschewing global state in favor of local-first integrity management.

Researchers have devised efficient quantum circuits for constructing powerful ‘superchannels’ from seemingly random quantum noise, opening new avenues for quantum information processing.