2025 · dr. heap references

Hardware Design and Verification with Large Language Models: A Scoping Review, Challenges, and Open Issues

Meisam Abdollahi and others (2025) · Electronics · Multidisciplinary Digital Publishing Institute

Cyber-Attacks on Energy Infrastructure---A Literature Overview and Perspectives on the Current Situation

Doney Abraham and others (2025) · Applied Sciences · MDPI

Palantir's Relentless Rise

Saffeya Ahmed and others (2025)

Towards LLM-Assisted HDL Generation and Verification

R. Al Amin and others (2025) · IEEE

Menace-I Brings Petabyte-Scale Processing to the Warfighter at the Tactical Edge

Anduril Industries (2025) · Anduril Industries

Resilient Dependencies: Preparing to Fight Through Cyber Disruption

Maria B. Barrett (2025) · The Cyber Defense Review

High Performance and PVT Variation Tolerant Design for a Ternary Multiplier Using GNRFET Technology

Shaik Javid Basha and others (2025) · Circuits, Systems, and Signal Processing · Springer

Comprehensive RTL-to-GDSII Workflow for Custom Embedded FPGA Architectures Using Open-Source Tools

Emilio Isaac Baungarten-Leon and others (2025) · Electronics · Multidisciplinary Digital Publishing Institute

Health Trust and Ambulance Service say phonelines unaffected by 5G mast fire

BBC News (2025)

Global BGP Attacks that Evade Route Monitoring

Henry Birge-Lee and others (2025) · International Conference on Passive and Active Network Measurement · Springer

Footprint Logic for Object-Oriented Components (extended paper)

Frank S. de Boer and others (2025) · Formal Aspects of Computing · Association for Computing Machinery

Making Concurrent Hardware Verification Sequential

Thomas Bourgeat and others (2025) · Proceedings of the ACM on Programming Languages

Commentary: AI psychosis is not a new threat: Lessons from media-induced delusions

Per Carlbring and others (2025) · Internet Interventions

Revamping Verilog Semantics for Foundational Verification

Joonwon Choi and others (2025) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Rage Against the Muskine: Digital Luddism as Collective Action to Democratise Tech

Raffaele Ciriello and others (2025) · Americas Conference on Information Systems (AMCIS 2025), Montreal, Canada

Integrated Circuit Design: Tape-Out Process with Open-Source Tools

Susana Ortega Cisneros and others (2025) · Springer Nature Switzerland

Fear of the Future: Causal Layered Analysis and Narrative Foresight Versus Conspiracy Theories

Thomas F. Connolly (2025) · World Futures · Informa UK Limited

Introduction to MOSFETs (25-Transistors)

Aaron Danner (2025) · YouTube · video

Widening the Aperture: A Global Perspective on Cyber Resilience of Critical Infrastructure

Patrick J. Davis (2025) · The Cyber Defense Review

Quantum Key Distribution Networks -- Key Management: A Survey

Emir Dervisevic and others (2025) · ACM Computing Surveys

ElasticMiter: Formally Verified Dataflow Circuit Rewrites

Ayatallah Elakhras and others (2025) · ACM

VTR 9: Open-Source CAD for Fabric and Beyond FPGA Architecture Exploration

M.A. Elgammal and others (2025) · Association for Computing Machinery (ACM)

Winning the Race: America's AI Action Plan

Executive Office of the President of the United States (2025)

Cloud Sovereignty Framework

Directorate-General for Digital Services European Commission (2025) · European Commission

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Bruno Ferres and others (2025) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery (ACM)

Holistic Bowtie Model of AI-Based Technology in Defense Systems: How to Think, Explore, and Implement Efficient and Meaningful Chains of Abilities, Control, Responsibility, and Accountability Between Humans, AI, Organization, and the Environment?

Frank Ole Flemisch and others (2025) · Artificial Intelligence in Military Technology · Springer Nature Switzerland

GateMate: A European 28nm FPGA with an Open-Source Toolchain and Radiation Qualification Results

FPGA Developers' Forum (2025) · YouTube · video

Guiding cybersecurity compliance: An ontology for the NIS 2 directive

Castiglione, G. and others (2025) · Elsevier BV

Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts

Gideon Geier and others (2025)

A Novel Interactive-Guided Differential Testing Approach for FPGA Simulation Debugger Tools

Shikai Guo and others (2025)

Fighting Through Disruption

Karen Guttieri (2025) · The Cyber Defense Review

FVM: A Formal Verification Methodology for VHDL Designs

Hipólito Guzmán-Miranda and others (2025) · IEEE Open Journal of the Computer Society · Institute of Electrical and Electronics Engineers (IEEE)

The geo-politics of resilience: On the historical convergence between ecology, artificial intelligence, and corporate strategy

Orit Halpern (2025) · SAGE Publications

Hardening the Service Provider Network

Reijo Ikonen (2025)

Special Session Paper: Application of Functional Verification Techniques in Hardware Trust

Mohammad Reza Heidari Iman and others (2025) · 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT 2025)

heRVé: towards a formally verified RISC-V processor with security mechanisms

Cyprien Jules and others (2025)

An Internet-Scale Data-Driven Approach for Exploring Cyber Threats Amid Global Conflicts

Joseph Khoury and others (2025) · IEEE Internet of Things Magazine · Institute of Electrical and Electronics Engineers

A Study on the Concept of Cyber Cognitive Warfare and Case Study Methodology From a Psychological Perspective

Kibeom Kim and others (2025) · European Conference on Cyber Warfare and Security · Academic Conferences International Limited

InDepth: A Distributed Data Collection System for Modern Computer Networks

Angel Kodituwakku and others (2025) · Electronics · MDPI

Reporting fraud victimization to the police: factors that affect whether victims report

L. Koning and others (2025) · Informa UK Limited

Weapons of Mass Disruption: How Small States Use Cyber to Resist Larger Powers

Russell Alexander Korb (2025) · Old Dominion University

Military and security dimensions of quantum technologies

Michal Krelina (2025) · Stockholm International Peace Research Institute · Stockholm International Peace Research Institute

Enhancing Satellite Link Security Against Drone Eavesdropping Through Cooperative Communication

Rajnish Kumar and others (2025) · International Journal of Satellite Communications and Networking

RV32I in ACL2

Carl Kwan (2025) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association

Between Red Buttons and Red Lines: Assessing Mutual Assured Destruction and NATO-Russia Nuclear Dynamics

Ada Aquino Latrubesse (2025) · Pontifícia Universidade Católica de Goiás

A Mechanized Semantics for Dataflow Circuits

Tony Law and others (2025) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)

A Mechanized Semantics for Dataflow Circuits − Artifact

Tony Law and others (2025) · Zenodo

Beyond the Fence Line: Operationalizing Civil-Military Cyber Coordination at U.S. Military Installations

Michaela Lee (2025) · The Cyber Defense Review

Ternary Toward Binary: Circuit-Level Implementation of Ternary Logic Using Depletion-Mode and Conventional MOSFETs

Hyundong Lee and others (2025) · IEEE Access · Institute of Electrical and Electronics Engineers (IEEE)

Low Earth Orbit Satellites: Policies to Promote Spectrum Sharing, Foster Competition, and Close Digital Divides

LEO Policy Working Group (2025) · New America and International Center for Law and Economics · New America and International Center for Law and Economics

The Simulation Semantics of Synthesisable Verilog

Andreas Lööw (2025) · Proceedings of the ACM on Programming Languages

Carbon footprint of cloud, edge, and Internet of Edges

Pauline Loygue and others (2025) · Annals of Telecommunications

Bridging the Gap between Hardware Fuzzing and Industrial Verification

Ruiyang Ma and others (2025) · Proceedings of the Great Lakes Symposium on VLSI 2025 (GLSVLSI 2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books

Mayank Manjrekar (2025) · Proceedings of the 19th International Workshop on the ACL2 Theorem Prover and Its Applications

How Tech Trials Put Society to the Test

Noortje Marres (2025) · Theory, Culture & Society · SAGE Publications

Double-Extortion Ransomware: A Study of Cybercriminal Profit, Effort, and Risk

Tom Meurs (2025) · University of Twente

NAS ransomware: ransomware targeting NAS devices

T. Meurs and others (2025) · Informa UK Limited

Compilation beyond semantics for hardware security

Sébastien Michelland (2025)

Formal that Floats High: Formal Verification of Floating Point Arithmetic

Hansa Mohanty and others (2025) · 37th IEEE International Conference on Microelectronics (ICM 2025)

Accelerating Cell-Aware Model Generation for Sequential Cells using Graph Theory

G. Mongelli and others (2025) · IEEE

AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs

Vojtech Mrazek and others (2025) · 2025 IEEE International Symposium on Circuits and Systems (ISCAS)

The Fourth Industrial Revolution and International Security

Dennis Murphy and others (2025) · Survival · Informa UK Limited

Semiconductor Manufacturing Industry: Assessment, Challenges, and Future Trends

Y. Musa and others (2025) · IEEE

Abstracting the Classic Five-Stage Pipeline

Matthew Naylor (2025) · University of Cambridge

Ripe database documentation: Getting started

RIPE NCC (2025) · Technical Report RIPE-679

Technology Considerations: SCION

National Cyber Security Centre (2025) · National Cyber Security Centre (NCSC), Federal Department of Defence, Civil Protection and Sport, Switzerland

A Brief Introduction to Low Earth Orbit (LEO) Satellites

LEO Policy Working Group (2025) · Low Earth Orbit Satellites: Policies to Promote Spectrum Sharing, Foster Competition, and Close Digital Divides · New America

Towards the Integration of Cyber Security and Enterprise Architecture to Improve Cyber Risk Management

Nick Nieuwenhuis (2025) · HU University of Applied Sciences

Countering Chinese State-Sponsored Actors Compromise of Networks Worldwide to Feed Global Espionage System

National Security Agency (2025) · National Security Agency

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

Oleksii Oleksenko and others (2025)

Formal Models of Integrated Circuits for Transistor Level Electrical Verification

Oussama Oulkaid (2025)

Formally Verified Hardening of C Programs against Hardware Fault Injection

Basile Pesin and others (2025) · 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2025)

An Introduction to String Diagrams for Computer Scientists

Robin Piedeleu and others (2025) · Cambridge University Press

Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor

Louis-Emile Ploix and others (2025)

Are LLMs Ready for Practical Adoption for Assertion Generation?

Vaishnavi Pulavarthi and others (2025) · 2025 Design, Automation and Test in Europe Conference (DATE) · IEEE

"America" as Conspiratorial Language: Americanization of Danish Conspiracy Theories in the Twenty-First Century

Kasper Grotle Rasmussen (2025) · Journal of Transnational American Studies · eScholarship Publishing, University of California

Exploiting the Lock: Leveraging MiG-V's Logic Locking for Secret-Data Extraction

Lennart M. Reimann and others (2025) · Philosophical Transactions of the Royal Society A

The Impact of Logic Locking on Confidentiality: An Automated Evaluation

Lennart M. Reimann and others (2025) · 2025 26th International Symposium on Quality Electronic Design (ISQED)

Minimum-cardinality global defensive alliances in general graphs

André Rossi and others (2025) · Annals of Operations Research · Springer Science and Business Media LLC

Military Computing Security: Insights and Implications

Kavita Sahu and others (2025) · Journal of The Institution of Engineers (India): Series B

Logic Solver Guided Directed Fuzzing for Hardware Designs

Raghul Saravanan and others (2025)

SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs

Raghul Saravanan and others (2025)

Unexpected Routes: BGP Prefixes Beyond Recommended Practices

Khwaja Zubair Sediqi (2025)

Nondeterministic Asynchronous Dataflow in Isabelle/HOL

Rafael Castro Gonçalves Silva and others (2025) · 16th International Conference on Interactive Theorem Proving (ITP 2025) (Leibniz International Proceedings in Informatics (Lipics)

Arm systems semantics

Ben Simner (2025)

Precise exceptions in relaxed architectures

Ben Simner and others (2025) · ACM

Borders on the internet? The RIPE debate about the internet in the wake of the war in Ukraine

Sezgin Soenmez and others (2025) · Spatial Conflicts and Conflictual Spaces · Routledge

Pattern recognition in complex systems via vector-field representations of spatio-temporal data

Ingrid Amaranta Membrillo Solis and others (2025) · arXiv

Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz

Flavien Solt and others (2025) · 34th USENIX Security Symposium (USENIX Security 25) · USENIX Association

Latch Based Design for Fast Voltage Droop Response

Shreyas Srinivas and others (2025)

BGP Vortex: Update Message Floods Can Create Internet Instabilities

Felix Stöger and others (2025) · 34th USENIX Security Symposium (USENIX Security 25) · USENIX Association

Palantir Lands $10 Billion Army Software and Data Contract

Samantha Subin (2025)

Formalising CXL Cache Coherence

Chengsong Tan and others (2025) · Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025)

RTL Verification for Secure Speculation Using Contract Shadow Logic

Qinhan Tan and others (2025) · Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), Volume 1

Accelerating Transistor-Level Simulation of Integrated Circuits via Equivalence of RC Long-Chain Structures

Tang, Ruibai and others (2025) · arXiv

Survey of RISC-V Pipelines and Testers

Bryan Tovar and others (2025) · 2025 IEEE 15th Annual Computing and Communication Workshop and Conference (CCWC) · IEEE

Ensuring a National Policy Framework for Artificial Intelligence

Donald J. Trump (2025)

GateMate FPGA: A European 28nm FPGA with an Open-Source Toolchain and Radiation Qualification Results

Patrick Urban (2025) · Cologne Chip AG

Digital Transformations of Ukraine's Cybersecurity System in Wartime

Tetiana Vasylieva and others (2025) · The Academic Research and Publishing UG

Ab-initio Quantum Transport with the GW Approximation, 42,240 Atoms, and Sustained Exascale Performance

Nicolas Vetsch and others (2025) · Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC '25) · Association for Computing Machinery

Bottom-Up Generation of Verilog Designs for Testing EDA Tools

João Victor Amorim Vieira and others (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)

Nick Waddoups and others (2025) · Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)

BlueVeri: Formal Security Verification for Bluespec Processor Designs

Shih-Yu Wang (2025)

Free-space terabit/s coherent optical links via platicon frequency microcombs

Wenting Wang and others (2025) · eLight · Springer Science and Business Media LLC

Mapping the terrain of social media misinformation: A scientometric exploration of global research

Jian Wang and others (2025) · Acta Psychologica · Elsevier BV

A wireless terahertz cryogenic interconnect that minimizes heat-to-information transfer

Jinchen Wang and others (2025) · Nature Electronics · Springer

Artificial intelligence and numerical weather prediction models: A technical survey

Muhammad Waqas and others (2025) · Elsevier BV

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation

A. Wei and others (2025) · arXiv

Rising Cognitive Disability as a Public Health Concern Among US Adults: Trends From the Behavioral Risk Factor Surveillance System, 2013–2023

Ka-Ho Wong and others (2025) · Neurology

The Open-Source BlackParrot-BedRock Cache Coherence System

Mark Unruh Wyse (2025)

Survey of propagation strategy in taint analysis

Bing Xia and others (2025) · Proceedings of the 2025 4th International Conference on Big Data, Information and Computer Network · ACM

Terabits without fibres

Zhenyu Xie and others (2025) · Light: Science & Applications · Springer

DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing

Jinyan Xu and others (2025) · Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), Volume 3

Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers

Zhihao Xu and others (2025)

Programmable on-chip nonlinear photonics

Ryotatsu Yanagimoto and others (2025) · Nature · Nature Portfolio

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping

Ziyi Yang and others (2025)

Programmable Photonic Waveguide Array Quantum Processors

Yang Yang (2025)

Programmable quantum circuits in a large-scale photonic waveguide array

Yang Yang and others (2025) · npj Quantum Information · Springer Science and Business Media LLC

BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation

Jiaqi Yin and others (2025) · 2025 62nd ACM/IEEE Design Automation Conference (DAC) · IEEE