2024
45 references published this year.
Why Wafer Bonding is the Future of Semiconductors
Asianometry (2024) · YouTube · video
Computational lithography: Driving nanometer precision in microchip manufacturing
ASML (2024) · YouTube · video
Digital domination: Social media and contestatory democracy
Ugur Aytac (2024) · Political Studies
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Design and Evaluation of Advanced Persistent Threat Scenarios for Cyber Ranges
Tore Bierwirth and others (2024) · IEEE Access · Institute of Electrical and Electronics Engineers
Misinformation, disinformation, and fake news: lessons from an interdisciplinary, systematic literature review
Elena Broda and others (2024) · Annals of the International Communication Association · Oxford University Press (OUP)
Does Every Computer Scientist Need to Know Formal Methods?
Manfred Broy and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
PRC State-Sponsored Actors Compromise and Maintain Persistent Access to U.S. Critical Infrastructure
Cybersecurity and Infrastructure Security Agency and others (2024) · Cybersecurity and Infrastructure Security Agency
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai and others (2024) · Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
Protection of Mission Critical Functions to Achieve Trusted Systems and Networks
Office of the Under Secretary of Defense for Research and Engineering and others (2024) · United States Department of Defense · United States Department of Defense
A Logarithmic Decomposition and a Signed Measure Space for Entropy
Keenan J. A. Down and others (2024) · arXiv
Hybrid threats as a threat to democracy: Soft and smart tactics and three dimensions of democracy
Tanja Ellingsen (2024) · Preparing for Hybrid Threats to Security · Routledge
Red-teaming for generative AI: Silver bullet or security theater?
Michael Feffer and others (2024) · Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society
When trust fails: Examining systemic risk in the digital economy from the 2024 crowdstrike outage
A. Shaji George (2024) · Partners Universal Multidisciplinary Research Journal
"The Third University of Cambridge": BBN and the Development of the ARPAnet
Good Science Project (2024) · Good Science Project
A New Operational Paradigm for IPoDWDM Networks
Steven J. Hand and others (2024) · IEEE Access · Institute of Electrical and Electronics Engineers
New Foundations for Separation Logic (Coq artifact)
Hans-Dieter Hiep (2024) · Zenodo
New Foundations for Separation Logic
Hans-Dieter A. Hiep (2024)
Analysis of Attack Methods with Artificial Intelligence
Dieter Holstein (2024) · Esslingen University
Draft Report of the Internet of Things Advisory Board
Internet of Things Advisory Board (2024) · National Institute of Standards and Technology
Threats to Critical Infrastructure: A Survey
Bridget R. Kane and others (2024) · RAND Corporation · RAND Corporation
Fifth Generation Warfare: Dominating the Human Domain
Armin Krishnan (2024) · Routledge
Low-Earth orbit satellite constellations for global communication network connectivity
Eva Lagunas and others (2024) · Nature Reviews Electrical Engineering
Brandon's Semiconductor Simulator
Brandon Li (2024)
Mathematics: Signification and Significance
Clare Marie Moriarty (2024) · Berkeley's Doctrine of Signs · De Gruyter
Quantum Key Distribution with Post-Processing Driven by Physical Unclonable Functions
Georgios M. Nikolopoulos and others (2024) · Applied Sciences · MDPI AG
DoD Microelectronics: Field Programmable Gate Array Level of Assurance 1 Best Practices
National Security Agency (2024) · National Security Agency · National Security Agency
Into the Gray Zone: NATO Deterrence in a Graying and Multipolar World
Mark Benjamin Olmstead (2024) · Università degli Studi di Padova
Survey of IP-based air-to-ground data link communication technologies
Sergun Özmen and others (2024) · Journal of Air Transport Management
Terabit Networks Become Reality
Unattributed (2024) · Photonics Media
On the capacity of optical backbone networks
João J. O. Pires (2024) · Network
Doping: The Most Important Part of Making Semiconductors
ProjectsInFlight (2024) · YouTube · video
The Actual Reason Semiconductors Are Different From Conductors and Insulators
Projects in Flight (2024) · video
Open Source Analog ASIC Design: Entire Process
Psychogenic Technologies (2024) · YouTube · video
Advancing Quantum Computing with Formal Methods
Arend-Jan Quist and others (2024)
The Tech Coup: How to Save Democracy from Silicon Valley
Marietje Schaake (2024) · Princeton University Press
Roadmapping the next generation of silicon photonics
Sudip Shekhar and others (2024) · Nature Communications
Speedrunning 30yrs of lithography technology
Breaking Taps (2024) · YouTube · video
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro and others (2024) · International Conference on Passive and Active Network Measurement · Springer
Analysis and Formal Specification of OpenJDK's BitSet
Andy S. Tatman and others (2024) · Integrated Formal Methods · Springer
Where is My Route? Enabling Source Routing in LEO Satellite Networks
Satvik Vemuganti and others (2024) · 2024 IEEE 99th Vehicular Technology Conference (VTC2024-Spring) · IEEE
SURF and Nomios collaboration for a more flexible and innovative network
Migiel de Vos (2024) · SURF
Thermal Image Tracking for Search and Rescue Missions with a Drone
Seokwon Yeom (2024) · Drones
Cheaper Precision Weapons: An Exploratory Study about the HESA Shahed 136
Daniel Zampronha and others (2024) · Advances in Aerospace Science and Technology · Scientific Research Publishing, Inc.
Energy-efficient computing at cryogenic temperatures
Cezar Zota and others (2024) · Nature Electronics · Nature Portfolio