drheap references
566 references, kept by an AI assistant working on its own and published here as facts and links.
2026
AIVD Jaarverslag 2025
Algemene Inlichtingen- en Veiligheidsdienst (2026)
The political economy of digital authoritarianism: evidence from the Iranian regime's implementation of technology
Dara Conduit (2026) · Democratization
The New Realities of Digital Geopolitics
Don Eijndhoven (2026)
Llms as hackers: Autonomous linux privilege escalation attacks
Andreas Happe et al. (2026) · Empirical Software Engineering
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
Mathé Hertogh et al. (2026) · 2026 IEEE Symposium on Security and Privacy (SP)
Clock tree synthesis in modern VLSI: From foundational algorithms to AI-driven optimization
Manikandan B et al. (2026) · Integration, the VLSI Journal
Openbaar jaarverslag 2025 Militaire Inlichtingen- en Veiligheidsdienst
Militaire Inlichtingen- en Veiligheidsdienst (2026)
Weaponising AI: The New Cyber Attack Surface
Rafal Rohozinski et al. (2026) · Survival
2025
Resilient Dependencies: Preparing to Fight Through Cyber Disruption
Maria B. Barrett (2025) · The Cyber Defense Review
Global BGP Attacks that Evade Route Monitoring
Henry Birge-Lee et al. (2025) · International Conference on Passive and Active Network Measurement
Commentary: AI psychosis is not a new threat: Lessons from media-induced delusions
Per Carlbring et al. (2025) · Internet Interventions
Digital Luddism as Collective Action to Democratise Tech
Raffaele Ciriello et al. (2025) · Americas Conference on Information Systems (AMCIS 2025), Montreal, Canada
Widening the Aperture: A Global Perspective
Patrick J. Davis (2025) · The Cyber Defense Review
Cloud Sovereignty Framework
Directorate-General for Digital Services European Commission (2025)
Holistic Bowtie Model of AI-Based Technology in Defense Systems
Frank Ole Flemisch et al. (2025) · How to Think, Explore, and Implement Efficient and Meaningful Chains of Abilities, Control, Responsibility, and Accountability Between Humans, AI, Organization, and the Environment?
Fighting Through Disruption
Karen Guttieri (2025) · The Cyber Defense Review
A Study on the Concept of Cyber Cognitive Warfare and Case Study Methodology From a Psychological Perspective
Kibeom Kim et al. (2025) · European Conference on Cyber Warfare and Security
Weapons of Mass Disruption: How Small States Use Cyber to Resist Larger Powers
Russell Alexander Korb (2025)
Military and security dimensions of quantum technologies
Michal Krelina (2025) · Stockholm International Peace Research Institute
Between Red Buttons and Red Lines: Assessing Mutual Assured Destruction and NATO-Russia Nuclear Dynamics
Ada Aquino Latrubesse (2025)
Beyond the Fence Line: Operationalizing Civil-Military Cyber Coordination at U.S. Military Installations
Michaela Lee (2025) · The Cyber Defense Review
Carbon footprint of cloud, edge, and Internet of Edges
Pauline Loygue et al. (2025) · Annals of Telecommunications
Countering Chinese State-Sponsored Actors Compromise of Networks Worldwide to Feed Global Espionage System
National Security Agency (2025)
Military Computing Security: Insights and Implications
Kavita Sahu et al. (2025) · Journal of The Institution of Engineers (India): Series B
BGP Vortex: Update Message Floods Can Create Internet Instabilities
Felix Stöger et al. (2025) · 34th USENIX Security Symposium (USENIX Security 25)
A wireless terahertz cryogenic interconnect that minimizes heat-to-information transfer
Jinchen Wang et al. (2025) · Nature Electronics
Rising Cognitive Disability as a Public Health Concern Among US Adults: Trends From the Behavioral Risk Factor Surveillance System, 2013–2023
Ka-Ho Wong et al. (2025) · Neurology
Terabits without fibres
Zhenyu Xie et al. (2025) · Light: Science & Applications
2024
Digital domination: Social media and contestatory democracy
Ugur Aytac (2024) · Political Studies
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai et al. (2024) · Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
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
Red-teaming for generative AI: Silver bullet or security theater?
Michael Feffer et al. (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
New Foundations for Separation Logic
Hans-Dieter A. Hiep (2024)
Analysis of Attack Methods with Artificial Intelligence
Dieter Holstein (2024)
Fifth Generation Warfare: Dominating the Human Domain
Armin Krishnan (2024)
Mathematics: Signification and Significance
Clare Marie Moriarty (2024) · Berkeley's Doctrine of Signs
Into the Gray Zone: NATO Deterrence in a Graying and Multipolar World
Mark Benjamin Olmstead (2024)
On the capacity of optical backbone networks
João J. O. Pires (2024) · Network
The Tech Coup: How to Save Democracy from Silicon Valley
Marietje Schaake (2024)
Roadmapping the next generation of silicon photonics
Sudip Shekhar et al. (2024) · Nature Communications
Following the Data Trail: An Analysis of IXP Dependencies
Malte Tashiro et al. (2024) · International Conference on Passive and Active Network Measurement
Energy-efficient computing at cryogenic temperatures
Cezar Zota et al. (2024) · Nature Electronics
2023
A comprehensive review of cyber security vulnerabilities, threats, attacks, and solutions
Ömer Aslan et al. (2023) · Electronics
Dynamic Separation Logic
Frank S. de Boer et al. (2023) · 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS)
The future transistors
Wei Cao et al. (2023) · Nature
Network diversity, market entry, and the global internet backbone
El Hadi Caoui et al. (2023)
A survey of post-quantum cryptography: Start of a new race
Duc-Thuan Dam et al. (2023) · Cryptography
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer (2023)
Using C2 Problem Space to Integrate Cyber and Kinetic Operations
Tim Grant (2023) · Proceedings of 28th International Command and Control Research and Technology Symposium
Mitigating and responding to cognitive warfare
Yvone R. Masakowsi et al. (2023)
Fundamentally Understanding and Solving RowHammer
Onur Mutlu et al. (2023) · Proceedings of the 28th Asia and South Pacific Design Automation Conference
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu et al. (2023)
Transient execution vulnerabilities in the security context of server hardware
Allison Randal (2023)
5G, 6G, and Beyond: Recent advances and future challenges
Fatima Salahdine et al. (2023) · Annals of Telecommunications
An Early Future of the Internet
Jens Schröter (2023) · Tech Imaginations
Open Source Hardware in Manufacturing – Opportunities and Challenges
Maximilian Stange et al. (2023) · Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference
Zero trust cybersecurity: Critical success factors and A maturity assessment framework
William Yeoh et al. (2023) · Computers & Security
2022
Leveraging Layout-based Effects for Locking Analog ICs
Muayad J. Aljafar et al. (2022) · Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security (ASHES '22)
Foundations for entailment checking in quantitative separation logic
Kevin Batz et al. (2022) · 31st European Symposium on Programming (ESOP)
Analysis of systems security engineering design principles for the development of secure and resilient systems
Paul M. Beach et al. (2022) · Handbook of Scholarly Publications from the Air Force Institute of Technology (AFIT), Volume 1, 2000-2020
The Logical Writings of Karl Popper
David Binder et al. (2022)
Gödel's Doctoral Thesis, 1928–30: The Completeness of First-Order Logic
William D. Brewer (2022) · Kurt Gödel: The Genius of Metamathematics
Verified Paging for x86-64 in Rust
Matthias Brun (2022)
Ambiguous Self-Induced Disinformation (ASID) Attacks: Weaponizing a Cognitive Deficiency
Matthew Canham et al. (2022) · Journal of Information Warfare
A lightweight device-level Public Key Infrastructure with DRAM based Physical Unclonable Function (PUF) for secure cyber physical systems
Susovan Chanda et al. (2022) · Computer Communications
The complete guide to scion
Laurent Chuat et al. (2022) · Information Security and Cryptography
Sound automation of magic wands
Thibault Dardinier et al. (2022) · 34th International Conference on Computer Aided Verification (CAV)
Cyber risk and the US financial system: A pre-mortem analysis
Thomas M. Eisenbach et al. (2022) · Journal of Financial Economics
Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus et al. (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Securing On-chip Interconnect against Delay Trojan using Dynamic Adaptive Caging
Ruchika Gupta et al. (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Dijkstra's legacy on program verification
Reiner Hähnle (2022) · Edsger Wybe Dijkstra: His Life, Work, and Legacy
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep et al. (2022) · International Journal on Software Tools for Technology Transfer
Undecidability of dyadic first-order logic in Coq
Johannes Hostert et al. (2022) · 13th International Conference on Interactive Theorem Proving (ITP)
Second-Order Recursions of First-Order Cybernetics: An "Experimental Epistemology"
Won Jeon (2022) · Open Philosophy
A Coq Library for Mechanised First-Order Logic
Dominik Kirst et al. (2022) · HAL (Le Centre pour la Communication Scientifique Directe)
Fifth Generation Warfare, Hybrid Warfare, and Gray Zone Conflict
Armin Krishnan (2022) · Journal of Strategic Security
Cyber security: Critical infrastructure protection
Martti Lehto et al. (2022)
Strong-separation logic
Jens Pagel et al. (2022) · ACM Transactions on Programming Languages and Systems (TOPLAS)
Evolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. et al. (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Fractional cyber-neural systems---A brief survey
Emily Reed et al. (2022) · Annual Reviews in Control
Digital disintermediation, technical and national sovereignty: the Internet shutdown of Catalonia's 'independence referendum'
Víctor Sampedro et al. (2022) · European Journal of Communication
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović et al. (2022) · International Journal on Software Tools for Technology Transfer
2021
Permission-based verification of red-black trees and their merging
Lukas Armborst et al. (2021) · 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Integrating ADTs in KeY and their Application to History-based Reasoning
Jinting Bian et al. (2021) · 24th International Symposium on Formal Methods (FM)
Symbolic execution formally explained
Frank S. de Boer et al. (2021) · Formal Aspects of Computing
Leibniz's Binary Algebra and its Role in the Expression and Classification of Numbers
Mattia Brancato (2021) · Philosophia Scientiae
Post quantum cryptographic keys generated with physical unclonable functions
Bertrand Cambou et al. (2021) · Applied Sciences
Giuseppe Peano and his school: Axiomatics, symbolism and rigor
Paola Cantù et al. (2021) · Philosophia Scientiae
Maintaining strategic ambiguity for protection: Struggles over opacity, equivocality, and absurdity around the Sicilian Mafia
Giulia Cappellaro et al. (2021) · Academy of Management Journal
JML and OpenJML for Java 16
David R. Cok (2021) · Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri et al. (2021) · Logical Methods in Computer Science
Posthoc verification and the fallibility of the ground truth
Yifan Ding et al. (2021)
Defense advanced research projects agency: Overview and issues for congress
Marcey E. Gallo (2021)
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote et al. (2021)
Software testing: a craftsman's approach
Paul C. Jorgensen et al. (2021)
Solar superstorms: planning for an internet apocalypse
Sangeetha Abdu Jyothi (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference
Dedekinds Sätze und Peanos Axiomata
Reinhard Kahle (2021) · Philosophia Scientiae
What you need to know about (smart) network interface cards
Georgios P. Katsikas et al. (2021) · International Conference on Passive and Active Network Measurement
European academic brain drain: A meta-synthesis
Jawaria Khan (2021) · European Journal of Education
Quantum technology for military applications
Michal Krelina (2021) · EPJ Quantum Technology
Software supply chain attacks, a threat to global cybersecurity: SolarWinds' case study
Jeferson Martínez et al. (2021) · International Journal of Safety and Security Engineering
The Consistency of Arithmetic
Robert K. Meyer (2021) · The Australasian Journal of Logic
Syntax-Guided Quantifier Instantiation
Aina Niemetz et al. (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Principles of Photonic Integrated Circuits: Materials, Device Physics, Guided Wave Design
Richard Osgood Jr et al. (2021)
PUF-RAKE: A PUF-based robust and lightweight authentication and key establishment protocol
Mahmood Azhar Qureshi et al. (2021) · IEEE Transactions on Dependable and Secure Computing
Patching zero-day vulnerabilities: an empirical analysis
Yaman Roumani (2021) · Journal of Cybersecurity
A criticism of the technological singularity
Alexander K. Seewald (2021) · The International Conference on Intelligent Systems & Networks
Gödel's Reading of Peano's Arithmetices Principia
Jan von Plato (2021) · Philosophia Scientiae
Gobra: Modular specification and verification of go programs
Felix A. Wolf et al. (2021) · 33rd International Conference on Computer Aided Verification (CAV)
2020
A Simplified Arm Processor for VLSI Education
Noah Boorstin et al. (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020
Measuring the fragmentation of the Internet: the case of the Border Gateway Protocol (BGP) during the Ukrainian crisis
Frédérick Douzet et al. (2020) · 12th International Conference on Cyber Conflict (CyCon)
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates
Mnacho Echenim et al. (2020) · ACM Transactions on Computational Logic (TOCL)
Operational resilience, disruption, and efficiency: Conceptual and empirical analyses
Dominic Essuman et al. (2020) · International journal of production economics
The 2020 expert survey on formal methods
Hubert Garavel et al. (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS)
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher et al. (2020) · Empirical Software Engineering
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep et al. (2020) · Integrated Formal Methods
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman et al. (2020)
State Space Reduction For Parity Automata
Christof Löding et al. (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Dynamic Separation Logic and its Use in Education
Makarov Evgeny Maratovich (2020) · Современные информационные технологии и ИТ-образование
A First-Order Logic with Frames
Adithya Murali et al. (2020) · Programming Languages and Systems
The ARPANET into the Internet: A tale of two networks
Noel Packard (2020) · Studies in Media and Communication
Foundational Java: Key Elements and Practical Programming
David Parsons (2020)
Gödel's incompleteness theorems
Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy
The future of computing beyond Moore's Law
John Shalf (2020) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
The ethics of zero-day exploits—the NSA meets the trolley car
Stephen B. Wicker (2020) · Communications of the ACM
2019
A survey on advanced persistent threats: Techniques, solutions, challenges, and research opportunities
Adel Alshamrani et al. (2019) · IEEE Communications Surveys & Tutorials
Fifty years of Hoare's logic
Krzysztof R. Apt et al. (2019) · Formal Aspects of Computing
A review on software defined network security risks and challenges
Tsehay Admassu Assegie et al. (2019) · TELKOMNIKA (Telecommunication Computing Electronics and Control)
Forward with separation logic
Callum Bannister (2019)
On the hourglass model
Micah Beck (2019) · Communications of the ACM
The transboundary crisis: Why we are unprepared and the road ahead
Arjen Boin (2019) · Journal of Contingencies and Crisis Management
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer
New opportunities for integrated formal methods
Mario Gleirscher et al. (2019) · ACM Computing Surveys (CSUR)
Interoperability: The Critical Enabler in the Anti-Access Area-Denial Fight?
Timothy D. Keithley (2019)
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher et al. (2019) · 2019 IEEE Symposium on Security and Privacy (SP)
Incorrectness logic
Peter W. O'Hearn (2019) · Proceedings of the ACM on Programming Languages
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham et al. (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Why separation logic works
David Pym et al. (2019) · Philosophy & Technology
HPC Interconnects at the End of Moore's Law
John Shalf (2019) · Optical Fiber Communication Conference
SL-COMP: competition of solvers for separation logic
Mihaela Sighireanu et al. (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2018
Backwards and Forwards with Separation Logic
Callum Bannister et al. (2018) · 9th International Conference on Interactive Theorem Proving (ITP)
On models of higher-order separation logic
Aleš Bizjak et al. (2018) · Electronic Notes in Theoretical Computer Science
The elusive internet flattening: 10 years of IXP growth
Timm Böttger et al. (2018)
Generals in cyberspace: Military insights for defending cyberspace
Peter Campbell (2018) · Orbis
Pufssl: an openssl extension for puf based authentication
Urbi Chatterjee et al. (2018) · 2018 IEEE 23rd International Conference on Digital Signal Processing (DSP)
Designing an Internet
David D. Clark (2018)
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri et al. (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic
Mnacho Echenim et al. (2018)
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge et al. (2018) · Journal of Cryptographic Engineering
European deterrence for European assurance: The United States and Russian adventurism in the Crimea
Larry Geddings Jr (2018) · US Army Command and General Staff College
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung et al. (2018) · Journal of Functional Programming
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)
Internet eXchange points: current challenges and new opportunities
Roberto Di Lallo (2018)
Next Generation Internet 2025
Michiel Leenaars et al. (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union
Meltdown
Moritz Lipp et al. (2018)
A research on social media addiction and dopamine driven feedback
Hüseyin Bilal Macit et al. (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty
Blending electronics with the human body: a pathway toward a cybernetic future
Mehdi Mehrali et al. (2018) · Advanced science
Non-wellfounded Set Theory
Lawrence S. Moss (2018) · The Stanford Encyclopedia of Philosophy
Security assurance against cybercrime ransomware
Habib ur Rehman et al. (2018) · International Conference on Intelligent Computing & Optimization (ICO)
PSYOP and Social Networks
Andrew A. Sadoun (2018)
Challenges to cybersecurity: Current state of affairs
Ravi Sen (2018) · Communications of the Association for Information Systems
Resilience analysis: A mathematical formulation to model resilience of engineering systems
Neetesh Sharma et al. (2018) · Sustainable and Resilient Infrastructure
Advanced Computer Architectures
Sajjan G. Shiva (2018)
Joint Publication 3-12 - Cyberspace Operations
Joint Chiefs of Staff (2018) · U.S. Department of Defense
Hybrid simulation for cyber physical systems: state of the art and a literature review.
Andreas Tolk et al. (2018) · SpringSim (ANSS)
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM
Understanding Internet shutdowns: A case study from Pakistan
Benjamin Wagner (2018) · International Journal of Communication
2017
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom et al. (2017) · Integrated Formal Methods
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston et al. (2017) · Automated Deduction – CADE 26
Bringing order to the separation logic jungle
Qinxiang Cao et al. (2017) · 15th Asian Symposium on Programming Languages and Systems (APLAS)
Predicativity and Feferman
Laura Crosilla (2017) · Feferman on Foundations: Logic, mathematics, philosophy
The cyber domain
Glenn Alexander Crowther (2017) · The cyber defense review
A revolution too far? US defence innovation, Europe and NATO's military-technological gap
Daniel Fiott (2017) · Journal of Strategic Studies
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung et al. (2017) · Proceedings of the ACM on Programming Languages
Interactive proofs in higher-order concurrent separation logic
Robbert Krebbers et al. (2017) · 44th ACM Symposium on Principles of Programming Languages (POPL)
Programming languages: A survey
Krishan Kumar et al. (2017) · International Journal on Recent and Innovation Trends in Computing and Communication
A mathematical framework to optimize critical infrastructure resilience against intentional attacks
Min Ouyang et al. (2017) · Computer-Aided Civil and Infrastructure Engineering
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds et al. (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds et al. (2017) · Formal Methods in System Design
Strategic A2/AD in Cyberspace
Alison Lawlor Russell (2017)
The coming software apocalypse
James Somers (2017) · The Atlantic
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik et al. (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17)
The end of moore's law: A new beginning for information technology
Thomas N. Theis et al. (2017) · Computing in science & engineering
Silicon Photonics: Electromagnetic theory
Wouter J. Westerveld et al. (2017)
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017)
2016
Completeness of Verification System with Separation Logic for Recursive Procedures
Mahmudul Faisal Al Ameen (2016)
Introduction to software testing
Paul Ammann et al. (2016)
Specification and Verification of Contract-Based Applications
Davide Basile (2016)
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Concurrent separation logic
Stephen Brookes et al. (2016) · ACM SIGLOG News
Botornot: A system to evaluate social bots
Clayton Allen Davis et al. (2016) · 25th International Conference Companion on World Wide Web
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri et al. (2016) · ACM Transactions on Computational Logic
Cyber Operations and Gray Zones: Challenges for NATO
Oliver Fitton (2016) · Connections: The Quarterly Journal
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw et al. (2016) · Software and Systems Modeling
Completeness for a first-order abstract separation logic
Zhé Hóu et al. (2016) · 14th Asian Symposium on Programming Languages and Systems (APLAS)
Cybernetics, reflexivity and second-order science
Louis H. Kauffman (2016) · Constructivist Foundations
Proof automation for functional correctness in separation logic
Ewen Maclean et al. (2016) · Journal of Logic and Computation
Viper: A verification infrastructure for permission-based reasoning
Peter Müller et al. (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17
Marine Corps Cyberspace Operations: The Need for Change
Jeffrey J. Patterson (2016)
Survey of inter-satellite communication for small satellite systems: Physical layer to network layer view
Radhika Radhakrishnan et al. (2016) · IEEE Communications Surveys & Tutorials
The effects of Internet usage and economic growth on CO2 emissions in OECD countries: A panel investigation
Mohammad Salahuddin et al. (2016) · Renewable and Sustainable Energy Reviews
Deductive Software Verification – The KeY Book
Mattias Ulbrich et al. (2016)
2015
Permission-based separation logic for multithreaded Java programs
Afshin Amighi et al. (2015) · Logical Methods in Computer Science
Witnessing the elimination of magic wands
Stefan Blom et al. (2015) · International Journal on Software Tools for Technology Transfer
Being and Change: Reasoning About Invariance
Frank S. de Boer et al. (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
Do bugs foreshadow vulnerabilities? A study of the Chromium project
Felivel Camilo et al. (2015) · 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories
Logical Investigations on Separation Logics
Stéphane Demri et al. (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri et al. (2015) · Journal of Applied Non-Classical Logics
Handbook of Epistemic Logic
Hans van Ditmarsch et al. (2015)
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol et al. (2015) · Mathematics of Program Construction
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
Comparing models of offensive cyber operations
Tim Grant et al. (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
Path switching: Reduced-state flow handling in SDN using path information
Adiseshu Hari et al. (2015) · Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies
Cyber Warfare: Building the Scientific Foundation
Sushil Jajodia et al. (2015)
Introduction to Mathematical Logic
Elliott Mendelson (2015)
From categorical logic to Facebook engineering
Peter O'Hearn (2015) · 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Thermodynamics of information
Juan M. R. Parrondo et al. (2015) · Nature Physics
Past and future of hardware and architecture
David A. Patterson (2015) · Proceedings of the SOSP History Day 2015
A Fully Verified Container Library
Nadia Polikarpova et al. (2015) · FM 2015: Formal Methods
A survey of security in software defined networks
Sandra Scott-Hayward et al. (2015) · IEEE Communications Surveys & Tutorials
Propositions as types
Philip Wadler (2015) · Communications of the ACM
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2015) · Perspectives on Science
2014
Correction for Kramer et al., Experimental evidence of massive-scale emotional contagion through social networks
Proceedings of the National Academy of Sciences (2014) · Proceedings of the National Academy of Sciences
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos et al. (2014) · Foundations of Software Science and Computation Structures
Hardware Trojan attacks: Threat analysis and countermeasures
Swarup Bhunia et al. (2014) · Proceedings of the IEEE
The VerCors tool for verification of concurrent programs
Stefan Blom et al. (2014) · International Symposium on Formal Methods
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Electronic Proceedings in Theoretical Computer Science
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta et al. (2014) · International Symposium on Formal Methods
A comparative analysis of microarchitecture effects on CPU and GPU memory system behavior
Joel Hestness et al. (2014) · 2014 IEEE International Symposium on Workload Characterization (IISWC)
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents
Optical theorem for transmission lines
Edwin A. Marengo et al. (2014) · Progress In Electromagnetics Research B
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski et al. (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP)
Automating Separation Logic with Trees and Data
Ružica Piskač et al. (2014) · Computer Aided Verification
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir et al. (2014) · IEEE Communications Surveys & Tutorials
Key terrain in cyberspace: Seeking the high ground
David Raymond et al. (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014)
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta et al. (2014) · International Conference on Software Engineering and Formal Methods
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur et al. (2014) · International SPIN Symposium on Model Checking of Software
2013
Mathematical wit and mathematical cognition
Andrew Aberdein (2013) · Topics in Cognitive Science
The history of the internet: the missing narratives
Martin Campbell-Kelly et al. (2013) · Journal of Information Technology
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young et al. (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL)
Application of Formal Methods in Development of Information Systems
Željko Dobrović et al. (2013) · Central European Conference on Information and Intelligent Systems
The language of mathematics
Mohan Ganesalingam (2013)
The Tree Width of Separation Logic with Recursive Definitions
Radu Iosif et al. (2013) · Automated Deduction – CADE-24
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · Springer series in advanced microelectronics
JML Reference Manual
Gary T. Leavens et al. (2013)
Awaiting Cyber 9/11
Clifford S. Magee (2013) · Joint Force Quarterly
ARPA-E is Here to Stay
Varun Mehra (2013) · Science Progress
Automating Separation Logic Using SMT
Ružica Piskač et al. (2013) · Computer Aided Verification
Non-monotonic set theory as a pragmatic foundation of mathematics
Peter Verdée (2013) · Foundations of science
2012
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt et al. (2012) · Journal of Computer and System Sciences
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann et al. (2012) · Electronic Proceedings in Theoretical Computer Science
Before we knew it: an empirical study of zero-day attacks in the real world
Leyla Bilge et al. (2012) · ACM Conference on Computer and Communications Security
Separation predicates: A taste of separation logic in first-order logic
François Bobot et al. (2012) · International Conference on Formal Engineering Methods
On the almighty wand
Rémi Brochenin et al. (2012) · Information and Computation
Program verification: Fundamental issues in computer science
Timothy T. R. Colburn et al. (2012)
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
The science of programming
David Gries (2012)
Which mathematical logic is the logic of mathematics?
Jaakko Hintikka (2012) · Logica Universalis
A New Clock Network Synthesizer for Modern VLSI Designs
Jingwei Lu et al. (2012) · Integration, the VLSI Journal
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
Peter W. O'Hearn (2012) · Software Safety and Security: Tools for Analysis and Verification
An Overview of Software Defect Density: A Scoping Study
Syed Muhammad Ali Shah et al. (2012) · 2012 19th Asia-Pacific Software Engineering Conference
Second order logic or set theory?
Jouko Väänänen (2012) · Bulletin of Symbolic Logic
Data structures and algorithm analysis in Java
Mark Allen Weiss (2012)
2011
Why software is eating the world
Marc Andreessen (2011) · Wall Street Journal
Cyber-physical systems
Radhakisan Baheti et al. (2011) · The impact of control technology
The role of optics in future high radix switch design
Nathan Binkert et al. (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA '11)
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)
Compositional Type Checking
Gergö Érdi (2011)
Common criteria for the assessment of critical infrastructures
Alexander Fekete (2011) · International Journal of Disaster Risk Science
Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
Dan R. Ghica et al. (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11)
Separating routing policy from mechanism in the network layer
James Griffioen et al. (2011) · Next-Generation Internet
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote et al. (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM)
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column
The economics of software quality
Capers Jones et al. (2011)
VLSI Physical Design: From Graph Partitioning to Timing Closure
Andrew B. Kahng et al. (2011)
Verification of programs in virtual memory using separation logic
Rafal Michal Kolanski (2011)
Algorithmic Puzzles
Anany Levitin et al. (2011)
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic
Classical mathematics for a constructive world
Russell O'Connor (2011) · Mathematical Structures in Computer Science
Cyberspace: The ultimate complex adaptive system
Paul W. Phister Jr (2011) · The International C2 Journal
Dynamic frames in Java dynamic logic
Peter H. Schmitt et al. (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS)
2010
Peano Arithmetic
Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)
A survey of challenges in attribution
W. Earl Boebert (2010) · Proceedings of a workshop on Deterring CyberAttacks
Hybrid Logic and its Proof-Theory
Torben Braüner (2010)
Undecidability of propositional separation logic and its neighbours
James Brotherston et al. (2010) · 25th IEEE Symposium on Logic in Computer Science (LICS)
The cyber kill chain: A foundation for a new cyber security strategy
Charles Croom (2010) · High Frontier
Tableaux and resource graphs for separation logic
Didier Galmiche et al. (2010) · Journal of Logic and Computation
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010)
Really rethinking `formal methods'
David Lorge Parnas (2010) · Computer
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard et al. (2010) · Proceedings of the 17th ACM conference on Computer and communications security
Formal verification of demand paging
Artem Starostin (2010)
2009
Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt et al. (2009) · FM 2009: Formal Methods
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt et al. (2009)
A general framework for sound and complete Floyd-Hoare logics
Rob Arthan et al. (2009) · ACM Transactions on Computational Logic
Undecidability of first-order logic
Guram Bezhanishvili et al. (2009)
Proof assistants: History, ideas and future
Herman Geuvers (2009) · Sādhanā
From abstract rewriting systems to abstract proof systems
Clemens Grabmayer (2009)
Cyberwarfare and Our Allies: The Importance of Theater Security Cooperation
Christopher V. Greene (2009)
Rascal: A domain specific language for source code analysis and manipulation
Paul Klint et al. (2009) · 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation
Design patterns in separation logic
Neelakantan R. Krishnaswami et al. (2009) · 4th International Workshop on Types in Language Design and Implementation
From cyberspace to cyberpower: Defining the problem
Daniel T. Kuehl (2009) · Cyberpower and national security
The development of mathematical logic from Russell to Tarski, 1900-1935
Paolo Mancosu et al. (2009) · The Development of Modern Logic
A Certified Verifier for a Fragment of Separation Logic
Nicolas Marti et al. (2009) · Information and Media Technologies
Higher order logic and hardware verification
Tom F. Melham (2009)
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta et al. (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
An investigation of the relationships between lines of code and defects
Hongyu Zhang (2009) · 2009 IEEE International Conference on Software Maintenance
The real cost of software errors
Michael Zhivich et al. (2009) · IEEE Security & Privacy
2008
Formal pervasive verification of a paging mechanism
Eyad Alkassar et al. (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Handbook of Algorithms for Physical Design Automation
Charles J. Alpert et al. (2008)
Cyclic proofs of program termination in separation logic
James Brotherston et al. (2008) · ACM SIGPLAN Notices
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel et al. (2008) · Electronic Notes in Theoretical Computer Science
jStar: Towards Practical Verification for Java
Dino Distefano et al. (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications
A Theory of Hygienic Macros
David Herman et al. (2008) · Programming Languages and Systems
Measuring defect potentials and defect removal efficiency
Capers Jones (2008) · Journal of Defense Software Engineering
A Modal Sequent Calculus for Propositional Separation Logic
Neelakantan R. Krishnaswami (2008) · IMLA 2008: 4th Workshop on Intuitionistic Modal Logic and Applications
Man-computer symbiosis
J. C. R. Licklider (2008) · IRE transactions on human factors in electronics
Full functional verification of linked data structures
Karen Zee et al. (2008) · ACM SIGPLAN Notices
2007
Verification of object-oriented software: The KeY approach
Bernhard Beckert et al. (2007)
Relational parametricity and separation logic
Lars Birkedal et al. (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS)
A 30 Year Retrospective on Dennard's MOSFET Scaling Paper
M. Bohr (2007) · IEEE Solid-State Circuits Society Newsletter
A semantics for concurrent separation logic
Stephen Brookes (2007) · Theoretical Computer Science
Local reasoning about data update
Cristiano Calcagno et al. (2007) · Electronic Notes in Theoretical Computer Science
Local Action and Abstract Separation Logic
Cristiano Calcagno et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Lindström theorems for fragments of first-order logic
Balder ten Cate et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS)
Resources, concurrency, and local reasoning
Peter W. O'Hearn (2007) · Theoretical computer science
Types, bytes, and separation logic
Harvey Tuch et al. (2007) · 34th ACM Symposium on Principles of Programming Languages (POPL)
2006
Understanding command and control
David S. Alberts et al. (2006)
A Local Shape Analysis Based on Separation Logic
Dino Distefano et al. (2006) · Tools and Algorithms for the Construction and Analysis of Systems
Expressivity properties of Boolean BI through relational models
Didier Galmiche et al. (2006) · 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Gauss and non-Euclidean geometry
Jeremy Gray (2006) · Non-Euclidean geometries: János Bolyai memorial volume
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Ioannis T. Kassios (2006) · FM 2006: Formal Methods
Verifying properties of well-founded linked lists
Shuvendu K. Lahiri et al. (2006) · ACM SIGPLAN Notices
Hoare logic in the abstract
Ursula Martin et al. (2006) · 20th International Workshop on Computer Science Logic (CSL)
Verification condition generation via theorem proving
John Matthews et al. (2006) · 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)
Separation logic for higher-order store
Bernhard Reus et al. (2006) · 20th International Workshop on Computer Science Logic (CSL)
2005
Symbolic Execution with Separation Logic
Josh Berdine et al. (2005) · Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
Permission accounting in separation logic
Richard Bornat et al. (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
From separation logic to first-order logic
Cristiano Calcagno et al. (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS)
C2 Policy Evolution at the US Department of Defense. WWMCCS to a Unified Military Command Capability
David Dick et al. (2005) · 10th International Command and Control Research and Technology Symposium: The Future of C2
Richard Dedekind (1888) and Giuseppe Peano (1889), booklets on the Foundations of Arithmetic
José Ferreirós (2005) · Landmark Writings in Western Mathematics 1640-1940
Relating proof systems for recursive types
Clemens Grabmayer (2005)
Realising the Benefits of Formal Methods
Anthony Hall (2005) · 7th International Conference on Formal Engineering Methods (ICFEM)
Local reasoning for Java
Matthew J. Parkinson (2005)
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic
Tom Ridge et al. (2005) · Theorem Proving in Higher Order Logics
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo et al. (2005) · Journal of Systems and Software
2004
Bridging the Gap. European C4ISR Capabilities and Transatlantic Interoperability
Gordon Adams et al. (2004)
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert et al. (2004) · RACSAM
A Decidable Fragment of Separation Logic
Josh Berdine et al. (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak et al. (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak et al. (2004)
The art of software testing
Glenford J. Myers et al. (2004)
Byzantine fault tolerance in long-lived systems
Rodrigo Rodrigues et al. (2004) · 2nd Bertinoro Workshop on Future Directions in Distributed Computing (FuDiCo II)
Extending Separation Logic with Fixpoints and Postponed Substitution
Élodie-Jane Sims (2004) · Algebraic Methodology and Software Technology
Relearning counterinsurgency warfare
Robert R. Tomes (2004) · The US Army War College Quarterly: Parameters
Towards mechanized program verification with separation logic
Tjark Weber (2004) · 18th International Workshop on Computer Science Logic (CSL)
2003
The Internet as a Self-Organizing Socio-Technological System
Christian Fuchs (2003) · Human Strategies in Complexity Research Paper
Byzantine Failures and Security: Arbitrary is not (always) Random
Felix C. Gärtner (2003) · INFORMATIK 2003 – Mit Sicherheit Informatik, Schwerpunkt "Sicherheit – Schutz und Zuverlässigkeit"
Meeting the Anti-Access and Area-Denial Challenge
Andrew F. Krepinevich et al. (2003)
A proof system for object oriented programming using separation logic
Ronald Middelkoop (2003)
2002
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (2002)
The telephone network of the 1960s
Frederick T. Andrews (2002) · IEEE Communications Magazine
Computability and logic
George S. Boolos et al. (2002)
Semantic and Logical Properties of Stateful Programming
Cristiano Calcagno (2002)
A Taxonomy of Reactive Systems
Adriaan de Groot et al. (2002)
Trust and vulnerability in open source software
Scott A. Hissam et al. (2002) · IEEE Proceedings-Software
Understanding BGP misconfiguration
Ratul Mahajan et al. (2002) · ACM SIGCOMM Computer Communication Review
Types and Programming Languages
Benjamin C. Pierce (2002)
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym (2002)
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Advanced Semiconductor Memories: Architectures, Designs, and Applications
Ashok K. Sharma (2002)
2001
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno et al. (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
A Mathematical Introduction to Logic
H. B. Enderton (2001)
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern et al. (2001) · Bulletin of Symbolic Logic
Cybernetics and second-order cybernetics
Francis Heylighen et al. (2001) · Encyclopedia of physical science & technology
BI as an assertion language for mutable data structures
Samin S. Ishtiaq et al. (2001) · 28th ACM Symposium on Principles of Programming Languages (POPL)
War.com: The internet and psychological operations
Angela M. Lungu (2001)
Optimal cost stacked uni-directional path switched SONET/SDH ring design
Ramesh Nagarajan et al. (2001) · Telecommunication Systems
Calculating sharp adaptation rules
David A. Naumann (2001) · Information Processing Letters
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn et al. (2001) · Computer Science Logic
NATO Enlargement 2000-2015. Determinants and Implications for Defense Planning and Shaping
Thomas S. Szayna (2001)
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
Local reasoning for stateful programs
Hongseok Yang (2001)
2000
Architecture of the IBM System/360
Gene M. Amdahl et al. (2000) · IBM Journal of Research and Development
Proving pointer programs in Hoare logic
Richard Bornat (2000) · 5th International Conference on Mathematics of Program Construction (MPC)
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science
Basic Proof Theory
Anne Sjerp Troelstra et al. (2000)
Design As The Discovery Of A Mathematical Theorem What Designers Should Know About The Art Of Mathematics
Hanno Wupper (2000) · Journal of Integrated Design and Process Science
1999
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures
VLSI architecture: Past, present, and future
William J. Dally et al. (1999) · Proceedings 20th Anniversary Conference on Advanced Research in VLSI
The Russians Are Coming: Supercomputer Maker Elbrus Seeks to Join x86/IA-64 Melee
Keith Diefendorff (1999) · Microprocessor Report
JML: A Notation for Detailed Design
Gary T. Leavens et al. (1999) · Behavioral Specifications of Businesses and Systems
The logic of bunched implications
Peter W. O'Hearn et al. (1999) · Bulletin of Symbolic Logic
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary et al. (1999) · Intel Technology Journal
1998
A Lightweight Approach to Formal Methods
Sten Agerholm et al. (1998) · Applied Formal Methods — FM-Trends 98
First-Order Proof Theory of Arithmetic
Samuel R. Buss (1998) · Handbook of Proof Theory
ANSI/IEEE Std 802.1D, 1998 Edition: IEEE Standard for Local Area Network MAC (Media Access Control) Bridges
Institute of Electrical and Electronics Engineers (1998)
Stalking the elusive computer bug
Peggy Aldrich Kidwell (1998) · IEEE Annals of the History of Computing
Architecture and control of an adaptive high capacity flat network
Eric Livermore et al. (1998) · IEEE Communications Magazine
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima et al. (1998) · Journal of Nuclear Science and Technology
Formal methods in computer technologies
I. V. Sergienko et al. (1998) · Cybernetics and Systems Analysis
The quantitative impact of survivable network architectures on service availability
Mark R. Wilson (1998) · IEEE Communications Magazine
1997
A logic of object-oriented programs
Martín Abadi et al. (1997) · TAPSOFT '97: Theory and Practice of Software Development
Set theory for the working mathematician
Krzysztof Ciesielski (1997)
Formal methods: Promises and problems
Joseph A. Goguen et al. (1997) · IEEE Software
A Shorter Model Theory
Wilfrid Hodges (1997)
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
The art of computer programming
Donald E. Knuth (1997)
1996
C4I for the Warrior — Global Command and Control System: From Concept to Reality
Albert J. Edmonds (1996)
Static detection of pointer errors: an axiomatisation and a checking algorithm
Pascal Fradet et al. (1996) · European Symposium on Programming
How did software get so reliable without proof?
Charles Anthony Richard Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME)
Extensions of first-order logic
Maria Manzano (1996)
Changing computing: the computing community and DARPA
Arthur L. Norberg (1996) · IEEE Annals of the History of Computing
The 1968/69 NATO software engineering reports
Brian Randell (1996) · Position Papers for Dagstuhl Seminar 9635 on History of Software Engineering
The development of the C programming language
Dennis M. Ritchie (1996) · History of Programming languages
Formal methods and testing: why the state-of-the art is not the state-of-the practice
David S. Rosenblum (1996) · ACM SIGSOFT Software Engineering Notes
A history of C++ 1979–1991
Bjarne Stroustrup (1996) · History of Programming languages
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
Job Zwiers et al. (1996) · FME'96: Industrial Benefit and Advances in Formal Methods
1995
Avoiding the Undefined by Underspecification
David Gries et al. (1995) · Computer Science Today: Recent Trends and Developments
Python tutorial
Guido van Rossum et al. (1995)
First-Order Logic
Raymond M. Smullyan (1995)
1994
The software crisis in the Netherlands
M. Boogaard et al. (1994) · Serie Research Memoranda
1993
Assigning meanings to programs
Robert W. Floyd (1993) · Program Verification: Fundamental Issues in Computer Science
The computer as Von Neumann planned it
Michael D. Godfrey et al. (1993) · IEEE Annals of the History of Computing
A denotational approach for type-checking in object-oriented programming languages
Roberto Ierusalimschy (1993) · Computer Languages
Berkeley's philosophy of mathematics
Douglas M. Jesseph (1993)
Formal Methods and the Certification of Critical Systems
John Rushby (1993)
The formal semantics of programming languages: an introduction
Glynn Winskel (1993)
1992
Program verification
Nissim Francez (1992)
Applying 'design by contract'
Bertrand Meyer (1992) · Computer
1991
DARPA Technical Accomplishments. Volume 2. An Historical Review of Selected DARPA Projects
Richard H. Van Atta et al. (1991)
Foundations without foundationalism: A case for second-order logic
Stewart Shapiro (1991)
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1991) · Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States)
1990
Model theory
Chen Chung Chang et al. (1990)
Seven myths of formal methods
Anthony Hall (1990) · IEEE software
DARPA Technical Accomplishments. An Historical Review of Selected DARPA Projects. Volume 1
Sidney G. Reed et al. (1990)
Defense Data Network Security Architecture
Robert W. Shirey (1990) · ACM SIGCOMM Computer Communication Review
Referential transparency, definiteness and unfoldability
Harald Søndergaard et al. (1990) · Acta Informatica
A specifier's introduction to formal methods
J. M. Wing (1990) · Computer
1989
Chemistry's Tongue
Peter Atkins (1989) · Interdisciplinary Science Reviews
A Formal Model for Software Project Management
Lung-Chun Liu et al. (1989) · IEEE Transactions on Software Engineering
1988
Dissipation and noise immunity in computation and communication
Rolf Landauer (1988) · Nature
The ARPANET and the DARPA Internet
Dennis G. Perry et al. (1988) · Library Hi Tech
Constructivism in Mathematics, Vol 1
Anne Sjerp Troelstra et al. (1988)
Constructivism in Mathematics, Vol 2
Anne Sjerp Troelstra et al. (1988)
1987
A Categorical Programming Language
Tatsuya Hagino (1987)
The expressive theory of stacks
Samuel Kamin (1987) · Acta informatica
1986
Fixed-point extensions of first-order logic
Yuri Gurevich et al. (1986) · Annals of pure and applied logic
1985
Some questions about expressiveness and relative completeness in Hoare's logic
Mario Rodriguez Artalejo (1985) · Theoretical computer science
On relative completeness of Hoare logics
Michal Grabowski (1985) · Information and control
An algorithm for distributed computation of a spanning tree in an extended LAN
Radia Perlman (1985) · ACM SIGCOMM Computer Communication Review
1984
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
Krzysztof R. Apt (1984) · Theoretical Computer Science
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
End-to-end arguments in system design
Jerome H. Saltzer et al. (1984) · ACM Transactions on Computer Systems
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM
1983
Higher-order logic
Johan van Benthem et al. (1983) · Handbook of philosophical logic
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. et al. (1983) · Journal of the ACM
Proof methods for modal and intuitionistic logics
Melvin Fitting (1983)
On the Notion of Expressiveness and the Rule of Adaption
Ernst-Rüdiger Olderog (1983) · Theoretical Computer Science
1982
Handbook of mathematical logic
Jon Barwise (1982)
Expressiveness and the completeness of Hoare's logic
Jan A. Bergstra et al. (1982) · Journal of computer and system sciences
Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
Jan A. Bergstra et al. (1982) · Theoretical Computer Science
The Byzantine Generals Problem
Leslie Lamport et al. (1982) · ACM Transactions on Programming Languages and Systems
A General Axiom of Assignment
Joseph M. Morris (1982) · Theoretical Foundations of Programming Methodology
1981
Ten Years of Hoare's Logic: A Survey - Part 1
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems
1980
Mathematical theory of program correctness
Jacobus W. de Bakker (1980)
Comments on "The case for the reduced instruction set computer," by Patterson and Ditzel
Douglas W. Clark et al. (1980) · ACM SIGARCH Computer Architecture News
The unreasonable effectiveness of mathematics
Richard Wesley Hamming (1980) · The American Mathematical Monthly
Basic Research in Artificial Intelligence and Foundations of Programming
John McCarthy et al. (1980)
WWMCCS and the Computer that Can
Perry R. Nuhn (1980) · The US Army War College Quarterly: Parameters
The case for the reduced instruction set computer
David A. Patterson et al. (1980) · ACM SIGARCH Computer Architecture News
1979
Isomorphism and higher order equivalence
Miklós Ajtai (1979) · Annals of Mathematical Logic
Programming language constructs for which it is impossible to obtain good Hoare axiom systems
Edmund M. Clarke Jr. (1979) · Journal of the ACM
First-Order Dynamic Logic
David Harel (1979)
1978
The Belmont Report: Ethical Principles and Guidelines for the Protection of Human Subjects of Research
National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research (1978) · U.S. Department of Health, Education, and Welfare
Soundness and completeness of an axiom system for program verification
Stephen A. Cook (1978) · SIAM Journal on Computing
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences
The Evolution of Packet Switching
Lawrence G. Roberts (1978) · Proceedings of the IEEE
Logical analysis of systems comprising feedback loops
René Thomas (1978) · Journal of Theoretical Biology
1977
A Survey of Modern Algebra
Garrett Birkhoff et al. (1977)
Hardware description languages: voices from the Tower of Babel
G. Jack Lipovski (1977) · Computer
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
1976
Completeness and incompleteness theorems for Hoare-like axiom systems
Edmund M. Clarke Jr (1976)
New directions in cryptography
Whitfield Diffie et al. (1976) · IEEE Transactions on Information Theory
A Discipline of Programming
Edsger W. Dijkstra (1976)
The work of Kurt Gödel
Stephen Cole Kleene (1976) · Journal of Symbolic Logic
A Complexity Measure
Thomas J. McCabe (1976) · IEEE Transactions on Software Engineering
Ethernet: Distributed Packet Switching for Local Computer Networks
Robert M. Metcalfe et al. (1976) · Communications of the ACM
An axiomatic proof technique for parallel programs I
Susan Owicki et al. (1976) · Acta Informatica
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki et al. (1976) · Communications of the ACM
Semantical considerations on Floyd-Hoare logic
Vaughan R. Pratt (1976) · 17th Annual Symposium on Foundations of Computer Science
1975
On the completeness of the inductive assertion method
Jacobus W. de Bakker et al. (1975) · Journal of Computer and System Sciences
Intuitionism and formalism
Luitzen Egbertus Jan Brouwer (1975) · Philosophy and Foundations of Mathematics
A complete axiomatic system for proving assertions about recursive and non-recursive programs
Gerald Arthur Gorelick (1975)
Proving assertions about programs that manipulate data structures
Derek C. Oppen et al. (1975) · 7th ACM Symposium on Theory of Computing
The protection of information in computer systems
Jerome H. Saltzer et al. (1975) · Proceedings of the IEEE
1974
A Protocol for Packet Network Intercommunication
Vinton G. Cerf et al. (1974) · IEEE Transactions on Communications
Design of ion-implanted MOSFET's with very small physical dimensions
R. H. Dennard et al. (1974) · IEEE Journal of Solid-State Circuits
Verification of programs operating on structured data
Mark Steven Laventhal (1974)
The UNIX time-sharing system
Dennis M. Ritchie et al. (1974) · Communications of the ACM
1973
Model existence theorems for modal and intuitionistic logics
Melvin Fitting (1973) · Journal of Symbolic Logic
The Sociology of Black Separatism
Dennis Forsythe (1973)
Foundations of set theory
Abraham Adolf Fraenkel et al. (1973)
Selected Works of Giuseppe Peano
Hubert Kennedy (1973)
Correctness of programs manipulating data structures
Tomasz Kowaltowski (1973)
1972
Some techniques for proving correctness of programs which alter data structures
Rodney M. Burstall (1972) · Machine intelligence
Verification Oriented Language Design
J. H. Morris (1972)
1971
Proof of a Recursive Program: Quicksort
M. Foley et al. (1971) · The Computer Journal
Procedures and parameters: An axiomatic approach
C. A. R. Hoare (1971) · Symposium on Semantics of Algorithmic Languages
Introduction to metamathematics
Stephen Cole Kleene (1971)
On a Pin Versus Block Relationship For Partitions of Logic Graphs
B. S. Landman et al. (1971) · IEEE Transactions on Computers
1968
A deeper look at data
Ned Chapin (1968) · Proceedings of the 1968 23rd ACM National Conference
1967
Validity of the single processor approach to achieving large scale computing capabilities
Gene M. Amdahl (1967) · Proceedings of the April 18-20, 1967, Spring Joint Computer Conference (AFIPS '67, Spring)
Another look at data
George H. Mealy (1967) · Proceedings of the November 14-16, 1967, Fall Joint Computer Conference
An Efficient Algorithm for Exploiting Multiple Arithmetic Units
R. M. Tomasulo (1967) · IBM Journal of Research and Development
1965
Cramming more components onto integrated circuits
Gordon E. Moore (1965) · Electronics
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson (1965) · Journal of the ACM
1964
Architecture of the IBM System/360
Gene M. Amdahl et al. (1964) · IBM Journal of Research and Development
On Distributed Communications Networks
P. Baran (1964) · IRE Transactions on Communications Systems
On Distributed Communications: I. Introduction to Distributed Communications Networks
Paul Baran (1964) · The RAND Corporation
1963
The mathematical philosophy of Giuseppe Peano
Hubert C. Kennedy (1963) · Philosophy of Science
1962
Reduced direct products
Thomas Frayne et al. (1962) · Fundamenta mathematicae
Quicksort
C. A. R. Hoare (1962) · The Computer Journal
1961
Ultraproducts in the theory of models
Simon Kochen (1961) · Annals of mathematics
Irreversibility and Heat Generation in the Computing Process
Rolf Landauer (1961) · IBM Journal of Research and Development
1960
Word and Object
Willard Van Orman Quine (1960)
The unreasonable effectiveness of mathematics in the natural sciences
Eugene P. Wigner (1960) · Communications on Pure and Applied Mathematics
1957
The axiomatization of arithmetic
Hao Wang (1957) · The Journal of Symbolic Logic
1954
A new decision method for elementary algebra
Abraham Seidenberg (1954) · Annals of Mathematics
1950
Completeness in the Theory of Types
Leon Henkin (1950) · Journal of Symbolic Logic
1949
The completeness of the first-order functional calculus
Leon Henkin (1949) · Journal of Symbolic Logic
The Theory of p-n Junctions in Semiconductors and p-n Junction Transistors
W. Shockley (1949) · Bell System Technical Journal
1945
First draft of a report on the EDVAC
John von Neumann (1945)
1944
Obliteration Bombing
(1944) · The Christian Century
The Morality of Obliteration Bombing
John C. Ford (1944) · Theological Studies
A Revolting Necessity
(1944) · The Nation
Massacre by Bombing
(1944) · The New Republic
American Postscript
John Nevin Sayre (1944) · Fellowship
Bombing Vindicated
J. M. Spaight (1944)
1940
A Symbolic Analysis of Relay and Switching Circuits
Claude Elwood Shannon (1940)
1938
A Symbolic Analysis of Relay and Switching Circuits
Claude E. Shannon (1938) · Transactions of the American Institute of Electrical Engineers
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
Alan Turing (1938) · Proceedings of the London Mathematical Society
1937
On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing (1937) · Proceedings of the London Mathematical Society
1936
Warfare by Fire
J. Enrique Zanetti (1936) · The Reader's Digest
1929
Über die vollständigkeit des logikkalküls
Kurt Gödel (1929)
1920
History of the parallel postulate
Florence P. Lewis (1920) · The American Mathematical Monthly
1900
Non-Euclidean Geometry
George Bruce Halsted (1900) · The American Mathematical Monthly
1889
Arithmetices principia, nova methodo exposita
Giuseppe Peano (1889)
1888
Was sind und was sollen die Zahlen?
Richard Dedekind (1888)
1861
Lehrbuch der Arithmetik für höhere Lehranstalten
Hermann Grassmann (1861)
About this bibliography
This catalogue is compiled and kept up to date by an AI assistant working on its own: it finds published work, maintains a catalogue, fills entries and files. Nothing about that touches the publications themselves — what a machine wrote is the bibliographic record of a work, not the work itself.
A green ring means a person has read that entry and vouched for it. A grey ring with the AI badge means nobody has: the entry was let through as plausible.
The bibliographic data and links are published. The actual copies are not: they may be under copyright. If you are a student and want access to an article, ask your librarian what the options are.
Each record is filed under a permanent address. A record that is renamed leaves its old address working, so a link made today goes on working after the name changes.