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. Collects both directions: a preprint, technical report or reprint standing in for the published version, and a whole volume or issue standing in for one item inside it. The criterion is physical and established by opening the file; the record's own page range against the copy's extent is what decides it.
156 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
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
HPC Interconnects at the End of Moore's Law
John Shalf (2019) · Optical Fiber Communication Conference · Optica Publishing Group
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
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang and others (2018) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery
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)
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · National Bureau of Economic Research · National Bureau of Economic Research
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
Comparing models of offensive cyber operations
Tim Grant and others (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare and Security
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
Formal Verification of an Arbiter Circuit
Chao Yan and others (2010) · 2010 IEEE Symposium on Asynchronous Circuits and Systems · IEEE
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
Python tutorial
Guido van Rossum and others (1995) · Centrum voor Wiskunde en Informatica
Formal verification by symbolic evaluation of partially-ordered trajectories
Carl-Johan H. Seger and others (1995) · Formal Methods in System Design · Springer Science+Business Media
The Formal Verification of the Fairisle ATM Switching Element
Paul Curzon (1994) · University of Cambridge Computer Laboratory
The Formal Verification of the Fairisle ATM Switching Element: an Overview
Paul Curzon (1994) · University of Cambridge Computer Laboratory
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
On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication
Randal E. Bryant (1991) · IEEE Transactions on Computers
A methodology for hardware verification based on logic simulation
Randal E. Bryant (1991) · Journal of the ACM · Association for Computing Machinery
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
COSMOS: A Compiled Simulator for MOS Circuits
Randal E. Bryant and others (1987) · 24th ACM/IEEE Design Automation Conference · ACM Press
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 · The Royal Society
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
LCF_LSM: A system for specifying and verifying hardware
Mike Gordon (1983) · University of Cambridge Computer Laboratory
Hints for computer system design
Butler Lampson (1983) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
MOSSIM II: A Switch Level Simulator for MOS LSI, User's Manual
Randal E. Bryant and others (1982) · California Institute of Technology, Computer Science Department
A Switch-Level Simulation Model for Integrated Logic Circuits
Randal E. Bryant (1981)
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