2021
55 references published this year.
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
Corrigendum: cloud provider connectivity in the flat internet
Todd Arnold and others (2021) · Proceedings of the 21st ACM Internet Measurement Conference · Association for Computing Machinery (ACM)
How Carl Zeiss Crafts Optics for a $150 Million EUV Machine
Asianometry (2021) · YouTube · video
Integrating ADTs in KeY and their Application to History-based Reasoning
Jinting Bian and others (2021) · 24th International Symposium on Formal Methods (FM) · Springer
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
Frank S. de Boer and others (2021) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Symbolic execution formally explained
Frank S. de Boer and others (2021) · Formal Aspects of Computing
Leibniz's Binary Algebra and its Role in the Expression and Classification of Numbers
Mattia Brancato (2021) · Philosophia Scientiae · Éditions Kimé
Post quantum cryptographic keys generated with physical unclonable functions
Bertrand Cambou and others (2021) · Applied Sciences
Giuseppe Peano and his school: Axiomatics, symbolism and rigor
Paola Cantù and others (2021) · Philosophia Scientiae · Éditions Kimé
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
Making Sense of Number, Bit-by-Bit
Samuel J. Cheyette (2021)
Cyber Ranges and TestBeds for Education, Training, and Research
Nestoras Chouliaras and others (2021) · Applied Sciences · MDPI AG
JML and OpenJML for Java 16
David R. Cok (2021) · Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs · Association for Computing Machinery
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Posthoc verification and the fallibility of the ground truth
Yifan Ding and others (2021) · arXiv
Intrusive Passive Optical Tapping Device
Ismel Dominguez and others (2021) · IEEE Access · Institute of Electrical and Electronics Engineers (IEEE)
Twenty years of Escaping the Java Sandbox
Ieu Eauvidoum and others (2021) · Phrack Magazine
Peano and the Debate on Infinitesimals
Paolo Freguglia (2021) · Philosophia Scientiae · Éditions Kimé
Defense advanced research projects agency: Overview and issues for congress
Marcey E. Gallo (2021) · Congressional Research Service
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
Non-Satellite Broadband Maritime Communications for e-Navigation Services
Michał Hoeft and others (2021) · IEEE Access
The semantics of shared memory in Intel CPU/FPGA systems
Dan Iorga and others (2021) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Software testing: a craftsman's approach
Paul C. Jorgensen and others (2021) · CRC Press
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 and others (2021) · International Conference on Passive and Active Network Measurement · Springer
European academic brain drain: A meta-synthesis
Jawaria Khan (2021) · European Journal of Education
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
Quantum technology for military applications
Michal Krelina (2021) · EPJ Quantum Technology
The Path to Successful Wafer-Scale Integration: The Cerebras Story
Gary Lauterbach (2021) · IEEE Micro · Institute of Electrical and Electronics Engineers (IEEE)
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
Software supply chain attacks, a threat to global cybersecurity: SolarWinds' case study
Jeferson Martínez and others (2021) · International Journal of Safety and Security Engineering
The Consistency of Arithmetic
Robert K. Meyer (2021) · The Australasian Journal of Logic · Victoria University of Wellington Library
Top-down Physical Design of Soft Embedded FPGA Fabrics
Prashanth Mohan and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Global Is the New Local: FPGA Architecture at 5nm and Beyond
Stefan Nikolić and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
Principles of Photonic Integrated Circuits: Materials, Device Physics, Guided Wave Design
Richard Osgood Jr and others (2021) · Springer
An Updated Comparison of Four Low Earth Orbit Satellite Constellation Systems to Provide Global Broadband
Nils Pachler and others (2021) · 2021 IEEE International Conference on Communications Workshops (ICC Workshops) · IEEE
NetCracker: A Peek into the Routing Architecture of Xilinx 7-Series FPGAs
Morten B. Petersen and others (2021) · The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays · Association for Computing Machinery
PUF-RAKE: A PUF-based robust and lightweight authentication and key establishment protocol
Mahmood Azhar Qureshi and others (2021) · IEEE Transactions on Dependable and Secure Computing
Python Tutorial, Release 3.10.1
Guido van Rossum and others (2021) · Python Software Foundation
Patching zero-day vulnerabilities: an empirical analysis
Yaman Roumani (2021) · Journal of Cybersecurity
Peano on Symbolization, Design Principles for Notations, and the Dot Notation
Dirk Schlimm (2021) · Philosophia Scientiae · OpenEdition
PSP 103.8.1 User's Manual
G. D. J. Smit and others (2021) · NXP Semiconductors and CEA-Leti
The decline of computers as a general purpose technology
Neil C. Thompson and others (2021) · Communications of the ACM · Association for Computing Machinery
How to Write ARM Assembly Language for the Raspberry Pi Pico
Low Level (2021) · YouTube · video
Texas Man Sentenced to 10 Years for Plotting to Attack Data Centers
United States Attorney's Office, Northern District of Texas (2021) · United States Department of Justice · United States Department of Justice
Evaluation of Planar MOSFET, FinFET and GAAFET in VLSI
VLSI Simplified (2021) · YouTube · video
Gödel's Reading of Peano's Arithmetices Principia
Jan von Plato (2021) · Philosophia Scientiae · Éditions Kimé
Logic as Calculus and Logic as Language: Too Suggestive to be Truthful?
Jan von Plato (2021) · Philosophia Scientiae · Éditions Kimé
Foureye: Defensive Deception based on Hypergame Theory Against Advanced Persistent Threats
Zelin Wan and others (2021)
The ethics of zero-day exploits—the NSA meets the trolley car
Stephen B. Wicker (2021) · Communications of the ACM
Gobra: Modular specification and verification of Go programs
Felix A. Wolf and others (2021) · 33rd International Conference on Computer Aided Verification (CAV) · Springer
[Project] TFET (Tunneling Field Effect Transistor) and Quantum Tunneling Effect
Dongju Yeom (2021) · YouTube · video