2022
307 references published this year.
IPv6 Security Issues: A Systematic Review Following PRISMA Guidelines
Shubair Abdulla and others (2022) · Baghdad Science Journal · College of Science for Women, University of Baghdad
Ransomware, Cyber Sanctions, and the Problem of Timing
C. Abely (2022)
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
Cybersecurity: Past, Present and Future
S. Alam (2022) · arXiv
Multiple classifications of audio data
Gustavo Alfonso Aguilar Alas and others (2022)
A deeper look into cybersecurity issues in the wake of Covid-19: A survey
Moatsum Alawida and others (2022) · Springer Science and Business Media LLC
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
Merging data graphs made easy
Dean Allemang (2022)
Merging tables is hard
Dean Allemang (2022)
P4DDPI: Securing P4-Programmable Data Plane Networks via DNS Deep Packet Inspection
Ali AlSabeh and others (2022) · Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb)
UAV Computing-Assisted Search and Rescue Mission Framework for Disaster and Harsh Environment Mitigation
Saeed Hamood Alsamhi and others (2022) · Drones · MDPI AG
Variable-Length Instruction Set: Feature or Bug?
Ihab Alshaer and others (2022) · IEEE
Empowering people to live a healthier day
Apple, (2022)
Bluebird: High-performance SDN for Bare-metal Cloud Services
M. Arumugam and others (2022) · 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)
Verifying hardware security modules with information-preserving refinement
A. Athalye and others (2022) · Symposium on Operating Systems Design and Implementa-tion
Platform ecosystems, market hierarchies and the megacorp: The case of Reliance Jio
Adrian Athique and others (2022) · SAGE Publications
Crime Chains
M. Bac (2022) · American Economic Association
Game Theoretic Analysis of Ransomware: A Preliminary Study
Rudra Prasad Baksi and others (2022) · International Conference on Information Systems Security and Privacy (ICISSP)
Pay or Not Pay? A Game-Theoretical Analysis of Ransomware Interactions Considering a Defender’s Deception Architecture
R. P. Baksi (2022) · IEEE
Open source platforms for enabling full-stack hardware-software research
J. Balkind (2022)
NSF Award Search: Award # 2033569 - A1: A Multi-Scale Open Knowledge Network for Biomedicine
Sergio Baranzini and others (2022)
A quantitative flavour of robust reachability
Sébastien Bardin and others (2022) · arXiv preprint arXiv:2212.05244
Open Knowledge Network Roadmap: Powering The Next Data Revolution
Chaitan Baru and others (2022)
Work in progress: a formally verified shadow stack for RISC-V
M. Baty and others (2022) · Workshop on the Security of Software/Hardware Interfaces
Foundations for entailment checking in quantitative separation logic
Kevin Batz and others (2022) · 31st European Symposium on Programming (ESOP) · Springer
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Thomas Bauereiss and others (2022) · Programming Languages and Systems (ESOP 2022)
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
Business Research Methods (5th ed.)
E. Bell and others (2022)
Integrating ADTs in KeY and their application to history-based reasoning about collection
Jinting Bian and others (2022) · Formal Methods in System Design · Springer Science and Business Media LLC
Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames: Proof files
Jinting Bian and others (2022) · Data Archiving and Networked Services (DANS) · Zenodo
Formal Processor Modeling for Analyzing Safety and Security Properties
Benjamin Binder and others (2022) · Embedded Real Time Systems (ERTS)
The Logical Writings of Karl Popper
David Binder and others (2022) · Springer
The Role of Causality in a Formal Definition of Timing Anomalies
Benjamin Binder and others (2022) · IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Investigating the Vulnerability of Programmable Data Planes to Static Analysis-Guided Attacks
Conor Black and others (2022) · IEEE International Conference on Network Softwarization (NetSoft)
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
The Hacker and the State: Cyber Attacks and the New Normal of Geopolitics
Ben Buchanan (2022)
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
Towards effective preservation of robust safety properties
Matteo Busi and others (2022) · ACM
GitHub Copilot investigation · Joseph Saveri Law Firm & Matthew Butterick
Matthew Butterick (2022)
GitHub Copilot litigation
Matthew Butterick (2022)
P
C, (2022) · Research
ProcessorFuzz: Guiding Processor Fuzzing using Control and Status Registers
Sadullah Canakci and others (2022)
A one-year review of RPKI operations
Massimo Candela (2022) · RIPE 84
Ambiguous Self-Induced Disinformation (ASID) Attacks: Weaponizing a Cognitive Deficiency
Matthew Canham and others (2022) · Journal of Information Warfare
Automated assistant adaptation of a response to an utterance and/or of processing of the utterance, based on determined interaction measure
Victor Carbune and others (2022)
Using Many Small 1T1C Memory Arrays in a Large and Dense Multicore Processor
Gunnar Carlstedt and others (2022) · Proceedings of the 2022 International Symposium on Memory Systems · Association for Computing Machinery
An investigation of individual willingness to pay ransomware
Anna Cartwright and others (2022) · Journal of Financial Crime · Emerald Publishing Limited
SCI-FI: Control Signal, Code, and Control Flow Integrity against Fault Injection Attacks
Thomas Chamelot and others (2022) · IEEE
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
Knowledge Graphs: Introduction, History and, Perspectives
Vinay K. Chaudhri and others (2022) · AI Magazine · Association for the Advancement of Artificial Intelligence
Design of High-performance SoC Simulation Model Based on Verilator
Yuan Chi and others (2022) · Proceedings of the 2022 5th International Conference on Algorithms, Computing and Artificial Intelligence · ACM
A programmable qudit-based quantum processor
Yulin Chi and others (2022) · Nature Communications · Springer Science and Business Media LLC
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
Joonwon Choi and others (2022) · Lecture notes in computer science · Springer Science+Business Media
The Complete Guide to SCION
Laurent Chuat and others (2022) · Springer
Data Plane
Laurent Chuat and others (2022) · The Complete Guide to SCION · Springer Nature
Extensions for the Control Plane
Laurent Chuat and others (2022) · The Complete Guide to SCION · Springer International Publishing
DISTANCE EXEMPLIFIED – NATO IN IRAQ
M.-L. Clausen and others (2022) · EXPLORING DISTANCE IN SECURITY FORCE ASSISTANCE: THE CASE OF NATO MISSION IRAQ (pp. 11–19). Danish Institute for International Studies. http://www.jstor.org/stable/resrep43420.7
A Complete Equational Theory for Quantum Circuits
Alexandre Clément and others (2022)
Multi-Spot Laser Fault Injection Setup: New Possibilities for Fault Injection Attacks
Brice Colombier and others (2022) · Lecture notes in computer science · Springer Science+Business Media
Common criteria for information technology security evaluation – cc v3.1
Common Criteria (2022) · release 5.
Reducing ransomware crime: analysis of victims
A. Y. Connolly and others (2022)
The reputational contagion effects of ransomware attacks
Shaen Corbet and others (2022) · Finance research letters · Elsevier BV
Looking at European Trends by Sub-Region and Country
A. H. Cordesman and others (2022) · NATO and the Ukraine: Reshaping NATO to Meet the Russian and Chinese Challenge (pp. 25–40). Center for Strategic and International Studies (CSIS). http://www.jstor.org/stable/resrep39637.11
Introduction to Algorithms
Thomas H. Cormen and others (2022) · MIT Press
Intel 64 and IA-32 Architectures Software Developer’s Manual Combined Volumes: 1, 2A, 2B, 2C, 2D, 3A, 3B, 3C, 3D, and 4
Intel Corporation (2022)
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover
Samuel Coward and others (2022) · Formal Aspects of Computing
Cyber risk and cybersecurity: a systematic review of data availability
F. Cremer and others (2022) · Springer Science and Business Media LLC
BTO-enhanced silicon photonics – a scalable PIC platform with ultra-efficient electro-optical modulation
Lukas Czornomaz and others (2022) · Optical Fiber Communication Conference
A High Performance and Low Power Triple-Node-Upset Self-Recoverable Latch Design
Y. Dai and others (2022) · MDPI AG
Sound automation of magic wands
Thibault Dardinier and others (2022) · 34th International Conference on Computer Aided Verification (CAV) · Springer
Implementation Study of a RISC-V Based SoC for IoT Using SKY130 Open PDK
T.J.G. da Silva (2022)
Creusot: a foundry for the deductive verication of rust programs
Xavier Denis and others (2022) · ICFEM 2022 - 23th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, Madrid, Spain, October 2022
Coherency Traffic Reduction in Manycore Systems
E. Derebasoglu and others (2022) · IEEE
Multiple System Estimation using Covariates having Missing Values and Measurement Error: Estimating the Size of the Māori Population in New Zealand
P. G. M. Van der Heijden and others (2022) · Oxford University Press (OUP)
Towards a formally verified hardware root-of-trust for data-oblivious computing
Lucas Deutschmann and others (2022) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
SynthCT: Towards Portable Constant-Time Code
Sushant Dinesh and others (2022) · Internet Society
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
A bottom-up formal verification approach for common criteria certification: application to JavaCard virtual machine
A. Djoudi (2022) · European Congress Embedded Real Time System
Microsoft Graph connectors overview
Microsoft Graph Developer Documentation (2022)
Polynomial Formal Verification of Arithmetic Circuits
Rolf Drechsler and others (2022) · Lecture notes on data engineering and communications technologies · Springer International Publishing
Towards Polynomial Formal Verification of Complex Arithmetic Circuits
R. Drechsler and others (2022) · IEEE
Your free trial version of “open-source” has expired, please update to a commercial plan
Christofer Dutz (2022)
Rodríguez, M
E, (2022) · Fukkink, S
Cyber Resilience Act
European Commission. (2022) · European Union. https://eur-lex.europa.eu/legalcontent/EN/TXT/?uri=CELEX:52022PC0454
Transmission Control Protocol (TCP)
W. Eddy (2022) · RFC Editor
Cyber risk and the US financial system: A pre-mortem analysis
Thomas M. Eisenbach and others (2022) · Journal of Financial Economics
Knowledge Graph Industry Survey Report
Enterprise Knowledge Graph Foundation and others (2022)
ANSI/ESDA/JEDEC JS-002 For Electrostatic Discharge Sensitivity Testing - Charged Device Model (CDM) Device Level
ANSI/ESDA/JEDEC, (2022) · Electronic Discharge Association and JEDEC Solid State Technology Association, Rome NY and Arlington VA
Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection
Mohammad Eslami and others (2022)
Improving Usable LDACS Data Rate via Certificate Validity Optimization
T. Ewert and others (2022) · IEEE
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
Mohammad Rahmani Fadiheh and others (2022) · IEEE Transactions on Computers
Progress toward a universal biomedical data translator
Karamarie Fecho and others (2022) · Wiley
A survey and perspective on electronic design automation tools for ensuring SoC security
T. Feng and others (2022) · IEEE
Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Cyber Persistence Theory
Michael P. Fischerkeller and others (2022) · Oxford University PressNew York
High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP
H. H. Folmer and others (2022) · Lecture notes in computer science · Springer Science+Business Media
Online Consumer Fraud Victimization and Reporting: A Quantitative Study of the Predictors and Motives
C. Fonseca and others (2022) · Informa UK Limited
Part 8: 2022 Wilson Research Group Functional Verification Study
Harry Foster (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
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
Matthias Függer and others (2022) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
A Systematic Review of Fault Injection Attacks on IoT Systems
Aakash Gangolli and others (2022) · Electronics · Multidisciplinary Digital Publishing Institute
Equivalence Checking 40 Years After: A Review of Bisimulation Tools
H. Garavel and others (2022) · Springer Nature Switzerland
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities
Aïna Linn Georges and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors
Saumil Gogri and others (2022) · 2022 23rd International Symposium on Quality Electronic Design (ISQED) · IEEE
Google Keynote (Google I/O ‘22)
Google, (2022)
Search Quality Evaluator Guidelines
Google, (2022)
SpecHLS: Speculative Accelerator Design Using High-Level Synthesis
Jean-Michel Gorius and others (2022) · IEEE Micro · Institute of Electrical and Electronics Engineers
LDACS Broadcast Digital Voice Concept and Expected Performance
T. Gräupl and others (2022) · IEEE
Money Over Morals: A Business Analysis of Conti Ransomware
I. W. Gray and others (2022) · IEEE
Level-up/level-down voltage level shifter for nano-scale applications
S. Gundala and others (2022) · Journal of Engineering Science and Technology
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
Väliaho and T
H, (2022)
Dijkstra's legacy on program verification
Reiner Hähnle (2022) · Edsger Wybe Dijkstra: His Life, Work, and Legacy · Association for Computing Machinery
Beyond geometry checks: Context-aware design verification
Sherif Hany and others (2022) · Siemens EDA
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2
David S. Hardin (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep and others (2022) · International Journal on Software Tools for Technology Transfer · Springer
Behind the Scenes of RPKI
Tomáš Hlaváček and others (2022) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Stalloris: RPKI downgrade attack
Tomas Hlavacek and others (2022) · 31st USENIX Security Symposium (USENIX Security ’22)
Aeneas: Rust Verification by Functional Translation
Son Ho and others (2022) · arXiv
Situational Crime Prevention (SCP) techniques to prevent and control cybercrimes: A focused systematic review
Heemeng Ho and others (2022) · Computers & Security · Elsevier BV
Machine Learning and the Platformization of the Military: A Study of Google's Machine Learning Platform TensorFlow
Marijn Hoijtink and others (2022) · Oxford University Press (OUP)
An Automatic Circuit Design Framework for Level Shifter Circuits
Jiwoo Hong and others (2022) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Prediction as Extraction of Discretion
Sun-ha Hong (2022) · 2022 ACM Conference on Fairness Accountability and Transparency · ACM
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
VWSIM: A Circuit Simulator
Warren A. Hunt and others (2022) · Proceedings of the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
Amendment to International Standards and Recommended Practices Annex 10 Aeronautical Telecommunications Volume III - Communication Systems to the Convention on International Civil Aviation - Chapter 13 L-Band Digital Aeronautical Communications System (LDACS)
ICAO, (2022) · ICAO Report PT-T19_WP03.1
The seer and the seen: Surveying Palantir’s surveillance platform
Andrew Iliadis and others (2022) · The Information Society · Informa UK Limited
ISO/IEC 27001:2022: Information security, cybersecurity and privacy protection — Information security management systems — Requirements
International Organization for Standardization. (2022) · https://www.iso.org/standard/27001
ISO/IEC 27005:2022: Information security, cybersecurity and privacy protection — Guidance on managing information security risks
International Organization for Standardization. (2022) · https://www.iso.org/standard/80585.html
ISO/IEC/IEEE 42010:2022: Software, systems and enterprise — Architecture description
International Organization for Standardization. (2022) · https://www.iso.org/standard/74393.html
Information security, cybersecurity and privacy protection — Evaluation criteria for IT security, ISO/IEC 15408-1:2022
ISO/IEC, (2022)
ISO/IEC 15408-1:2022 Information security, cybersecurity and privacy protection — Evaluation criteria for IT security — Part 1: Introduction and general model
ISO/IEC, (2022) · ISO/IEC 15408-1:2022, International Standardization Organization (ISO)/International Electrotechnical Commission (IEC)
Wolff
J, (2022)
The ukrainian internet under attack
Akshath Jain and others (2022) · ACM Internet Measurement Conference (IMC)
Know, Know Where, Knowwheregraph: A Densely Connected, Cross-Domain Knowledge Graph and Geo-Enrichment Service Stack for Applications in Environmental Intelligence
Krzysztof Janowicz and others (2022) · AI Magazine · Wiley
Secure Point-to-Point Long-Distance Multi-Hop Connections in a Dense Airplane Mesh-Network using LDACS
Leonardus J.A. Jansen and others (2022) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
Second-Order Recursions of First-Order Cybernetics: An "Experimental Epistemology"
Won Jeon (2022) · Open Philosophy
Evocatio: Conjuring bug capabilities from a single poc
Zhiyuan Jiang and others (2022) · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
Resource Sharing in Dataflow Circuits
Lana Josipović and others (2022) · 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), May 2022
Crime Survey & Cybercrime: The State-of-theart
M. Junger and others (2022)
Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification
Hrutvik Kanabar and others (2022) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · Schloss Dagstuhl – Leibniz Center for Informatics
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
Rahul Kande and others (2022) · 31st USENIX Security Symposium (USENIX Security 22)
The rise of ransomware: Forensic analysis for windows based ransomware attacks
I. Kara and others (2022) · Elsevier BV
CAD-FSL: Code-Aware Data Generation based Few-Shot Learning for Efficient Malware Detection
S. Kasarapu and others (2022) · ACM
Double-Extortion Ransomware: A Technical Analysis of Maze Ransomware
Q. Kerns and others (2022) · Springer International Publishing
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits
Faiq Khalid and others (2022) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
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
The Data Revolution: A Critical Analysis of Big Data, Open Data and Data Infrastructures
Rob Kitchin (2022) · Sage
Why Cyber Dogs Have Yet to Bark Loudly in Russia’s Invasion of Ukraine (Summer 2022)
Nadiya Kostyuk and others (2022) · Texas National Security Review
The practical roles of enterprise architecture artifacts: A classification and relationship
S. Kotusev and others (2022) · Elsevier BV
Fifth Generation Warfare, Hybrid Warfare, and Gray Zone Conflict
Armin Krishnan (2022) · Journal of Strategic Security
Palantir Explained: Chief Architect on Foundry in 2022
Akshay Krishnaswamy (2022)
HEROv2: Full-Stack Open-Source Research Platform for Heterogeneous Computing
Andreas Kurth and others (2022) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers
Strategic Plan Goal Three: Realize Tomorrow’s Government Today
Chief Executive Office and others (2022)
Detecting fault injection vulnerabilities in binaries with symbolic execution
Julien Lancia (2022) · 2022 14th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) · IEEE
Electronic Design Automation for Integrated Circuits Handbook
L. Lavagno and others (2022) · Lavagno, I. L. Markov, E. M. Grant, and K. L. Scheffer, Electronic Design Automation for Integrated Circuits Handbook. C
Internet-augmented language models through few-shot prompting for open-domain question answering
Angeliki Lazaridou and others (2022) · arXiv (Cornell University) · Cornell University
Finding real bugs in big programs with incorrectness logic
Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Cyber security: Critical infrastructure protection
Martti Lehto and others (2022) · Springer
The Ransomware Dilemma
P. Leo and others (2022)
Accurint for Legal Professionals
LexisNexis Risk Solutions (2022)
The Hanging ROA: A Secure and Scalable Encoding Scheme for Route Origin Authorization
Yanbiao Li and others (2022) · IEEE
Linear types for large-scale systems verification
Jialin Li and others (2022) · Association for Computing Machinery (ACM)
Preventive portfolio against data-selling ransomware—A game theory of encryption and deception
Zhen Li and others (2022) · Computers & Security · Elsevier BV
Arm Cortex-A53 MPCore Processor Technical Reference Manual, 2022
Arm Limited (2022) · ARM DDI 0500J.
CAESAR8: An agile enterprise architecture approach to managing information security risks
Paul Loft and others (2022) · Computers & Security · Elsevier BV
A Small State's Guide to Influence in World Politics
Tom Long (2022) · Oxford University PressNew York
Reconciling Verified-Circuit Development and Verilog Development
A. Lööw (2022) · TU Wien
The Law and Politics of Ransomware
A. Lubin (2022)
Moore's law: The journey ahead
Mark S. Lundstrom and others (2022) · Science · American Association for the Advancement of Science (AAAS)
Akkermans, R
M, (2022) · Kloosterman, E
Information, platformized
Lai Ma (2022) · Journal of the Association for Information Science and Technology · Wiley
Survey of Distributed File System Design Choices
Peter Macko and others (2022) · ACM Transactions on Storage
A Coq Framework for More Trustworthy DRAM Controllers
F. Lisboa Malaquias and others (2022) · ACM
RevaMp3D: Architecting the Processor Core and Cache Hierarchy for Systems with Monolithically-Integrated Logic and Memory
Nika Mansouri Ghiasi and others (2022)
Processor Extensions for Hardware Instruction Replay against Fault Injection Attacks
Noura Ait Manssour and others (2022) · IEEE
Verifying redundant-check based countermeasures: a case study
Thibault Martin and others (2022) · ACM Symposium on Applied Computing
Goodbye Cyberwar: Ukraine as Reality Check
L. Maschmeyer and others (2022) · CSS Policy Perspectives
Advancing the Security of LDACS
N. Mäurer and others (2022) · Institute of Electrical and Electronics Engineers (IEEE)
A Secure Ground Handover Protocol for LDACS
N. Mäurer and others (2022) · 2022 ENRI International Workshop on ATM/CNS (EIWAC), IWAC 2022
Security in Digital Aeronautical Communications A Comprehensive Gap Analysis
N. Mäurer and others (2022) · Elsevier BV
Training user-level differentially private machine-learned models
Hugh Brendan McMahan and others (2022)
Resisting AI: An Anti-Fascist Approach to Artificial Intelligence
Dan McQuillan (2022) · Bristol University Press
RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities
Xingyu Meng and others (2022) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
COORDINATE: A model to analyse the benefits and costs of coordinating cybercrime
Tom Meurs (2022) · Journal of Internet Services and Information Security · Innovative Information Science & Technology Research Group (ISYOU)
How attacker
T. Meurs and others (2022) · s effort, victim characteristics and context influence ransom requested, payment and financial loss’
NAS-ransomware: hoe ransomware-aanvallen tegen NAS-apparaten verschillen van reguliere ransomware-aanvallen
T. Meurs and others (2022) · Koninklijke Boom uitgevers
POSTER: How Attackers Determine the Ransom in Ransomware Attacks
T. Meurs and others (2022) · IEEE S&P Conference
Ransomware: How Attacker
T. Meurs and others (2022) · s Effort, Victim Characteristics and Context Influence Ransom Requested, Payment and Financial Loss’
Approches sémantiques des vulnérabilités matérielles
Sébastien Michelland (2022)
Maastricht University IDS
MasstrichtU-IDS. Knowledge Collaboratory (2022)
Couchsurfing with Bateson: An ecology of digital platforms
Karolina Mikołajewska-Zając and others (2022) · SAGE Publications
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
Survey of Control-flow Integrity Techniques for Real-time Embedded Systems
Tanmaya Mishra and others (2022) · ACM Transactions on Embedded Computing Systems · Association for Computing Machinery
The Global Semiconductor Chip Shortage: Causes, Implications, and Potential Remedies
Wassen A. M. Mohammad and others (2022) · IFAC-PapersOnLine · Elsevier BV
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
Axiomatic hardware-software contracts for security
Nicholas Mosier and others (2022) · Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA 2022)
Swarm intelligence, exact and matheuristic approaches for minimum weight directed dominating set problem
Mallikarjun Rao Nakkala and others (2022) · Engineering Applications of Artificial Intelligence · Elsevier BV
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element
Pascal Nasahl and others (2022) · IACR Transactions on Cryptographic Hardware and Embedded Systems · Universitatsbibliothek der Ruhr-Universitat Bochum
Helping Developers Create Meaningful Voice Interactions with Android
Rebecca Nathenson (2022)
VS Code - What’s the deal with the telemetry?
Rob O’Leary (2022)
Revizor: Testing Black-Box CPUs against Speculation Contracts
Oleksii Oleksenko and others (2022) · Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022)
Ontological Analysis and Redesign of Security Modeling in ArchiMate
Í. Oliveira and others (2022) · Springer International Publishing
Stop, DROP, and ROA: Effectiveness of Defenses through the Lens of DROP
Leo Oliver and others (2022) · ACM
A distributed approach to silicon compilation
Andreas Olofsson and others (2022) · Proceedings of the 59th ACM/IEEE Design Automation Conference · ACM
Enhancing the Security of the Software Supply Chain through Secure Software Development Practices
Office of Management and Budget (2022) · Executive Office of the President · Executive Office of the President
Integrating Risk and Security within a TOGAF® Enterprise Architecture
The Open Group. (2022) · https://pubs.opengroup.org/togaf-standard/integrating-risk-and-security/
Open Agile Architecture
The Open Group. (2022) · https://pubs.opengroup.org/architecture/o-aastandard-single/
The TOGAF® Standard, 10th Edition
The Open Group. (2022) · https://pubs.opengroup.org/togafstandard/
A novel programmable software datapath for software-defined networking
T. Osiński and others (2022) · ACM
Training language models to follow instructions with human feedback
Long Ouyang and others (2022) · arXiv
Analysis of Crypto-Ransomware Using Network Traffic
Otasowie Owolafe and others (2022) · Journal of Information Security and Cybercrimes Research · Naif University Publishing House
A Survey on Ransomware: Evolution, Taxonomy, and Defense Solutions
H. Oz and others (2022) · Association for Computing Machinery (ACM)
Bischoff
P, (2022) · Ransomware attacks cost the US $159.4bn in downtime alone in 2021
Strong-separation logic
Jens Pagel and others (2022) · ACM Transactions on Programming Languages and Systems (TOPLAS)
Palantir Apollo (white paper)
Palantir Technologies (2022)
Emergency Preparedness, Response, & Recovery
Palantir Technologies (2022)
Ontology: Finding meaning in data (Palantir RFx Blog Series, #1)
Palantir Technologies (2022)
The Growing Challenge of Semiconductor Design Leadership
R. Palma and others (2022) · Semiconductor Industry Association and Boston Consulting Group
NIS2 Directive
European Parliament. (2022) · https://eur-lex.europa.eu/legalcontent/EN/TXT/?uri=uriserv%3AOJ.L_.2022.333.01.0080.01.ENG&toc=OJ%3AL%3A2022%3A333%3ATOC
The Dark Side Of The Semiconductor Design Renaissance – Fixed Costs Soaring Due To Photomask Sets, Verification, and Validation
Dylan Patel (2022)
A Framework for Integrated Deterrence with Allies and Partners
S. L. Pettyjohn and others (2022) · No I in Team: Integrated Deterrence with Allies and Partners (pp. 10–19). Center for a New American Security. http://www.jstor.org/stable/resrep46863.7
Mathematical Foundations of Automata Theory
J. Pin (2022) · Pin, Mathematical Foundations of Automata Theory. CNRS
Suitability Classification of Retinal Fundus Images for Diabetic Retinopathy Using Deep Learning
German Pinedo-Diaz and others (2022) · Electronics · Multidisciplinary Digital Publishing Institute
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Elizabeth Polgreen and others (2022) · Computer Aided Verification · Springer
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Hernán Ponce-de-León and others (2022) · 2022 IEEE Symposium on Security and Privacy (SP)
Jupiter evolving: transforming google’s datacenter network via optical circuit switches and software-defined networking
L. Poutievski and others (2022) · Proceedings of the ACM SIGCOMM 2022 Conference
Evolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Themis: Accelerating the Detection of Route Origin Hijacking by Distinguishing Legitimate and Illegitimate MOAS
Lancheng Qin and others (2022) · 31st USENIX Security Symposium (USENIX Security 22)
TGI Fridays In Kandahar: Fast Food, Military Contracting, and Intimacies of Force in the Iraq and Afghanistan Wars
Z. Quadri (2022) · California Digital Library (CDL)
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
SSA-based Compiler Design
Fabrice Rastello and others (2022) · Springer Nature
Fractional cyber-neural systems — A brief survey
Emily Reed and others (2022) · Annual Reviews in Control
Biomedical Data Translator Platform moves to the next phase
Renaissance Computing Institute (RENCI) (2022)
Use cases show Translator’s potential to expedite clinical research
Renaissance Computing Institute (RENCI) (2022)
Effective Reductions of Mealy Machines
F. Renkin and others (2022) · Springer International Publishing
The Datagram Transport Layer Security (DTLS) Protocol Version 1.3
E. Rescorla and others (2022) · RFC Editor
Revisiting Fault Adversary Models – Hardware Faults in Theory and Practice
Jan Richter-Brockmann and others (2022) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering
Jan Richter-Brockmann and others (2022) · Universitatsbibliothek der Ruhr-Universitat Bochum
Amazon Makes Creepy Surveillance Robot Even Creepier With Yet More Ring Integration
Lucas Ropek (2022)
Moderating the Fediverse: Content Moderation on Distributed Social Media
Alan Z. Rozenshtein (2022)
Dynamics of Targeted Ransomware Negotiation
P. Ryan and others (2022) · Institute of Electrical and Electronics Engineers (IEEE)
Hilt and F
S, (2022)
Mansfield-Devine
S, (2022)
Monitoring OpenFlow Virtual Networks via Coordinated Switch-Based Traffic Mirroring
S. Sadrhaghighi and others (2022) · Institute of Electrical and Electronics Engineers (IEEE)
Digital disintermediation, technical and national sovereignty: the Internet shutdown of Catalonia's 'independence referendum'
Víctor Sampedro and others (2022) · European Journal of Communication
Palantir Apollo Demo Day
Shyam Sankar (2022)
Decentralized Infrastructure for (Neuro)science
Jonny L. Saunders (2022)
Fictitious Play in Zero-Sum Stochastic Games
M. O. Sayin and others (2022) · Society for Industrial & Applied Mathematics (SIAM)
Loki: Hardening code obfuscation against automated attacks
M. Schloegel and others (2022) · 31st USENIX Security Symposium (USENIX Security 22)
A Reorganization at Elsevier
Roger C. Schonfeld (2022)
täkō
B. C. Schwedock and others (2022) · ACM
Hyper-Specific Prefixes: Gotta Enjoy the Little Things in Interdomain Routing
Khwaja Zubair Sediqi and others (2022) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
A criticism of the technological singularity
Alexander K. Seewald (2022) · Disruptive Technologies in Media, Arts and Design · Springer
Russian Views on Sino-Russian Military- Technical Cooperation
C. Sendstad and others (2022) · M. Bergmann & A. Lohsen (Eds.), Understanding the Broader Transatlantic Security Implications of Greater Sino-Russian Military Alignment (pp. 6–12). Center for Strategic and International Studies (CSIS). http://www.jstor.org/stable/resrep45513.4
Situating Search
Chirag Suresh Shah and others (2022) · ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR)
HPC Interconnects at the End of Moore's Law
John Shalf (2022)
Relaxed virtual memory in Armv8-A
Ben Simner and others (2022) · Programming Languages and Systems · Springer International Publishing
Large Language Models Encode Clinical Knowledge
Karan Singhal and others (2022)
Secure Datalink Unlocks Future Capacity
SESAR SJU (2022) · Technical Report Solution PJ.14-02-01
CreuSAT: Using Rust and Creusot to create the world’s fastest deductively verified SAT solver
Sarek Høverstad Skotåm (2022)
Understanding realistic attacks on airborne collision avoidance systems
M. Smith and others (2022) · Springer Science and Business Media LLC
CellIFT: Leveraging cells for scalable and precise dynamic information flow tracking in RTL
F. Solt and others (2022) · 31st USENIX Security Symposium (USENIX Security 22)
Overseas bases and US strategy: Optimising America’s Military Footprint
J. Stevenson (2022)
James V Stone -- Books
James V. Stone (2022) · University of Sheffield
Cymru
T, (2022)
Garkava and D
T, (2022)
From Users to (Sense)Makers: On the Pivotal Role of Stigmergic Social Annotation in the Quest for Collective Sensemaking
Ronen Tamari and others (2022) · Proceedings of the 33rd ACM Conference on Hypertext and Social Media (HT '22) · ACM
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
S. Tang and others (2022) · IEEE
Internet for the People: The Fight for Our Digital Future
Ben Tarnoff (2022) · Verso Books
Satellite-based communications security: A survey of threats, solutions, and research challenges
Pietro Tedeschi and others (2022) · Computer Networks · Elsevier BV
P4SF: A High-Performance Stateful Firewall on Commodity P4-Programmable Switch
Linyih Teng and others (2022) · NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium · IEEE
Security architecture and procedures for 5G system
3rd Generation Partnership Project (3GPP) (2022) · 3rd Generation Partnership Project (3GPP)
3GPP System Architecture Evolution (SAE); Security Architecture
3rd Generation Partnership Project (3GPP) (2022) · 3rd Generation Partnership Project (3GPP)
Small States Reconsidered: Small is What We Make of It
Sarina Theys (2022) · Journal of International Affairs 74, no. 2 (2022): 81–96. https://www.jstor.org/stable/27169804.
Exploration of Fault Effects on Formal RISC-V Microarchitecture Models
Simon Tollec and others (2022) · IEEE
The Effect of the Russian-Ukrainian Conflict from the Perspective of Internet eXchanges
Cristian Trusin and others (2022) · arXiv
Biolink Model: A universal schema for knowledge graphs in clinical, biomedical, and translational science
Deepak Raveendran Unni and others (2022) · Clinical and Translational Science · Wiley
Malware Detection: A Framework for Reverse Engineered Android Applications Through Machine Learning Algorithms
B. Urooj and others (2022) · Institute of Electrical and Electronics Engineers (IEEE)
Dyadic Cyber Incident Dataset v 2.0
Brandon Valeriano (2022) · Harvard Dataverse
Adversarial Logic
Julien Vanegue (2022) · Springer Nature Switzerland
Proving full-system security properties under multiple attacker models on capability machines
Thomas Van Strydonck and others (2022) · Proceedings - Computer Security Foundations Workshop/Proceedings · Institute of Electrical and Electronics Engineers
Mondo: Unifying diseases for the world, by the world
Nicole A. Vasilevsky and others (2022)
A Case for Second-Level Software Cache Coherency on Many-Core Accelerators
Arthur Vianes and others (2022) · IEEE International Workshop on Rapid System Prototyping (RSP)
Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest
Jose Rodrigo Sanchez Vicarte and others (2022) · 2022 IEEE Symposium on Security and Privacy (SP) · IEEE
The nature of security: A conceptual framework for integral-comprehensive modeling of IT security and cybersecurity
R. Villalón-Fonseca (2022) · Elsevier BV
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović and others (2022) · International Journal on Software Tools for Technology Transfer
The transnational cybercrime extortion landscape and the pandemic: Changes in ransomware offender tactics, attack scalability and the organisation of offending
D. S. Wall (2022)
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)
Data-plane security applications in adversarial settings
L. Wang and others (2022) · Association for Computing Machinery (ACM)
Hertzbleed: Turning power Side-Channel attacks into remote timing attacks on x86
Yingchen Wang and others (2022) · 31st USENIX Security Symposium (USENIX Security)
Reviewing Estimates of Cybercrime Victimisation and Cyber Risk Likelihood
Daniel Woods and others (2022) · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
The bedrock cache coherence protocol and system v1.1
M. Wyse (2022)
The BlackParrot BedRock Cache Coherence System
Mark Wyse and others (2022)
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
A CFI Verification System based on the RISC-V Instruction Trace Encoder
Anthony Zgheib and others (2022) · IEEE
Constellation: An open-source soccapable noc generator
J. Zhao and others (2022) · 2022 15th IEEE/ACM International Workshop on Network on Chip Architectures (NoCArc), IEEE
Meissa: scalable network testing for programmable data planes
N. Zheng and others (2022) · Proceedings of the ACM SIGCOMM 2022 Conference