2026
102 references published this year.
Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
Yasmine Abu-Haeyeh and others (2026)
Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations
FNU Aditi (2026)
AIVD Jaarverslag 2025
Algemene Inlichtingen- en Veiligheidsdienst (2026) · Algemene Inlichtingen- en Veiligheidsdienst
Synthesis of RTL-based Characterization Programs for Fault Injection
Jonah Alle Monne and others (2026) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2026)
Models of Computation based on Automata: Formal Languages and Communicating Processes
Jos Baeten (2026) · Centrum Wiskunde & Informatica
‘Friendshoring’ the seabed: Securing submarine cables through network centrality
Samuel Bashfield and others (2026) · European Journal of International Security
Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
Jonathan Baumann and others (2026)
From RTL to Fabrication: Survey of Open-Source EDA Tools and PDKs
Emilio Isaac Baungarten-Leon (2026) · Electronics
Palantir Courts Major Federal Contracts - and Controversy - in Trump Era
Rebecca Beitsch and others (2026)
Mechanised operational semantics of Rowhammer
Martin Berger and others (2026)
GateTruth: Auditing the Rigor of RTL Design Benchmarks via Mutation Testing
Meet Bhadra (2026)
History-based reasoning about behavioral subtyping (extended paper)
Jinting Bian and others (2026) · Theoretical Computer Science · Elsevier BV
Binary Interface Compatibility for Library Integration in C++
James Bingen (2026)
How OpenAI Lost Control of an AI Model - and What Needs to Change
Harry Booth (2026)
Codes for Metastability-Containing Addition
Johannes Bund and others (2026)
Algorethics And Neuro-Symbolic Military Ai: Ontologies, "Hellscapes," Just War, And Silicon Valley
John E. Carter (2026) · Intercultural Human Rights Law Review · Elsevier BV
A violation of uniqueness usually overlooked
Paola Cattabriga (2026) · Social Science Research Network
NATO CCDCOE Training Catalogue, 2026
NATO Cooperative Cyber Defence Centre of Excellence (2026) · NATO Cooperative Cyber Defence Centre of Excellence
The political economy of digital authoritarianism: evidence from the Iranian regime's implementation of technology
Dara Conduit (2026) · Democratization · Taylor & Francis
The Most Ambiguous Concept in Computer Science
Core Dumped (2026) · YouTube · video
Guarded Equivalence Predicates for Scalable Formal Hardware Information-Flow Verification
Liangtao Dai and others (2026)
Pilots noodsteunpunten. Snelle kennismobilisatie 2: Informatie en communicatie
A. de Haan and others (2026) · Nederlands Instituut Publieke Veiligheid · Nederlands Instituut Publieke Veiligheid
Information Flow Paths from RTL Traces
Calvin Deutschbein and others (2026)
The New Realities of Digital Geopolitics
Don Eijndhoven (2026) · Dutch Cyber Warfare Community
Detecting speculative leaks with compositional semantics
Xaver Fabian and others (2026)
Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing
Yu-Wei Fan and others (2026)
Generalizable Verilog Modeling Framework for Synchronous and Asynchronous Superconducting Pulse-Based Logic Gates
Elisabeth Feng and others (2026)
What is digital democracy?
Christian Fuchs (2026) · Journal of Information Technology & Politics
Publishing End-Site Prefix Lengths
Oliver Gasser and others (2026) · RFC Editor
Disinformation: A Multi-Disciplinary Analysis
Lisa Ginsborg and others (2026) · Springer Nature Switzerland
A Government of Agents: The Experimental Logics of Artificial Intelligence
Orit Halpern (2026) · e-flux Architecture
LLMs as hackers: Autonomous Linux privilege escalation attacks
Andreas Happe and others (2026) · Empirical Software Engineering
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
Mathé Hertogh and others (2026) · 2026 IEEE Symposium on Security and Privacy (SP) · IEEE
The Critical State of Cyberspace
Hans-Dieter Hiep (2026) · Advances in Anti-Access and Area Denial (A2/AD): From Defensive Technologies to A Whole-of-Society Approach · Leiden University Press
Completeness of Iris-Based Program Logics
Johannes Hostert and others (2026) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)
Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
Iman, Mohammad Reza Heidari and others (2026) · arXiv
The Insane Complexity of the Semiconductor Global Supply Chain
Micro (2026) · YouTube · video
The 1-Bit Barrier is Universal: k-Stage Pipeline Composition and Unified Leakage Bounds for Masked NTT Hardware
Ray Iskander and others (2026)
Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
Ray Iskander and others (2026)
Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents
Kaashoek, M. Frans and others (2026)
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
Shuanglong Kan and others (2026)
Soft-Error Characterization and Hardening Trade-offs in Static PCHB Asynchronous Circuits
Ramya Karri and others (2026)
Distributed Places and Safe Net Reduction
Victor Khomenko and others (2026)
Misato: RISC-V Processor Written in Amaranth HDL
O. Kindgren (2026)
TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification
Jan Kleinekathöfer and others (2026)
Strategic Interdependence: Using Internet Outage Data to Study How Combatants Manage Collective Institutions During War
Nadiya Kostyuk and others (2026) · British Journal of Political Science · Cambridge University Press
NoC-Out: A Formally-verified Network-on-Chip Library for Rule-based Hardware Designs
Max Kurze and others (2026)
Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
Stella Lau and others (2026)
Mechanized semantics for circuits: from dataflow to hardware
Tony Law (2026)
Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
Janggun Lee and others (2026)
Separation Logic for Memory Conflict Detection in High-Level Synthesis
Yeonseok Lee (2026)
Finding Photonics Circuits via delta-Weakening SMT
Marco Lewis and others (2026) · Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer Nature Switzerland
Arisca: A Parameterized Symbolic Algebra Framework for Arithmetic Circuit Verification
Kezhi Li and others (2026)
Artificial Intelligence and Digital Surveillance During Armed Conflict
Asaf Lubin (2026) · International Law and Artificial Intelligence in Armed Conflict: The AI-Cyber Interplay · Oxford University Press
Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse
Hongqin Lyu and others (2026)
Clock tree synthesis in modern VLSI: From foundational algorithms to AI-driven optimization
Manikandan B and others (2026) · Integration, the VLSI Journal · Elsevier
Edge Detection on a 2D-Mesh NoC with Systolic Arrays: From FPGA Validation to GDSII Proof-of-Concept
E. Mascorro-Guardado and others (2026) · MDPI AG
Compiling Countermeasures Against Fault Attacks with Tracing LLVM
Sébastien Michelland and others (2026) · Workshop on Principles of Secure Compilation (PriSC’26)
Quantifying Programs' Robustness Against Multi-Fault Control-Flow Attacks by Static Analysis
Sébastien Michelland and others (2026) · IEEE 37th International Symposium on Software Reliability Engineering (ISSRE 2026)
The Planetary Experiment: A History and Theory of Science at Scale
Robert Mitchell and others (2026) · Critical Inquiry · University of Chicago Press
Openbaar jaarverslag 2025 Militaire Inlichtingen- en Veiligheidsdienst
Militaire Inlichtingen- en Veiligheidsdienst (2026) · Ministerie van Defensie
SoK: ARCUS: On the Efficiency and Efficacy of Hardware Fuzzing
Alenkruth Krishnan Murali and others (2026)
The Geopolitics of Compute in the Aftermath of the AI Diffusion Framework
Dennis Murphy (2026) · Journal of Cyber Policy · Taylor & Francis
Why Iran Targeted Amazon Data Centers and What That Does – and Doesn't – Change About Warfare
Dennis Murphy (2026) · Georgia Institute of Technology
SPARC: Automated Root-Cause Analysis of Pre-Silicon Power Side-Channel Leakage
Andrija Nešković and others (2026) · IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2026)
DoW Microelectronics: Application Specific Integrated Circuit Level of Assurance 1 Best Practices
National Security Agency (2026) · National Security Agency · National Security Agency
DoW Microelectronics: Application Specific Integrated Circuit Best Practices -- Threat Catalog
National Security Agency (2026) · National Security Agency · National Security Agency
How LoRa (ExpressLRS) Drone Receivers Work
OpenDrone (2026) · video
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs
Oussama Oulkaid and others (2026) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
Thibaut Pérami and others (2026) · Proceedings of the ACM on Programming Languages
Automating Bitvector and Finite Field Equivalence Proofs in Lean
Elizaveta Pertseva and others (2026)
Development of System to Increase Communication Distance between Drone and Operator
Vakarius Preimantas (2026)
From GDSII to Wafer: EDA Design Flow and Data Conversion for Wafer-Scale Manufacturing of Superconducting Quantum Chips
Ling Qiao and others (2026)
Architecture: The QNX Hypervisor
QNX Software Systems (2026)
Evaluation of the Russian Air Force's Actions in the War in Ukraine
Adam Radomyski and others (2026) · Polish Political Science Yearbook · Wydawnictwo Adam Marszałek
From The Protocols to Pizzagate (and Beyond...): Conspiracy Theories and Disinformation in US History
Kasper Grotle Rasmussen (2026) · Disinformation · Springer Nature Switzerland
Complete SEU Vulnerable Register Enumeration using Property Directed Reachability
Félix Ridoux and others (2026)
Weaponising AI: The New Cyber Attack Surface
Rafal Rohozinski and others (2026) · Survival
Controller-Datapath Aware Verification of Masked Hardware Generated via High-Level Synthesis
Nilotpola Sarma and others (2026)
ObfAx: Obfuscation and IP Piracy Detection in Approximate Circuits
Lukas Sekanina and others (2026) · Proceedings of the Great Lakes Symposium on VLSI 2026 (GLSVLSI 2026)
Certified Sequential Sweep Without Unrolling
Tobias Seufert and others (2026)
Escaping the Quicksand: A Call to Arms
Peter Sewell and others (2026)
Proving Circuit Functional Equivalence in Zero Knowledge
Sirui Shen and others (2026) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · Association for Computing Machinery
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI
Shixin Song and others (2026)
Experimental Verification of Fast Voltage Droop Correction Circuits
Shreyas Srinivas and others (2026)
takoFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
Pranav Srinivasan and others (2026)
SecIC3: Customizing IC3 for Hardware Security Verification
Qinhan Tan and others (2026) · Design, Automation and Test in Europe (DATE 2026)
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
Izumi Tanaka and others (2026) · Proceedings of the 35th European Symposium on Programming (ESOP 2026)
Ontology Poisoning in Military AI Fusion Systems: Attack Vectors Against Palantir-Class Architectures
Naveen Telasang (2026) · SSRN Electronic Journal · RELX Group (Netherlands)
RENESIS: Energy-Aware Synthesis of Adiabatic Logic from Irreversible Netlists
Mitchell A. Thornton (2026)
A Version Space Approach for Digital Circuit Analysis
Mitchell A. Thornton (2026)
Air Force Doctrine Publication 3-12, Cyberspace Operations
Department of the Air Force (2026) · Department of the Air Force
Web3 Research Trends
Vedang Ratan Vatsa (2026) · SSRN
A Formally Verified Procedure for Width Inference in FIRRTL
Keyin Wang and others (2026)
When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification
Kun Wang and others (2026)
Expanding Capabilities to Combat Transnational Cyber-Enabled Crime
The White House (2026)
Bilattice-Catastrophe Isomorphism for Four-Valued Logic in Digital Systems
Jiu Hui Wu and others (2026)
GoldenFuzz: Generative Golden Reference Hardware Fuzzing
Lichao Wu and others (2026) · Network and Distributed System Security Symposium (NDSS 2026)
Formally Verified Synthesizable Floating-Point Data Types in ARCH HDL
Shuqing Zhao (2026)
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
Xiaofeng Zhou and others (2026) · 2026 IEEE 34th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) · IEEE
EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
Jiaying Zhu and others (2026)
Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking
Jiaying Zhu and others (2026)