2022
26 references published this year.
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
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin et al. (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