2021
27 references published this year.
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)