2023 · dr. heap references

Matthieu Baty and others (2023) · Proceedings - Computer Security Foundations Workshop/Proceedings · Institute of Electrical and Electronics Engineers

A Mixed-Methods Approach to Understanding User Trust after Voice Assistant Failures

Amanda Baughan and others (2023)

The Peril of Peaking Powers: Economic Slowdowns and Implications for China's Next Decade

Michael Beckley (2023) · International Security · The MIT Press

Formal Semantics of Hardware Compilation Framework

Samira Ait Bensaid (2023)

Open-Source HW/SW Co-Simulation Using QEMU and GHDL for VHDL-Based SoC Design

Giorgio Biagetti and others (2023) · Electronics · Multidisciplinary Digital Publishing Institute

Mitigating data plane device compromise in programmable networks

Conor Black (2023)

The Impact of Ransomware–A Comparison of Worldwide Governmental Policies and Recommendations for Future Directives

J. Blatchly (2023)

Dynamic Separation Logic

Frank S. de Boer and others (2023) · 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS) · Electronic Notes in Theoretical Informatics and Computer Science

Lithium niobate photonics: Unlocking the electromagnetic spectrum

Andreas Boes and others (2023) · Science · American Association for the Advancement of Science (AAAS)

A Compositional Methodology to Harden Programs Against Multi-Fault Attacks

Etienne Boespflug and others (2023) · Workshop on Fault Detection and Tolerance in Cryptography (FDTC)

Platformization in the built environment: the political techno-economy of Building Information Modeling

Yana Boeva and others (2023) · Informa UK Limited

Software-Only Control-Flow Integrity Against Fault Injection Attacks

François Bonnal and others (2023) · IEEE

X ray nanoprobe for fault attacks and circuit edits on 28-nm integrated circuits

Sophie Bouat and others (2023) · IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)

Specification and Verification of Sequential Machines in Rule-Based Hardware Languages

Thomas Bourgeat (2023)

Suspicion Machines Methodology

Justin-Casimir Braun and others (2023)

Sparks of Artificial General Intelligence: Early experiments with GPT-4

Sébastien Bubeck and others (2023)

On the use of AI-based tools like ChatGPT to support management research

B. Burger and others (2023) · Emerald

ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance

S. Canakci and others (2023) · IEEE

The future transistors

Wei Cao and others (2023) · Nature

Network diversity, market entry, and the global internet backbone

El Hadi Caoui and others (2023) · Social Science Research Network

A Survey and Analysis of TLS Interception Mechanisms and Motivations: Exploring how end-to-end TLS is made "end-to-me" for web traffic

Xavier de Carné de Carnavalet and others (2023) · ACM Computing Surveys

How cyber insurance influences the ransomware payment decision: theory and evidence

A. Cartwright and others (2023) · Springer Science and Business Media LLC

MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks

Thomas Chamelot and others (2023) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers

CIFER: A 12nm, 16mm2, 22-Core SoC with a 1541 LUT6/mm2 1.92 MOPS/LUT, Fully Synthesizable, CacheCoherent, Embedded FPGA

Ting-Jung Chang and others (2023) · IEEE Custom Integrated Circuits Conference (CICC)

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

Qinlin Chen and others (2023) · Association for Computing Machinery (ACM)

Improving the Inference of Sibling Autonomous Systems

Zhiyi Chen and others (2023) · Springer Nature Switzerland

PMFault: Faulting and Bricking Server CPUs through Management Interfaces

Zitai Chen and others (2023) · IACR Transactions on Cryptographic Hardware and Embedded Systems · International Association for Cryptologic Research

SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR

Jianyi Cheng and others (2023)

Précis of Making Sense of Number, Bit-by-Bit

Samuel J. Cheyette (2023)

China’s Digital Silk Road

Chien-peng Chung (2023) · World Scientific Pub Co Pte Ltd

UK government slammed for Palantir 'free trial period' deal in Ukraine housing scheme

Lindsay Clark (2023)

The Long Search for Collatz Counterexamples

Oliver Clay (2023) · Journal of Humanistic Mathematics · Claremont Colleges Library

An Anatomy of Crypto-Enabled Cybercrimes

L. W. Cong and others (2023) · National Bureau of Economic Research

Inside the Suspicion Machine

Eva Constantaras and others (2023)

Before Facebook and Twitter: The Online Computing Revolution of the 1980s

David Scott Cooper (2023)

Abstract interpretation of graphs

P. Cousot (2023) · Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

The customer service of the new bing chat is amazing

Curious_Evolver, (2023)

Search and rescue with sparsely connected swarms

Ulrich Dah-Achinanon and others (2023) · Autonomous Robots

A survey of post-quantum cryptography: Start of a new race

Duc-Thuan Dam and others (2023) · Cryptography

Metior: A Comprehensive Model to Evaluate Obfuscating Side-Channel Defense Schemes

Peter W. Deutsch and others (2023) · ACM

A Scalable Formal Verification Methodology for Data-Oblivious Hardware

Lucas Deutschmann and others (2023)

Immortality is attainable by 2030: Google scientist

Adriana Diaz (2023)

Tiktok’s enshittification

Cory Doctorow (2023)

Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor

Dong, Ning and others (2023)

Digital routes and borders in the Middle East: the geopolitical underpinnings of Internet connectivity

Frédérick Douzet and others (2023) · Territory, Politics, Governance · Informa UK Limited

Adversarial Reachability for Program-level Security Analysis

Soline Ducousso and others (2023) · Springer Nature Switzerland

Moving code analysis from safety to security: attacker model

Soline Ducousso (2023)

Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser Injection

Mathieu Dumont and others (2023) · Lecture notes in computer science · Springer Science+Business Media

The tensions of cyber-resilience: From sensemaking to practice

B. Dupont and others (2023) · Elsevier BV

A Comparison of Key Risk Management Frameworks: COSO-ERM, NIST RMF, ISO 31.000, COBIT

A. Efe (2023) · Journal of Auditing and Assurance Services

Google reshuffles virtual assistant unit with focus on Bard A.I. technology

Jennifer Elias (2023)

The Economic Impact of Extreme Cyber Risk Scenarios

M. Eling and others (2023) · Informa UK Limited

On the Susceptibility of QDI Circuits to Transient Faults

Raghda El Shehaby and others (2023) · Formal Modeling and Analysis of Timed Systems · Springer Nature Switzerland

Securing the Software Supply Chain: Recommended Practices for Managing Open-Source Software and Software Bill of Materials

Enduring Security Framework Software Supply Chain Working Panel (2023) · National Security Agency, Cybersecurity and Infrastructure Security Agency, and Office of the Director of National Intelligence · National Security Agency, Cybersecurity and Infrastructure Security Agency, and Office of the Director of National Intelligence

Internet Organised Crime Threat Assessment (IOCTA) 2023

Europol, (2023) · Tech

Combined Fault Injection and Real-Time Side-Channel Analysis for Android Secure-Boot Bypassing

Clément Fanjas and others (2023) · Lecture notes in computer science · Springer Science+Business Media

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

William M. Farmer (2023) · Springer

Combined Private Circuits - Combined Security Refurbished

Jakob Feldtkeller and others (2023) · ACM

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres and others (2023)

Amazon officially becomes a health care provider after closing purchase of One Medical

Jon Fingas (2023)

Pause Giant AI Experiments: An Open Letter

Future of Life Institute (2023)

RPKI Time-of-Flight: Tracking Delays in the Management, Control, and Data Planes

Romain Fontugne and others (2023) · Springer Nature Switzerland

Functional verification study - 2022

H. Foster (2023) · 2022, march

Behind-the-Design: Meet Copilot

Jon Friedman and others (2023)

Architectural Contracts for Safe Speculation

Franz A. Fuchs and others (2023) · 2023 IEEE 41st International Conference on Computer Design (ICCD)

DECADES: A 67mm2, 1.46TOPS, 55 Giga Cache-Coherent 64-bit RISC-V Instructions per second, Heterogeneous Manycore SoC with 109 Tiles including Accelerators, Intelligent Storage, and eFPGA in 12nm FinFET

F. Gao and others (2023) · IEEE

Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections

Nicolas Gaudin and others (2023) · IEEE

Statement from the listed authors of Stochastic Parrots on the “AI pause” letter, 2023-02-31

Timnit Gebru and others (2023)

CompaSeC: A Compiler-Assisted Security Countermeasure to Address Instruction Skip Fault Attacks on RISC-V

Johannes Geier and others (2023) · Asia and South Pacific Design Automation Conference (ASP-DAC)

Self-Checking Performance Verification Methodology for Complex SoCs

Prokash Ghosh and others (2023) · 2023 24th International Symposium on Quality Electronic Design (ISQED) · IEEE

SAMVA: Static Analysis for Multi-fault Attack Paths Determination

Antoine Gicquel and others (2023) · Constructive Side-Channel Analysis and Secure Design · Springer Nature Switzerland

Cybercrime Bitcoin Revenue Estimations: Quantifying the Impact of Methodology and Coverage

G. Gomez and others (2023) · ACM

2022 Q4 & Fiscal Year Earnings Webcast Transcript

Google, (2023)

Why we focus on AI (and to what end)

Google, (2023)

The Java Language Specification.

James Gosling and others (2023)

Using C2 Problem Space to Integrate Cyber and Kinetic Operations

Tim Grant (2023) · Proceedings of 28th International Command and Control Research and Technology Symposium

A SPICE-Oriented Method for Finding Multiple DC Solutions in Nonlinear Circuits

S. Hałgas (2023) · MDPI AG

OpenFASOC: An Open Platform Towards Analog and Mixed-Signal Automation and Acceleration of Chip Design

Ali Hammoud and others (2023) · International Symposium on Devices, Circuits and Systems (ISDCS)

Mechanised Semantics for Gated Static Single Assignment

Yann Herklotz and others (2023) · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Beyond Limits: How to Disable Validators in Secure Networks

Tomas Hlavacek and others (2023) · ACM

Drone Swarms to Support Search and Rescue Operations: Opportunities and Challenges

Maria-Theresa Oanh Hoang and others (2023) · Cultural Robotics: Social Robots and Their Emergent Cultural Ecologies · Springer International Publishing

Wireless Link Selection Methods for Maritime Communication Access Networks—A Deep Learning Approach

Michał Hoeft and others (2023) · Sensors

Reduce Verification Complexity in Low/Multi-Power Designs

M Hogan (2023)

SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing

Muhammad Monir Hossain and others (2023) · Design, Automation, and Test in Europe

Fiat Lux: Illuminating IPv6 Apportionment with Different Datasets

Amanda Hsu and others (2023) · Association for Computing Machinery (ACM)

Wafer-scale Computing: Advancements, Challenges, and Future Perspectives

Yang Hu and others (2023) · arXiv

The digital rise and its economic implications for China through the Digital Silk Road under the Belt and Road Initiative

Fakhar Hussain and others (2023) · Asian Journal of Comparative Politics · SAGE Publications

Imaging at ASML

Huygens Optics (2023) · YouTube · video

IEEE Standard for Standard SystemC® Language Reference Manual

Unattributed (2023)

IEEE Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language

Unattributed (2023) · IEEE

One schema to rule them all: How Schema.org models the world of search

Andrew Iliadis and others (2023) · Journal of the Association for Information Science and Technology · Wiley

ISO/IEC 27032:2023: Cybersecurity — Guidelines for Internet security

International Organization for Standardization. (2023) · https://www.iso.org/standard/76070.html

Crime against businesses: findings from the 2023 Commercial Victimisation Survey

IPSOS, (2023) · Tech

Flatley

J, (2023) · Crime against businesses: findings from the 2022 Commercial Victimisation Survey

Improving Bit-Blasting for Nonlinear Integer Constraints

Fuqi Jia and others (2023) · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

A formal analysis of Dutch Generic Integral Tunnel Design models

Kevin Jilissen and others (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing · Association for Computing Machinery

Deductive verification of active objects with Crowbar

Eduard Kamburjan and others (2023) · Science of Computer Programming · Elsevier BV

Resource- and Workload-Aware Model Parallelism-Inspired Novel Malware Detection for IoT Devices

S. Kasarapu and others (2023) · Institute of Electrical and Electronics Engineers (IEEE)

The Threat of Optical Transmission Jamming

Marcin Kowalczyk and others (2023) · Journal of Telecommunications and Information Technology · National Institute of Telecommunications

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)

Aman Kumar and others (2023) · Design and Verification Conference and Exhibition Europe (DVCon Europe)

Data Cartels: The Companies That Control and Monopolize Our Information

Sarah Lamdan (2023) · Stanford University Press

The Evolving Menace of Ransomware: A Comparative Analysis of Pre-pandemic and Mid-pandemic Attacks

M. Lang and others (2023) · Association for Computing Machinery (ACM)

Hiding in the Crowd: Ransomware Protection by Adopting Camouflage and Hiding Strategy With the Link File

Soohan Lee and others (2023) · IEEE Access · Institute of Electrical and Electronics Engineers

Opportunities and Risks of 5G Military Use in Europe

Mary Lee and others (2023) · RAND Corporation · RAND Corporation

SSA Translation Is an Abstract Interpretation

Matthieu Lemerre (2023) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)

CIFER: A Cache-Coherent 12-nm 16-mm2 SoC With Four 64-Bit RISC-V Application Cores, 18 32-Bit RISC-V Compute Cores, and a 1541 LUT6/mm2 Synthesizable eFPGA

A. Li and others (2023) · Institute of Electrical and Electronics Engineers (IEEE)

iEDA: An Open-Source Intelligent Physical Implementation Toolkit and Library

X. Li and others (2023) · arXiv

Making AI Less "Thirsty": Uncovering and Addressing the Secret Water Footprint of AI Models

Pengfei Li and others (2023)

RoVista: Measuring and Analyzing the Route Origin Validation (ROV) in RPKI

Weitong Li and others (2023) · ACM

StarCoder: may the source be with you!

Raymond Li and others (2023)

Arm Architecture Reference Manual for A-profile architecture, ARM DDI 0487J.a

Arm Limited (2023)

Arm Cortex-A76 Core Processor Technical Reference Manual, 2023

Arm Limited (2023) · ARM 100798 r4p1.

Arm Cortex-A78 Core Processor Technical Reference Manual, 2023

Arm Limited (2023) · ARM 101430 r1p2.

Arm Cortex-X1 Core Processor Technical Reference Manual, 2023

Arm Limited (2023) · ARM 101433 r1p2.

Mitigating Data Exfiltration Ransomware through Advanced Decoy File Strategies

S. Liu and others (2023) · Springer Science and Business Media LLC

Impact of the first months of war on routing and latency in Ukraine

Valerio Luconi and others (2023) · Computer Networks · Elsevier BV

Aluminum Nitride Thin Film Based Reconfigurable Integrated Photonic Devices

Zhifang Luo and others (2023) · Institute of Electrical and Electronics Engineers (IEEE)

Bada, A

M, (2023) · Hutchings, Y

Towards a Methodology to Design Provably Secure Cyber-physical Systems

F. Lisboa Malaquias and others (2023) · Association for Computing Machinery (ACM)

From the Standards to Silicon: Formally Proved Memory Controllers

F. L. Malaquias and others (2023) · Springer Nature Switzerland

Variable Delayed Dual-Core Lockstep (VDCLS) Processor for Safety and Security Applications

Krzysztof Marcinek and others (2023) · MDPI AG

Aidwashing Surveillance: Critiquing the Corporate Exploitation of Humanitarian Crises

Aaron Martin (2023) · Surveillance & Society · Surveillance Studies Network

Mitigating and responding to cognitive warfare

Yvonne R. Masakowski and others (2023) · NATO Science and Technology Organization

Our latest health AI research updates

Yossi Matias and others (2023)

Your files have been encrypted: a crime script analysis of ransomware attacks

S. R. Matthijsse and others (2023) · Springer Science and Business Media LLC

L-Band Digital Aeronautical Communications System (LDACS)

N. Mäurer and others (2023) · RFC Editor

Secure Communications in Next Generation Digital Aeronautical Datalinks

Nils Mäurer (2023)

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations

Quentin Meunier and others (2023) · 20th International Conference on Security and Cryptography (SECRYPT)

Ransomware Economics: A Two-Step Approach To Model Ransom Paid

Tom Meurs and others (2023) · 2023 APWG Symposium on Electronic Crime Research (eCrime) · IEEE

Augmented Language Models: a Survey

Grégoire Mialon and others (2023) · arXiv

A coherence-capable write-back l1 data cache for ariane

M. Miceli (2023)

The Chatbots Are Here, and the Internet Industry Is in a Tizzy

Tripp Mickle and others (2023)

The Future of Work With AI - Microsoft March 2023 Event

Microsoft, (2023)

Het OM in cijfers

Openbaar Ministerie (2023)

Collatz conjecture becomes theorem

Grażyna Mirkowska and others (2023) · arXiv

Testing a Formally Verified Compiler

David Monniaux and others (2023) · Springer Nature Switzerland

3 Steps to Calculate Total Enterprise IT Energy Consumption Using DCIM

Robert Moore and others (2023) · Schneider Electric Energy Management Research Center

The scalable precision medicine open knowledge engine (SPOKE): a massive knowledge graph of biomedical information

John H Morris and others (2023) · Bioinformatics · Oxford University Press (OUP)

Between a rock and a hard(ening) place: Cyber insurance in the ransomware era

Gareth Mott and others (2023) · Computers & Security · Elsevier BV

Threat-Based Simulation of Data Exfiltration Toward Mitigating Multiple Ransomware Extortions

Michael D. Mundt and others (2023) · Digital Threats Research and Practice · Association for Computing Machinery

Fundamentally Understanding and Solving RowHammer

Onur Mutlu and others (2023) · Proceedings of the 28th Asia and South Pacific Design Automation Conference

EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks

Pascal Nasahl and others (2023) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)

SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan

Pascal Nasahl and others (2023) · ACM

Bitwuzla

Aina Niemetz and others (2023) · Springer Nature Switzerland

S-400s, Disinformation, and Anti-American Sentiment in Turkey

VA 23529 Education 2014 – B.S. VITA Russell Alexander Korb Old Dominion University College of Arts & Letters Graduate Program for International Studies 7004 Batten Arts & Letters Norfolk (2023) · Academic Conferences and Publishing International Ltd

History of the Internet, Search Engines, and More

Rhoda Okunev (2023) · Apress

Intelligent design of electronic assets (idea) & posh open source hardware (posh)

A. Olofsson (2023)

Update to Memorandum M-22-18, Enhancing the Security of the Software Supply Chain through Secure Software Development Practices

Office of Management and Budget (2023) · Executive Office of the President · Executive Office of the President

A Tale of Two Markets: Investigating the Ransomware Payments Economy

K. Oosthoek and others (2023) · Association for Computing Machinery (ACM)

Treleaven, J

P, (2023)

Verification of SoC Using Advanced Verification Methodology

Pranuti Pamula and others (2023)

Towards gradually typed hardware description languages

P. Pan and others (2023) · Rem

Thermodynamics of Information

Juan M. R. Parrondo (2023) · arXiv

Design and verification of pipelined circuits with Timed Petri Nets

Rémi Parrot and others (2023) · Discrete Event Dynamic Systems

A Comparative Analysis of Methods and Tools for Identification of GPU-Friendly Algorithms

J. Pati (2023)

It

N. Pattnaik and others (2023) · s more than just money: The real-world harms from ransomware attacks’

A Small State’s Cyber Posture: Deterrence by Punishment and Beyond

Torbjørn Pedersen (2023) · Scandinavian Military Studies

An Introduction to String Diagrams for Computer Scientists

Robin Piedeleu and others (2023) · arXiv

Google plans to boost Medicaid information during redeterminations

Rebecca Pifer (2023)

Platforms, programmability, and precarity: The platformization of research repositories in academic libraries

Jean-Christophe Plantin and others (2023) · New Media & Society · SAGE Publications

Combining SABSA and Vis4Sec to the Process Framework IdMSecMan to Continuously Improve Identity Management Security in Heterogeneous ICT Infrastructures

D. Pöhn and others (2023) · MDPI AG

Anti-American Stance in Turkey: A Twitter Case Study

Gowri Prathap and others (2023) · Academic Conferences and Publishing International Ltd

Electro- and Thermo-Optics Response of X-Cut Thin Film LiNbO3 Waveguides

Alessandro Prencipe and others (2023) · IEEE Journal of Quantum Electronics · IEEE Photonics Society

So, what’s next?

Denis Pushkarev (2023)

Measuring and characterizing cloud provider connectivity

Junxue Qiu and others (2023) · Proceedings of the ACM Internet Measurement Conference (IMC)

Integrated silicon photonic MEMS

Niels Quack and others (2023) · Springer Science and Business Media LLC

Nautilus: A Framework for Cross-Layer Cartography of Submarine Cables and IP Links

Alagappan Ramanathan and others (2023) · Proceedings of the ACM on Measurement and Analysis of Computing Systems

This is How You Lose the Transient Execution War

Allison Randal (2023) · 2023

Transient execution vulnerabilities in the security context of server hardware

Allison Randal (2023) · CL Technical Reports · University of Cambridge, Computer Laboratory

Annual Report 2022

RELX, (2023)

The Resource Public Key Infrastructure (RPKI): A Survey on Measurements and Future Prospects

Nils Miro Rodday and others (2023) · IEEE Transactions on Network and Service Management · Institute of Electrical and Electronics Engineers

Code Llama: Open Foundation Models for Code

Baptiste Rozière and others (2023) · arXiv (Cornell University) · Cornell University

How Cigna Saves Millions by Having Its Doctors Reject Claims Without Reading Them

Patrick Rucker and others (2023)

Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs

Kaki Ryan and others (2023)

IPv6 Hitlists at Scale: Be Careful What You Wish For

Erik Rye and others (2023) · ACM

5G, 6G, and Beyond: Recent advances and future challenges

Fatima Salahdine and others (2023) · Annals of Telecommunications

Reconfigurable FET Approximate Computing-based Accelerator for Deep Learning Applications

Raghul Saravanan and others (2023) · IEEE International Symposium on Circuits and Systems proceedings

Packed to the Brim: Investigating the Impact of Highly Responsive Prefixes on Internet-wide Measurement Campaigns

Patrick Sattler and others (2023) · Association for Computing Machinery (ACM)

Re: NIH RFI on Plan to Enhance Public Access to the Results of NIH-Supported Research

Jonny L. Saunders (2023)

Surveillance Graphs: Vulgarity and Cloud Orthodoxy in Linked Data Infrastructures

Jonny L. Saunders (2023)

An Early Future of the Internet

Jens Schröter (2023) · Tech Imaginations · universi — Universitätsverlag Siegen

Live Long and Prosper: Analyzing Long-Lived MOAS Prefixes in BGP

Khwaja Zubair Sediqi and others (2023) · IEEE

A comprehensive survey on non-invasive fault injection attacks

Amit Mazumder Shuvo and others (2023) · Cryptology ePrint Archive (2023).

Low-Latency Masking with Arbitrary Protection Order Based on Click Elements

Mateus Simões and others (2023) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2023)

Open Source Hardware in Manufacturing – Opportunities and Challenges

Maximilian Stange and others (2023) · Proceedings of the Changeable, Agile, Reconfigurable and Virtual Production Conference and the World Mass Customization & Personalization Conference · Springer

Global mobile OS market share 2022

Statista, (2023)

The Need for New Architectural Truths

M. van. Steenbergen (2023) · Springer Nature Switzerland

How Ready is DNS for an IPv6-Only World?

Florian Streibelt and others (2023) · Springer Nature Switzerland

Verification of Red-Black Trees in KeY - A Case Study in Deductive Java Verification

Johanna Stuber (2023) · Karlsruhe Institute of Technology

Imaginaries of omniscience: Automating intelligence in the US Department of Defense

Lucy Suchman (2023) · Social Studies of Science · SAGE Publications

Cyber Threat Intelligence Mining for Proactive Cybersecurity Defense: A Survey and New Perspectives

Nan Sun and others (2023) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers (IEEE)

Analysis of Wind Effect on Drone Relay Communications

Yuya Tajima and others (2023) · Drones

SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits

Huiyu Tan and others (2023) · arXiv (Cornell University) · Cornell University

Security Verification of Low-Trust Architectures

Qinhan Tan and others (2023) · ACM SIGSAC Conference on Computer and Communications Security (CCS '23)

The evolution of ransomware attacks in light of recent cyber threats. How can geopolitical conflicts influence the cyber climate?

F. Teichmann and others (2023) · Springer Fachmedien Wiesbaden GmbH

AutoChip: Automating HDL Generation Using LLM Feedback

Shailja Thakur and others (2023)

µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections

Simon Tollec and others (2023) · TU Wien

The Effects of the Russo-Ukrainian War on Network Infrastructures Through the Lens of BGP

Zisis Tsiatsikas and others (2023) · Computer Security. ESORICS 2022 International Workshops · Springer International Publishing

Efabless Unveils Winners of 3rd AI-Generated Open-Source Chip Design Challenge

A. Vedanayagam (2023)

Re-decentralizing the Web, For Good This Time

Ruben Verborgh (2023) · Linking the World’s Information · ACM

Leveraging Latency: How the Weak Compel the Strong with Nuclear Technology

Tristan A. Volpe (2023)

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Zilong Wang and others (2023) · ACM SIGSAC Conference on Computer and Communications Security (CCS)

The Global Semiconductor Talent Shortage

K. Weisz and others (2023) · Deloitte

Scaling Agile Company Wide: The Organizational Challenge of Combining Agile Scaling Frameworks and Enterprise Architecture in Service Companies

R. M. Van Wessel and others (2023) · Institute of Electrical and Electronics Engineers (IEEE)

Lessons Lost: Incident Response in the Age of Cyber Insurance and Breach Attorneys

D. W. Woods and others (2023) · 32nd USENIX Security Symposium (USENIX Security 23)

Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking

Jiahui Xu and others (2023) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)

Avoiding Route Origin Authorizations (ROAs) Containing Multiple IP Prefixes

Z. Yan and others (2023) · RFC Editor

Pensieve: Microarchitectural Modeling for Security Evaluation

Y. Yang and others (2023) · ACM

Zero trust cybersecurity: Critical success factors and A maturity assessment framework

William Yeoh and others (2023) · Computers & Security

Deterrence, Backup, or Insurance: Game-Theoretic Modeling of Ransomware

Tongxin Yin and others (2023) · Games · Multidisciplinary Digital Publishing Institute

Low Earth Orbit Satellite Security and Reliability: Issues, Solutions, and the Road Ahead

Pingyue Yue and others (2023) · IEEE Communications Surveys & Tutorials

CIFER: Code Integrity and control Flow verification for programs Executed on a RISC-V core

Anthony Zgheib and others (2023) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)

C-SAR: SAT Attack Resistant Logic Locking for RSFQ Circuits

Junyao Zhang and others (2023)

Technological Prospection and Requirements of 800G Transmission Systems for Ultra-long-haul All-optical Terrestrial Backbone Networks

Dechao Zhang and others (2023) · Journal of Lightwave Technology

Ultimate SLH: Taking speculative load hardening to the next level

Z. Zhang and others (2023) · 32nd USENIX Security Symposium (USENIX Security 23)

Formal Temporal Characterization of Register Vulnerability in Digital Circuits

D. Zuccalà and others (2023) · IEEE