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.

The copy is not the work

A subject the papers are about. The loosest grouping, and the one to reach for last.

Records whose held file is a different document from the work described: an arXiv preprint, a technical report, a manuscript, a reprint typesetting, a fragment standing in for the published version -- or, the other way about, a whole bound issue or proceedings standing in for one paper inside it. The record is right in each case and the file is not, so nothing here should be paginated or quoted as the published text.

At 141 records this is the corpus's largest set and it is a defect register rather than a subject. What it is for is to stop the same file being trusted twice.

The kinds, which want different remedies:

*Wrong version.* The bulk of it. A preprint, extended version, technical report or manuscript standing in for the version of record. Harmless to read, wrong to cite, and the page numbers will not match.

*The volume, not the item.* A bound issue or proceedings where one paper was wanted. These are the ones the queue surfaces on its own, under 'the copy is the volume, not the work' -- currently fifteen, not the six this description used to name; the number moves as copies arrive and the old figure was not revised with it. hartley1928transmission is the clearest case, 29 declared pages against a 267-page file.

*Truncation.* The file stops before the work does.

*A text layer that is dead, or worse, lying.* Some scans extract nothing. A smaller and more dangerous group extracts fluent prose that is not what the page says -- characters dropped from line ends, or a substitution cipher in the embedded font. Those produce quotable, plausible, wrong text, and they cannot be caught by reading the extraction alone.

How the categories were found, since the methods transfer. Page count against the record's declared range catches the volume cases. Tokens per page separates a healthy text layer from a dead one; a dictionary hit rate against a word list catches the lying ones, which score far below the 0.87 or so that honest English extraction gives. Page aspect ratio near 16:9 identifies a slide deck filed as a paper. None of this requires reading the document, which is why it scales, and all of it requires opening the file, which is why no catalogue supplies it.

142 references

Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
Mathé Hertogh and others (2026) · 2026 IEEE Symposium on Security and Privacy (SP) · IEEE
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
Global BGP Attacks that Evade Route Monitoring
Henry Birge-Lee and others (2025) · International Conference on Passive and Active Network Measurement · Springer
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
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
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
Does Every Computer Scientist Need to Know Formal Methods?
Manfred Broy and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
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
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
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro and others (2024) · International Conference on Passive and Active Network Measurement · Springer
Russian-Ukraine armed conflict: Lessons learned on the digital ecosystem
Itzhak Aviv and others (2023) · International Journal of Critical Infrastructure Protection · Elsevier BV
A Survey and Analysis of TLS Interception Mechanisms and Motivations: Exploring how end-to-end TLS is made "end-to-me" for web traffic
Xavier de Carné de Carnavalet and others (2023) · ACM Computing Surveys
Technological Prospection and Requirements of 800G Transmission Systems for Ultra-long-haul All-optical Terrestrial Backbone Networks
Dechao Zhang and others (2023) · Journal of Lightwave Technology
How the theory of planned behaviour and flow theory contribute to the acceptance of 5G technology
Morteza Akbari and others (2022) · European J. of International Management · Inderscience Publishers
Leveraging Layout-based Effects for Locking Analog ICs
Muayad J. Aljafar and others (2022) · Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security (ASHES '22) · Association for Computing Machinery
SoK: Design Tools for Side-Channel-Aware Implementations
Ileana Buhan and others (2022) · Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security
Ambiguous Self-Induced Disinformation (ASID) Attacks: Weaponizing a Cognitive Deficiency
Matthew Canham and others (2022) · Journal of Information Warfare
Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Digital disintermediation, technical and national sovereignty: the Internet shutdown of Catalonia's 'independence referendum'
Víctor Sampedro and others (2022) · European Journal of Communication
Satellite-based communications security: A survey of threats, solutions, and research challenges
Pietro Tedeschi and others (2022) · Computer Networks · Elsevier BV
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović and others (2022) · International Journal on Software Tools for Technology Transfer
A systematic evaluation of large language models of code
Frank F. Xu and others (2022) · Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming · Association for Computing Machinery
Permission-based verification of red-black trees and their merging
Lukas Armborst and others (2021) · 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) · IEEE
Maintaining strategic ambiguity for protection: Struggles over opacity, equivocality, and absurdity around the Sicilian Mafia
Giulia Cappellaro and others (2021) · Academy of Management Journal
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering --- A White Paper ---
Antonio Cerone and others (2021) · Formal Methods -- Fun for Everybody · Springer International Publishing
What you need to know about (smart) network interface cards
Georgios P. Katsikas and others (2021) · International Conference on Passive and Active Network Measurement · Springer
Satellite Communications in the New Space Era: A Survey and Future Challenges
Oltjon Kodheli and others (2021) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers
A Composable Glitch-Aware Delay Model
Jürgen Maier and others (2021) · Proceedings of the Great Lakes Symposium on VLSI 2021 · Association for Computing Machinery
A probabilistic separation logic
Gilles Barthe and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
A unified account of numerosity perception
Samuel J. Cheyette and others (2020) · Nature Human Behaviour · Springer Science and Business Media LLC
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep and others (2020) · Integrated Formal Methods · Springer
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
Towards Deeply Scaled 3D MPSoCs with Integrated Flow Cell Array Technology
Halima Najibi and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Gödel's incompleteness theorems
Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
Area-Optimized UAV Swarm Network for Search and Rescue Operations
Laik Ruetten and others (2020) · 2020 10th Annual Computing and Communication Workshop and Conference (CCWC) · IEEE
A survey on advanced persistent threats: Techniques, solutions, challenges, and research opportunities
Adel Alshamrani and others (2019) · IEEE Communications Surveys & Tutorials
The transboundary crisis: Why we are unprepared and the road ahead
Arjen Boin (2019) · Journal of Contingencies and Crisis Management
A Survey on Recent Advances in Transport Layer Protocols
Michele Polese and others (2019) · IEEE Communications Surveys & Tutorials
Security assurance against cybercrime ransomware
Habib ur Rehman and others (2019) · International Conference on Intelligent Computing & Optimization (ICO) · Springer
A Survey on Malicious Domains Detection through DNS Data Analysis
Yury Zhauniarovich and others (2019) · ACM Computing Surveys
Backwards and Forwards with Separation Logic
Callum Bannister and others (2018) · 9th International Conference on Interactive Theorem Proving (ITP) · Springer
Rethinking IXPs' Architecture in the Age of SDN
Marc Bruyere and others (2018) · IEEE Journal on Selected Areas in Communications · Institute of Electrical and Electronics Engineers
Generals in cyberspace: Military insights for defending cyberspace
Peter Campbell (2018) · Orbis
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
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
The science of fake news
David M. J. Lazer and others (2018) · Science · American Association for the Advancement of Science (AAAS)
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston and others (2017) · Automated Deduction – CADE 26 · Springer
Bringing order to the separation logic jungle
Qinxiang Cao and others (2017) · 15th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
A mathematical framework to optimize critical infrastructure resilience against intentional attacks
Min Ouyang and others (2017) · Computer-Aided Civil and Infrastructure Engineering
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds and others (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder and others (2017) · Journal of Automated Reasoning · Springer
Optical Communication: Its History and Recent Progress
Govind P. Agrawal (2016) · Optics in Our Time · Springer
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Proof automation for functional correctness in separation logic
Ewen Maclean and others (2016) · Journal of Logic and Computation
Survey of inter-satellite communication for small satellite systems: Physical layer to network layer view
Radhika Radhakrishnan and others (2016) · IEEE Communications Surveys & Tutorials
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds and others (2016) · Automated Technology for Verification and Analysis · Springer
A survey of security in software defined networks
Sandra Scott-Hayward and others (2016) · IEEE Communications Surveys & Tutorials · IEEE
Being and Change: Reasoning About Invariance
Frank S. de Boer and others (2015) · Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Separation logics and modalities: a survey
Stéphane Demri and others (2015) · Journal of Applied Non-Classical Logics
On the military geography of cyberspace
Tim Grant (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare Secur
Software-Defined Networking: A Comprehensive Survey
Diego Kreutz and others (2015) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir and others (2015) · IEEE Communications Surveys & Tutorials · IEEE
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta and others (2014) · International Symposium on Formal Methods · Springer
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
Collaborating with the enemy on network management
Chris Hall and others (2014) · Security Protocols XXII · Springer
A proof system for separation logic with magic wand
Wonyeol Lee and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents · Oxford University Press
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski and others (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP) · Springer
Key terrain in cyberspace: Seeking the high ground
David Raymond and others (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014) · IEEE
The history of the internet: the missing narratives
Martin Campbell-Kelly and others (2013) · Journal of Information Technology · SAGE Publications
Application of Formal Methods in Development of Information Systems
Željko Dobrović and others (2013) · Central European Conference on Information and Intelligent Systems · Faculty of Organization and Informatics Varazdin
A Simple Separation Logic
Andreas Herzig (2013) · Logic, Language, Information, and Computation · Springer
The Tree Width of Separation Logic with Recursive Definitions
Radu Iosif and others (2013) · Automated Deduction – CADE-24 · Springer
Programming in the λ-Calculus: From Church to Scott and back
Jan Martin Jansen (2013) · The Beauty of Functional Code · Springer
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Cyber-physical systems
Radhakisan Baheti and others (2011) · The impact of control technology
Ternary Computers: The Setun and the Setun 70
Nikolay Petrovich Brusentsov and others (2011) · Perspectives on Soviet and Russian Computing · Springer Berlin Heidelberg
Algebraic separation logic
Han Hing Dang and others (2011) · The Journal of Logic and Algebraic Programming · Elsevier
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
Bart Jacobs and others (2011) · NASA Formal Methods · Springer
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic · Springer
Classical mathematics for a constructive world
Russell O'Connor (2011) · Mathematical Structures in Computer Science · Cambridge University Press
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer
A general framework for sound and complete Floyd-Hoare logics
Rob Arthan and others (2009) · ACM Transactions on Computational Logic · Association for Computing Machinery
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Rascal: A domain specific language for source code analysis and manipulation
Paul Klint and others (2009) · 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation · IEEE
The development of mathematical logic from Russell to Tarski, 1900-1935
Paolo Mancosu and others (2009) · The Development of Modern Logic · Oxford University Press
Formal pervasive verification of a paging mechanism
Eyad Alkassar and others (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Relational parametricity and separation logic
Lars Birkedal and others (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
Expressivity properties of Boolean BI through relational models
Didier Galmiche and others (2006) · 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer
A machine-checked model for a Java-like language, virtual machine, and compiler
Gerwin Klein and others (2006) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Verification condition generation via theorem proving
John Matthews and others (2006) · 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) · Springer
From separation logic to first-order logic
Cristiano Calcagno and others (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak and others (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings · Springer
A systems-theoretic approach to safety in software-intensive systems
Nancy G. Leveson (2004) · IEEE Transactions on Dependable and Secure Computing · IEEE
A structural approach to operational semantics
Gordon D. Plotkin (2004) · The Journal of Logic and Algebraic Programming · Elsevier
Growth of the Internet
Kerry G. Coffman and others (2002) · Optical Fiber Telecommunications IVB: Systems and Impairments · Academic Press
Multics security evaluation: vulnerability analysis
Paul A. Karger and others (2002) · 18th Annual Computer Security Applications Conference (ACSAC 2002)
Demonic, angelic and unbounded probabilistic choices in sequential programs
Annabelle McIver and others (2001) · Acta Informatica · Springer Science+Business Media
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
VLSI architecture: Past, present, and future
William J. Dally and others (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI · IEEE
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
Tapani Hyttinen and others (1999) · The Journal of Symbolic Logic
The logic of bunched implications
Peter W. O'Hearn and others (1999) · Bulletin of Symbolic Logic
Quantum Information Theory
Michael Aaron Nielsen (1998)
Java_light is type-safe—definitely
Tobias Nipkow and others (1998) · Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98) · Association for Computing Machinery
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
How did software get so reliable without proof?
C. A. R. Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME) · Springer
The 1968/69 NATO software engineering reports
Brian Randell (1996) · Position Papers for Dagstuhl Seminar 9635 on History of Software Engineering
Medical Devices: The Therac-25
Nancy G. Leveson (1995) · Safeware: System Safety and Computers · Addison-Wesley
An attack on the Needham-Schroeder public-key authentication protocol
Gavin Lowe (1995) · Information Processing Letters · Elsevier
Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium · IEEE
Program verification: Fundamental issues in computer science
Timothy R. Colburn and others (1993) · Springer
Notions of computation and monads
Eugenio Moggi (1991) · Information and Computation · Elsevier
A specifier's introduction to formal methods
Jeannette M. Wing (1990) · Computer · IEEE Computer Society
The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Congestion avoidance and control
Van Jacobson and others (1988) · Symposium proceedings on Communications architectures and protocols · Association for Computing Machinery
A Categorical Programming Language
Tatsuya Hagino (1987) · University of Edinburgh
The characterization problem for Hoare logics
Edmund M. Clarke Jr. (1984) · Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
Wafer-scale integration and two-level pipelined implementations of systolic arrays
H. T. Kung and others (1984) · Journal of Parallel and Distributed Computing
History of the Design of the SAGE Computer-The AN/FSQ-7
Morton M. Astrahan and others (1983) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Hints for computer system design
Butler Lampson (1983) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
The science of programming
David Gries (1981) · Springer
Distributed processes: a concurrent programming concept
Per Brinch Hansen (1978) · Communications of the ACM · Association for Computing Machinery
Reproducible testing of monitors
Per Brinch Hansen (1978) · Software: Practice and Experience · Wiley
The Evolution of Packet Switching
Lawrence G. Roberts (1978) · Proceedings of the IEEE
Semantical considerations on Floyd-Hoare logic
Vaughan R. Pratt (1976) · 17th Annual Symposium on Foundations of Computer Science · IEEE
Guarded commands, nondeterminacy and formal derivation of programs
Edsger W. Dijkstra (1975) · Communications of the ACM · Association for Computing Machinery
Towards a theory of type structure
John C. Reynolds (1974) · Programming Symposium · Springer
Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
Go to statement considered harmful
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery
The structure of the "THE"-multiprogramming system
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery
Cramming more components onto integrated circuits
Gordon E. Moore (1965) · Electronics
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
John McCarthy (1960) · Communications of the ACM · Association for Computing Machinery
A Mathematical Theory of Communication
Claude E. Shannon (1948) · Bell System Technical Journal · IEEE
Transmission of Information
R. V. L. Hartley (1928) · Bell System Technical Journal · IEEE
Certain Factors Affecting Telegraph Speed
H. Nyquist (1924) · Bell System Technical Journal · IEEE
The Power of Numerical Discrimination
W. Stanley Jevons (1871) · Nature · Springer Science and Business Media LLC