This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
lectures
Something being written that these references are for: a paper, a thesis, a course.
What lectures cites.
68 references
NATO CCDCOE Training Catalogue, 2026
NATO Cooperative Cyber Defence Centre of Excellence (2026) · NATO Cooperative Cyber Defence Centre of Excellence
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
Why Iran Targeted Amazon Data Centers and What That Does – and Doesn't – Change About Warfare
Dennis Murphy (2026) · Georgia Institute of Technology
Global BGP Attacks that Evade Route Monitoring
Henry Birge-Lee and others (2025) · International Conference on Passive and Active Network Measurement · Springer
Weapons of Mass Disruption: How Small States Use Cyber to Resist Larger Powers
Russell Alexander Korb (2025) · Old Dominion University
Countering Chinese State-Sponsored Actors Compromise of Networks Worldwide to Feed Global Espionage System
National Security Agency (2025) · National Security Agency
BGP Vortex: Update Message Floods Can Create Internet Instabilities
Felix Stöger and others (2025) · 34th USENIX Security Symposium (USENIX Security 25) · USENIX Association
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
When trust fails: Examining systemic risk in the digital economy from the 2024 crowdstrike outage
A. Shaji George (2024) · Partners Universal Multidisciplinary Research Journal
On the capacity of optical backbone networks
João J. O. Pires (2024) · Network
Roadmapping the next generation of silicon photonics
Sudip Shekhar and others (2024) · Nature Communications
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro and others (2024) · International Conference on Passive and Active Network Measurement · Springer
The future transistors
Wei Cao and others (2023) · Nature
Précis of Making Sense of Number, Bit-by-Bit
Samuel J. Cheyette (2023)
Verified Paging for x86-64 in Rust
Matthias Brun (2022) · ETH Zurich
A Historical Twist on Long-Range Wireless: Building a 103 km Multi-Hop Network Replicating Claude Chappe's Telegraph
Mina Rady and others (2022) · Sensors · MDPI AG
Making Sense of Number, Bit-by-Bit
Samuel J. Cheyette (2021)
Cyber Ranges and TestBeds for Education, Training, and Research
Nestoras Chouliaras and others (2021) · Applied Sciences · MDPI AG
Solar superstorms: planning for an internet apocalypse
Sangeetha Abdu Jyothi (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference
Principles of Photonic Integrated Circuits: Materials, Device Physics, Guided Wave Design
Richard Osgood Jr and others (2021) · Springer
Texas Man Sentenced to 10 Years for Plotting to Attack Data Centers
United States Attorney's Office, Northern District of Texas (2021) · United States Department of Justice · United States Department of Justice
Maginot Lines and Tourniquets: On the Defendability of National Cyberspace
Devashish Gosain and others (2020) · 2020 IEEE 45th LCN Symposium on Emerging Topics in Networking (LCN Symposium)
Comprehensive Cyber Arena; The Next Generation Cyber Range
Mika Karjalainen and others (2020) · 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · IEEE
The future of computing beyond Moore's Law
John Shalf (2020) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
On the hourglass model
Micah Beck (2019) · Communications of the ACM
New opportunities for integrated formal methods
Mario Gleirscher and others (2019) · ACM Computing Surveys (CSUR)
Messaging Before the Internet—Early Electrical Telegraphs [Historical]
Massimo Guarnieri (2019) · IEEE Industrial Electronics Magazine · IEEE
The elusive internet flattening: 10 years of IXP growth
Timm Böttger and others (2018) · arXiv
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung and others (2018) · Journal of Functional Programming · Cambridge University Press
Adapting Kerckhoffs's Principle: CPU Attacks Leading a Path from Cryptography to Open-Source Hardware
Thorsten Knoll (2018) · Fourth Wiesbaden Workshop on Advanced Microkernel Operating Systems (WAMOS 2018) · RheinMain University of Applied Sciences
Internet eXchange points: current challenges and new opportunities
Roberto di Lallo (2018) · Roma Tre University
The End of Moore’s Law: A New Beginning for Information Technology
Thomas N. Theis and others (2017) · Computing in Science & Engineering
An Industrial-Scale Software Defined Internet Exchange Point
Arpit Gupta and others (2016) · 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16) · USENIX Association
A survey of security in software defined networks
Sandra Scott-Hayward and others (2016) · IEEE Communications Surveys & Tutorials · IEEE
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2016) · Perspectives on Science · MIT Press
On the military geography of cyberspace
Tim Grant (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare Secur
Cyber Warfare: Building the Scientific Foundation
Sushil Jajodia and others (2015) · Springer
Identifying and Exploiting the Cyber High Ground for Botnets
Patrick W. Sweeney and others (2015) · Advances in information security · Springer Nature
Hardware Trojan attacks: Threat analysis and countermeasures
Swarup Bhunia and others (2014) · Proceedings of the IEEE
Why is it taking so long to secure internet routing?
Sharon Goldberg (2014) · Communications of the ACM · Association for Computing Machinery
Key terrain in cyberspace: Seeking the high ground
David Raymond and others (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014) · IEEE
The CIA Strikes Back: Redefining Confidentiality, Integrity and Availability in Security
Spyridon Samonas and others (2014) · Journal of Information System Security
Awaiting Cyber 9/11
Clifford S. Magee (2013) · Joint Force Quarterly · National Defense University Press
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association
Ternary Computers: The Setun and the Setun 70
Nikolay Petrovich Brusentsov and others (2011) · Perspectives on Soviet and Russian Computing · Springer Berlin Heidelberg
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote and others (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM) · IEEE
VLSI Physical Design: From Graph Partitioning to Timing Closure
Andrew B. Kahng and others (2011) · Springer
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010) · Technical University of Denmark
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard and others (2010) · Proceedings of the 17th ACM conference on Computer and communications security
Internet Optometry: Assessing the Broken Glasses in Internet Reachability
Randy Bush and others (2009) · Proceedings of the 9th ACM SIGCOMM conference on Internet measurement · ACM
A semantics for concurrent separation logic
Stephen Brookes (2007) · Theoretical Computer Science · Elsevier
The Internet Under Crisis Conditions: Learning from September 11
National Research Council (2003) · The National Academies Press
Growth of the Internet
Kerry G. Coffman and others (2002) · Optical Fiber Telecommunications IVB: Systems and Impairments · Academic Press
VLSI architecture: Past, present, and future
William J. Dally and others (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI · IEEE
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center
Stalking the elusive computer bug
Peggy Aldrich Kidwell (1998) · IEEE Annals of the History of Computing
Formal Methods and the Certification of Critical Systems
John Rushby (1993) · SRI International, Computer Science Laboratory
Combining angels, demons and miracles in program specifications
R.J.R. Back and others (1992) · Theoretical Computer Science · Elsevier
The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Reliability Issues in Computing System Design
B. Randell and others (1978) · ACM Computing Surveys · Association for Computing Machinery
A deeper look at data
Ned Chapin (1968) · Proceedings of the 1968 23rd ACM National Conference · Association for Computing Machinery
Another look at data
George H. Mealy (1967) · Proceedings of the November 14-16, 1967, Fall Joint Computer Conference · Association for Computing Machinery
On Distributed Communications: I. Introduction to Distributed Communications Networks
Paul Baran (1964) · The RAND Corporation
SAGE — A Data-Processing System for Air Defense
R. R. Everett and others (1957) · Papers and Discussions Presented at the Eastern Joint Computer Conference
A Mathematical Theory of Communication
Claude E. Shannon (1948) · Bell System Technical Journal · IEEE
First draft of a report on the EDVAC
John von Neumann (1945) · Moore School of Electrical Engineering, University of Pennsylvania
Fact and Fable in Psychology
Joseph Jastrow (1901) · Macmillan and Co., Ltd.