2022
46 references published this year.
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
UAV Computing-Assisted Search and Rescue Mission Framework for Disaster and Harsh Environment Mitigation
Saeed Hamood Alsamhi and others (2022) · Drones · MDPI AG
Foundations for entailment checking in quantitative separation logic
Kevin Batz and others (2022) · 31st European Symposium on Programming (ESOP) · Springer
Analysis of systems security engineering design principles for the development of secure and resilient systems
Paul M. Beach and others (2022) · Handbook of Scholarly Publications from the Air Force Institute of Technology (AFIT), Volume 1, 2000–2020 · CRC Press
The Logical Writings of Karl Popper
David Binder and others (2022) · Springer
Footprint Logic for Object-Oriented Components
Frank S. de Boer and others (2022) · Formal Aspects of Component Software · Springer International Publishing
Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic
William D. Brewer (2022) · Kurt Gödel: The Genius of Metamathematics · Springer
Verified Paging for x86-64 in Rust
Matthias Brun (2022) · ETH Zurich
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
A lightweight device-level Public Key Infrastructure with DRAM based Physical Unclonable Function (PUF) for secure cyber physical systems
Susovan Chanda and others (2022) · Computer Communications
The Complete Guide to SCION
Laurent Chuat and others (2022) · Springer
A Complete Equational Theory for Quantum Circuits
Alexandre Clément and others (2022)
Sound automation of magic wands
Thibault Dardinier and others (2022) · 34th International Conference on Computer Aided Verification (CAV) · Springer
Posthoc Verification and the Fallibility of the Ground Truth
Yifan Ding and others (2022) · Proceedings of the First Workshop on Dynamic Adversarial Data Collection · Association for Computational Linguistics
Cyber risk and the US financial system: A pre-mortem analysis
Thomas M. Eisenbach and others (2022) · Journal of Financial Economics
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
Securing On-chip Interconnect against Delay Trojan using Dynamic Adaptive Caging
Ruchika Gupta and others (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 · Association for Computing Machinery
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep and others (2022) · International Journal on Software Tools for Technology Transfer · Springer
Undecidability of dyadic first-order logic in Coq
Johannes Hostert and others (2022) · 13th International Conference on Interactive Theorem Proving (ITP 2022) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Second-Order Recursions of First-Order Cybernetics: An "Experimental Epistemology"
Won Jeon (2022) · Open Philosophy
A Charge Domain P-8T SRAM Compute-In-Memory with Low-Cost DAC/ADC Operation for 4-bit Input Processing
Joonhyung Kim and others (2022) · Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design · Association for Computing Machinery
A Coq Library for Mechanised First-Order Logic
Dominik Kirst and others (2022) · The Coq Workshop 2022
Fifth Generation Warfare, Hybrid Warfare, and Gray Zone Conflict
Armin Krishnan (2022) · Journal of Strategic Security
Cyber security: Critical infrastructure protection
Martti Lehto and others (2022) · Springer
Moore's law: The journey ahead
Mark S. Lundstrom and others (2022) · Science · American Association for the Advancement of Science (AAAS)
Survey of Distributed File System Design Choices
Peter Macko and others (2022) · ACM Transactions on Storage
RevaMp3D: Architecting the Processor Core and Cache Hierarchy for Systems with Monolithically-Integrated Logic and Memory
Nika Mansouri Ghiasi and others (2022)
Social isolation and self-isolation and digitalization of services during the COVID-19 pandemic: a sociological analysis
G. A. Mirzakulova and others (2022) · The Journal of Psychology and Sociology · al-Farabi Kazakh National University
Soft Embedded FPGA Fabrics: Top-down Physical Design & Applications
Prashanth Mohan (2022)
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti and others (2022) · Leveraging Applications of Formal Methods, Verification and Validation · Springer
Strong-separation logic
Jens Pagel and others (2022) · ACM Transactions on Programming Languages and Systems (TOPLAS)
Evolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
A Historical Twist on Long-Range Wireless: Building a 103 km Multi-Hop Network Replicating Claude Chappe's Telegraph
Mina Rady and others (2022) · Sensors · MDPI AG
Fractional cyber-neural systems — A brief survey
Emily Reed and others (2022) · Annual Reviews in Control
Digital disintermediation, technical and national sovereignty: the Internet shutdown of Catalonia's 'independence referendum'
Víctor Sampedro and others (2022) · European Journal of Communication
A criticism of the technological singularity
Alexander K. Seewald (2022) · Disruptive Technologies in Media, Arts and Design · Springer
HPC Interconnects at the End of Moore's Law
John Shalf (2022)
Satellite-based communications security: A survey of threats, solutions, and research challenges
Pietro Tedeschi and others (2022) · Computer Networks · Elsevier BV
The Effect of the Russian-Ukrainian Conflict from the Perspective of Internet eXchanges
Cristian Trusin and others (2022) · arXiv
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović and others (2022) · International Journal on Software Tools for Technology Transfer
Foureye: Defensive Deception Against Advanced Persistent Threats via Hypergame Theory
Zelin Wan and others (2022) · IEEE Transactions on Network and Service Management · Institute of Electrical and Electronics Engineers (IEEE)
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