2021
368 references published this year.
Automated Masking of Software Implementations on Industrial Microcontrollers
Arnold Abromeit and others (2021) · Design, Automation, and Test in Europe
Boosting Search Engines with Interactive Agents
Leonard Adolphs and others (2021) · arXiv
Reason first, then respond: Modular Generation for Knowledge-infused Dialogue
Leonard Adolphs and others (2021) · Conference on Empirical Methods in Natural Language Processing
GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation
S. Ainsworth (2021) · ACM
SoC Trust Validation Using Assertion-Based Security Monitors
Khitam M. Alatoun and others (2021) · International Symposium on Quality Electronic Design (ISQED)
Third time's not a charm: Exploiting SNMPv3 for router fingerprinting
Taha Albakour and others (2021) · ACM Internet Measurement Conference (IMC)
Armed Cats: Formal Concurrency Modelling at Arm
Jade Alglave and others (2021) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Digital Twins and Living Models at NASA
B. Danette Allen (2021) · Digital Twin Summit, NASA Langley Research Center, Hampton, Virginia
The Circle Of Life: A Study of The Malware Lifecycle
O. Alrawi and others (2021) · 30th USENIX Security Symposium (USENIX Security 21)
Microarchitecture-aware Fault Models: Experimental Evidence and Cross-Layer Inference Methodology
Ihab Alshaer and others (2021) · International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)
Enterprise Architecture Frameworks Assessment: Capabilities, Cyber Security and Resiliency Review
Hilalah F. Al-Turkistani and others (2021) · International Conference on Artificial Intelligence and Data Analytics (CAIDA) · Institute of Electrical and Electronics Engineers
Security Engineering: A Guide to Building Dependable Distributed Systems
Ross J. Anderson (2021) · John Wiley & Sons, Inc., USA, 3rd edition
AMBA AXI and ACE protocol specification
Unattributed (2021) · ARM Limited
Quantum circuits with many photons on a programmable nanophotonic chip
Unattributed (2021) · Springer Science and Business Media LLC
Internet Protocol Suite (IPS) for Aeronautical Safety Services Part 1 Airborne IPS System Technical Requirements
ARINC, (2021) · Technical Report ARINC SPECIFI- CATION 858P1
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
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models
Alasdair Armstrong and others (2021) · Springer International Publishing
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
Numerosity and cumulative surface area are perceived holistically as integral dimensions.
Lauren S Aulet and others (2021) · Journal of Experimental Psychology General · American Psychological Association
Advances in Data Management in the Big Data Era
Antonia Azzini and others (2021) · IFIP advances in information and communication technology · Springer Science+Business Media
Stewardship of global collective behavior
Joseph B. Bak-Coleman and others (2021) · Proceedings of the National Academy of Sciences · National Academy of Sciences
A Survey of Wireless Networks for Future Aerial Communications (FACOM)
A. Baltaci and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
The SMT-LIB standard: version 2.6
C. Barrett and others (2021)
Creation of Entangled Photonic States Using Linear Optics
Sara Bartolucci and others (2021) · arXiv
Switch networks for photonic fusion-based quantum computing
Sara Bartolucci and others (2021) · arXiv
Ransomware: Recent advances, analysis, challenges and future research directions
Craig Beaman and others (2021) · Computers & Security · Elsevier BV
Effects of botnets – a human-organisational approach
Z. Bederna and others (2021) · War Studies University
Speculative interference attacks: breaking invisible speculation schemes
Mohammad Behnia and others (2021)
PROSECCO: Formally-proven secure compiled code
Nicolas Belleville and others (2021) · 28th Computer Electronics Security Application Rendezvous (C&ESAR)
LDACS Flight Trials: Demonstration and Performance Analysis of the Future Aeronautical Communications System
M. A. Bellido-Manganell and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
On the Dangers of Stochastic Parrots
Emily M. Bender and others (2021) · ACM Conference on Fairness, Accountability, and Transparency (FAccT)
A Comprehensive Study of Bugs in Software Defined Networks
Ayush Bhardwaj and others (2021) · IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
NrOS: Effective replication and sharing in an operating system
Ankit Bhardwaj and others (2021) · 15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, July 14-16 · USENIX Association
Integrating ADTs in KeY and their Application to History-based Reasoning
Jinting Bian and others (2021) · 24th International Symposium on Formal Methods (FM) · Springer
Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files
Jinting Bian and others (2021) · Zenodo
Integrating ADTs in KeY and their Application to History-based Reasoning : Video Material
Jinting Bian and others (2021) · Data Archiving and Networked Services (DANS) · Royal Netherlands Academy of Arts and Sciences
Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames
Jinting Bian and others (2021) · figshare
LexisNexis to Provide Giant Database of Personal Information to ICE
Sam Biddle (2021)
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test
Benjamin Binder and others (2021) · 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) · IEEE
Algorithmic injustice: a relational ethics approach
Abeba Birhane (2021) · Patterns · Elsevier BV
Multimodal datasets: misogyny, pornography, and malignant stereotypes
Abeba Birhane and others (2021)
The Values Encoded in Machine Learning Research
Abeba Birhane and others (2021)
A Survey on the Verification of Adversarial Data Planes in Software-Defined Networks
C. Black and others (2021) · ACM
CONTRACT BETWEEN THE COUNTY OF LOS ANGELES AND cFIVE SOLUTIONS, INC. FOR CONSOLIDATED CRIMINAL HISTORY REPORTING SYSTEM MAINTENANCE, SUPPORT, AND ENHANCEMENT SERVICES
Information Systems Advisory Board and others (2021)
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
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
James Bornholt and others (2021) · ACM
Comparing the victimization impact of cybercrime and traditional crime: Literature review and future research directions
Jildau Borwell and others (2021) · Journal of Digital Social Research
FPGA Architecture: Principles and Progression
Andrew Boutros and others (2021) · IEEE Circuits and Systems Magazine · Institute of Electrical and Electronics Engineers (IEEE)
Leibniz's Binary Algebra and its Role in the Expression and Classification of Numbers
Mattia Brancato (2021) · Philosophia Scientiae · Éditions Kimé
Predict and Surveil: Data, Discretion, and the Future of Policing
Sarah Brayne (2021) · Oxford University Press
Amazon’s Ring is the largest civilian surveillance network the US has ever seen
Lauren Bridges (2021)
Biolink/biolink-model: 2.2.5
Richard Bruskiewich and others (2021)
Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver
Randal E. Bryant and others (2021) · Automated Deduction (CADE 2021) · Springer
BPF Map Tracing: Hot Updates of Stateful Programs
J. Burton (2021) · Linux Plumbers Conference
Topographic numerosity maps cover subitizing and estimation ranges
Y. Cai and others (2021) · Springer Science and Business Media LLC
AS classification dataset - [2019/01/01-2021/04/01]
CAIDA, (2021)
AS relationships dataset - [2010/01/01-2021/04/01]
CAIDA, (2021)
The IPv4 routed /24 topology dataset - [2021/05/17-23]
CAIDA, (2021)
The IPv6 routed /48 topology dataset - [2021/05/17-23]
CAIDA, (2021)
Post quantum cryptographic keys generated with physical unclonable functions
Bertrand Cambou and others (2021) · Applied Sciences
Avenir: Managing data plane diversity with control plane synthesis
E. H. Campbell and others (2021) · NSDI
DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing
Sadullah Canakci and others (2021) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
The Current State of NATO Forces and Military Budgets
M. F. Cancian and others (2021) · Future NATO Enlargement: Force Requirements and Budget Costs (pp. 27–34). Center for Strategic and International Studies (CSIS). http://www.jstor.org/stable/resrep35120.7
NTT’s RPKI Deployment Update
Massimo Candela (2021) · RIPE 82
RPKI Automation and Monitoring
Massimo Candela (2021) · LACNIC 35
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
New Article Sharing Framework released
Todd A. Carpenter (2021)
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
Software fault injection for secswift qualification, 2021.
Hervé Chauvet and others (2021)
Making Sense of Number, Bit-by-Bit
Samuel J. Cheyette (2021)
The psychophysics of number arise from resource-limited spatial memory
S. J. Cheyette and others (2021) · Proceedings of the Annual Meeting of the Cognitive Science Society
Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy
Rutvik Choudhary and others (2021) · ACM
Cyber Ranges and TestBeds for Education, Training, and Research
Nestoras Chouliaras and others (2021) · Applied Sciences · MDPI AG
Leaking Secrets through Modern Branch Predictor in the Speculative World
M. H. I. Chowdhuryy and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
Wire sorts: a language abstraction for safe hardware composition
Michael Christensen and others (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation · ACM
Amazon did the math and would actually prefer getting sued
Mitchell Clark (2021)
TRAITOR: A Low-Cost Evaluation Platform for Multifault Injection
Ludovic Claudepierre and others (2021) · ACM
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
The Evolving Threat of Ransomware: From Extortion to Blackmail
L. Connolly and others (2021)
Heuristics for k-domination models of facility location problems in street networks
Padraig Corcoran and others (2021) · Computers & Operations Research · Elsevier BV
Principles of Abstract Interpretation
Patrick Cousot (2021) · MIT Press
Technology and the Historian: Transformations in the Digital Age
Adam Crymble (2021)
Hunting the Haunter — Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
Lesly-Ann Daniel and others (2021) · Network and Distributed System Security Symposium
Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code
Lesly-Ann Daniel (2021)
Palantir Apollo: Powering Cloud 2.0
Greg DeArment (2021)
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.
Isadora: Automated Information Flow Property Generation for Hardware Designs
Calvin Deutschbein and others (2021) · Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security (ASHES 2021)
A methodology for creating information–flow specifications of hardware designs.
C. Deutschbein and others (2021)
Mining Secure Behavior of Hardware Designs
Calvin Deutschbein (2021)
What’s new in Google Assistant | Keynote
Google Developers (2021)
An Empirical Study of OSS-Fuzz Bugs
Zhen Yu Ding and others (2021) · IEEE
Posthoc verification and the fallibility of the ground truth
Yifan Ding and others (2021) · arXiv
Integrated photonics on thin-film lithium niobate
Di Zhu and others (2021) · Advances in Optics and Photonics · Optica Publishing Group
Intrusive Passive Optical Tapping Device
Ismel Dominguez and others (2021) · IEEE Access · Institute of Electrical and Electronics Engineers (IEEE)
PolyAdd: Polynomial Formal Verification of Adder Circuits
Rolf Drechsler (2021) · IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
Modeling and Simulating Electromagnetic Fault Injection
M. Dumont and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
Twenty years of Escaping the Java Sandbox
Ieu Eauvidoum and others (2021) · Phrack Magazine
Destination Earth
European Commission (2021)
EOSC Architecture Working Group View on the Minimum Viable EOSC: Report from the EOSC Executive Board Working Group (WG) Architecture
Directorate-General for Research and Innovation (European Commission) and others (2021) · Publications Office of the European Union
EOSC Interoperability Framework: Report from the EOSC Executive Board Working Groups FAIR and Architecture
Directorate-General for Research and Innovation (European Commission) and others (2021) · Publications Office of the European Union
Bibliometric analysis of scientific literacy using VOS viewer: Analysis of science education
D. Effendi and others (2021) · IOP Publishing
Cyber risk management: History and future research directions
M. Eling and others (2021) · Wiley
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Akram El-Korashy and others (2021) · IEEE
Making medical information easily accessible to healthcare professionals
Elsevier, and others (2021)
Integration verification across software and hardware for a simple embedded system
Andres Erbsen and others (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation · ACM
FPGA for Aggregate Processing: The Good, The Bad, and The Ugly
Zubeyr F. Eryilmaz and others (2021) · IEEE International Conference on Data Engineering (ICDE) · Institute of Electrical and Electronics Engineers
EUROCONTROL Forecast Update 2021-2024
EUROCONTROL, (2021) · EUROCON- TROL Four Year Forecast v.1., EUROCONTROL
Internet Organised Crime Threat Assessment (IOCTA) 2021
Europol, (2021) · Tech
Group Key Distribution Procedures for the L-Band Digital Aeronautical Communications System (LDACS)
T. Ewert and others (2021) · IEEE
Platform NHS: Reconfiguring a Public Service in the Age of Digital Capitalism
Rachel Faulkner-Gurstein and others (2021) · Science Technology & Human Values · SAGE Publishing
The ties that un-bind: decoupling IP from web services and sockets for robust addressing agility at CDN-scale
Marwan Fayed and others (2021) · ACM SIGCOMM Conference
Orion: Google’s Software-Defined Networking Control Plane
A. D. Ferguson and others (2021) · 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)
Invited: Bambu: an Open-Source Research Framework for the High-Level Synthesis of Complex Applications
F. Ferrandi and others (2021) · IEEE
WiDir: A Wireless-Enabled Directory Cache Coherence Protocol
Antonio Franques and others (2021) · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · Institute of Electrical and Electronics Engineers
Peano and the Debate on Infinitesimals
Paolo Freguglia (2021) · Philosophia Scientiae · Éditions Kimé
Winning the Ransomware Lottery: A Game-Theoretic Approach to Preventing Ransomware Attacks
Erick Galinkin (2021) · Decision and Game Theory for Security · Springer International Publishing
Defense advanced research projects agency: Overview and issues for congress
Marcey E. Gallo (2021) · Congressional Research Service
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
Karthik Ganesan and others (2021)
Leaked Documents Show How Amazon’s Astro Robot Tracks Everything You Do
Matthew Gault and others (2021)
Efficient and provable local capability revocation using uninitialized capabilities
Aïna Linn Georges and others (2021) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
INTROSPECTRE: A Pre-Silicon Framework for Discovery and Analysis of Transient Execution Vulnerabilities
Moein Ghaniyoun and others (2021) · ACM/IEEE International Symposium on Computer Architecture (ISCA)
Phishing Evolves: Analyzing the Enduring Cybercrime
Adam Kavon Ghazi-Tehrani and others (2021) · Victims & Offenders · Taylor & Francis
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Barbara Gigerl and others (2021) · 30th USENIX Security Symposium (USENIX Security 21) · USENIX Association
Seven years in the life of Hypergiants' off-nets
Petros Gigis and others (2021) · ACM
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference
Guillaume Girol and others (2021) · Springer International Publishing
A Survey of Cybersecurity Risk Management Frameworks
O. Giuca and others (2021) · Springer International Publishing
Explanation Container in Case-Based Biomedical Question-Answering
Prateek Goel and others (2021)
Compositional coordinator synthesis of extended finite automata
M. A. Goorden and others (2021) · Springer Science and Business Media LLC
Model properties for efficient synthesis of nonblocking modular supervisors
Martijn A. Goorden and others (2021) · Control Engineering Practice · Elsevier BV
Security Architecture Framework for Enterprises
Michelle Graham and others (2021) · Enterprise Information Systems · Springer International Publishing
Performance-Optimizing Secure GBAS Over LDACS
T. Gräupl and others (2021) · IEEE
FaultLine: Software-Based Fault Injection on Memory Transfers
Joseph Gravellier and others (2021) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
SideLine: How Delay-Lines (May) Leak Secrets from Your SoC
Joseph Gravellier and others (2021) · Lecture notes in computer science · Springer Science+Business Media
The worsening state of ransomware
Samuel Greengard (2021) · Communications of the ACM · Association for Computing Machinery
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
Performance engineering of proof-based software systems at scale
J. S. Gross (2021)
SimpliFI: Hardware Simulation of Embedded Software Fault Attacks
Jacob Grycel and others (2021) · MDPI AG
Hardware-Software Contracts for Secure Speculation
M. Guarnieri and others (2021) · IEEE
In search of dense subgraphs: How good is greedy peeling?
Naga V. C. Gudapati and others (2021) · Wiley
Oz, A
H, (2021) · Aris, A
we wait, because we know you
P. Hack and others (2021)
P4RCProbe for Evaluating the Performance of P4Runtime-based Controllers
H. Harkous and others (2021) · IEEE
Performance Study of P4 Programmable Devices: Flow Scalability and Rule Update Responsiveness
H. Harkous and others (2021) · IEEE
An Introduction to Universal Verification Methodology for the digital design of Integrated circuits (IC’s): A Review
N. Harshitha and others (2021) · IEEE
ARCHIE: A QEMU-Based Framework for Architecture-Independent Evaluation of Faults
Florian Hauschild and others (2021) · IEEE
A tri-level optimization model for power grid defense with the consideration of post-allocated DGs against coordinated cyber-physical attacks
H. He and others (2021) · Elsevier BV
An Empirical Study of the Reliability of High-Level Synthesis Tools
Yann Herklotz and others (2021) · 2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) · IEEE
Formal verification of high-level synthesis
Yann Herklotz and others (2021) · Association for Computing Machinery (ACM)
Side-Channel Analysis of the Xilinx Zynq UltraScale+ Encryption Engine
Benjamin Hettwer and others (2021) · IACR Transactions on Cryptographic Hardware and Embedded Systems · International Association for Cryptologic Research
Verifying OpenJDK's LinkedList using KeY (Extended Paper): Proof Files
Hans-Dieter A. Hiep and others (2021) · Zenodo (CERN European Organization for Nuclear Research) · European Organization for Nuclear Research
A Multivocal Literature Review on Growing Social Engineering Based Cyber-Attacks/Threats During the COVID-19 Pandemic: Challenges and Prospective Solutions
M. Hijji and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
A review of the semantic web field
Pascal Hitzler (2021) · Association for Computing Machinery (ACM)
Non-Satellite Broadband Maritime Communications for e-Navigation Services
Michał Hoeft and others (2021) · IEEE Access
ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries
Max Hoffmann and others (2021) · IEEE Transactions on Information Forensics and Security · Institute of Electrical and Electronics Engineers (IEEE)
Control Creep: When the Data Always Travels, So Do the Harms
Sun-ha Hong (2021)
Seeing stones: pandemic reveals Palantir's troubling reach in Europe
Daniel Howden and others (2021)
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations
Yao Hsiao and others (2021) · MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture · ACM
UniT: Multimodal Multitask Learning with a Unified Transformer
Ronghang Hu and others (2021)
Internet of things and ransomware: Evolution, mitigation and prevention
M. Humayun and others (2021) · Elsevier BV
Data sovereignty: A review
Patrik Hummel and others (2021) · Big Data & Society · SAGE Publications
DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs
Jaewon Hur and others (2021) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Doc 4444 - Procedures for Air Navigation Services (PANS) - Air Traffic Management
ICAO, (2021) · ICAO Doc 4444, International Civil Aviation Organization (ICAO)
Comparative Analysis between Verilog and Chisel in RISC-V Core Design and Verification
J. Im and others (2021) · IEEE
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
ISO/IEC 11770-3:2021 Information security — Key management — Part 3: Mechanisms using asymmetric techniques
ISO/IEC, (2021) · ISO 11770-3:2021, International Standardization Organization (ISO)/International Electrotechnical Commission (IEC)
Phishing Attacks and Protection Against Them
M. A. Ivanov and others (2021) · IEEE
DiMaggio
J, (2021)
A Framework for Enterprise Cybersecurity Risk Management
S. Jarjoui and others (2021) · Springer International Publishing
Software testing: a craftsman's approach
Paul C. Jorgensen and others (2021) · CRC Press
Buffer Placement and Sizing for High-Performance Dataflow Circuits
Lana Josipović and others (2021) · ACM Transactions on Reconfigurable Technology and Systems · Association for Computing Machinery
From C/C++ Code to High-Performance Dataflow Circuits
Lana Josipović and others (2021) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Crime chain: het verband tussen DDoS-aanvallen en Phishing
M. Junger and others (2021)
Solar superstorms: planning for an internet apocalypse
Sangeetha Abdu Jyothi (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference
Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation
Nursultan Kabylkas and others (2021)
Quantum walk and its application domains: A systematic review
Karuna Kadian and others (2021) · Computer Science Review · Elsevier BV
Dedekinds Sätze und Peanos Axiomata
Reinhard Kahle (2021) · Philosophia Scientiae
Probabilistic profiling of stateful data planes for adversarial testing
Qiao Kang and others (2021) · Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems · ACM
Language-parametric compiler validation with application to LLVM
Theodoros Kasampalis and others (2021) · Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems · ACM
A Mechanically Verified Theory of Contracts
Stéphane Kastenbaum and others (2021) · International Colloquium on Theoretical Aspects of Computing (ICTAC) · Springer International Publishing
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
When do businesses report cybercrime? Findings from a UK study
S. Kemp and others (2021) · SAGE Publications
An Exhaustive Survey on P4 Programmable Data Plane Switches: Taxonomy, Applications, Challenges, and Future Trends
E. F. Kfoury and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
European academic brain drain: A meta-synthesis
Jawaria Khan (2021) · European Journal of Education
Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection
Pantea Kiaei and others (2021) · IEEE
Analyzing Traffic by Domain Name in the Data Plane
J. Kim and others (2021) · ACM
Cybersecurity for autonomous vehicles: Review of attacks and defense
Kyounggon Kim and others (2021) · Elsevier BV
Visual number sense in untrained deep neural networks
GwangSu Kim and others (2021) · Science Advances · American Association for the Advancement of Science
Systems and methods for annotating and linking electronic documents
Eric Knudson and others (2021)
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
GenMC: A Model Checker for Weak Memory Models
Michalis Kokologiannakis and others (2021) · Springer International Publishing
Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings
S. Kommrusch and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
The theoretical basis of enterprise architecture: A critical review and taxonomy of relevant theories
S. Kotusev and others (2021) · SAGE Publications
Quantum technology for military applications
Michal Krelina (2021) · EPJ Quantum Technology
AS-level BGP community usage classification
Thomas Krenc and others (2021) · ACM
Post-Fabrication Microarchitecture
C. Kumar and others (2021) · ACM
Computer Networking: A Top-Down Approach
James F. Kurose and others (2021) · Pearson, 8th edition
Y
L, (2021)
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Guilhem Lacombe and others (2021) · PROOFS Workshop (Security Proofs for Embedded Systems)
MLIR: Scaling Compiler Infrastructure for Domain Specific Computation
Chris Lattner and others (2021) · 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) · IEEE
The Path to Successful Wafer-Scale Integration: The Cerebras Story
Gary Lauterbach (2021) · IEEE Micro · Institute of Electrical and Electronics Engineers (IEEE)
An Amazon server outage caused problems for Alexa, Ring, Disney Plus, and deliveries
Richard Lawler (2021)
Cybersecurity: Risk management framework and investment cost analysis
I. Lee (2021) · Elsevier BV
SMIV: A 16-nm 25-mm² SoC for IoT With Arm Cortex-A53, eFPGA, and Coherent Accelerators
Sae Kyu Lee and others (2021) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Amazon built its own health-care service for employees
Rachel Lerman (2021)
Bad Beliefs: Why They Happen to Good People
Neil L. Levy (2021)
Game Theory of Data-selling Ransomware
Z. Li and others (2021) · River Publishers
A Secure and Formally Verified Linux KVM Hypervisor
Shih-Wei Li and others (2021) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design
T. Li and others (2021) · IEEE
Man–Computer Symbiosis (1960)
J. C. R. Licklider (2021) · The MIT Press
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
B. Liu and others (2021) · 30th USENIX Security Symposium (USENIX Security 21)
Dying of a hundred good symptoms: why good security can still fail - a literature review and analysis
P. Loft and others (2021) · Informa UK Limited
Single-photon detection and cryogenic reconfigurability in lithium niobate nanophotonic circuits
Emma Lomonte and others (2021) · Nature Communications · Springer Science and Business Media LLC
Lutsig: a verified Verilog compiler for verified circuit development
Andreas Lööw (2021) · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
Alive2: bounded translation validation for LLVM
Nuno P. Lopes and others (2021)
Dolma: Securing speculation with the principle of transient non-observability.
K. Loughlin and others (2021) · USENIX Security Symposium
How the Vietnamese State Uses Cyber Troops to Shape Online Discourse
Dien Nguyen An Luong (2021) · ISEAS-Yusof Ishak Institute, March 21, 2021.
Fuentes, F
M, (2021)
Junger, A
M, (2021) · Abhishta and L
Communicating context to a device using an imperceptible audio identifier
Satayan Mahajan (2021)
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
Pono: A Flexible and Extensible SMT-Based Model Checker
Makai Mann and others (2021) · Computer Aided Verification · Springer International Publishing
Conflict-driven clause learning SAT solvers
J. Marques-Silva and others (2021) · Handbook of Satisfiability. ios Press
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
SPOKE Cloud
Mate Bioservices Inc (2021)
A Secure Cell-Attachment Procedure of LDACS
N. Mäurer and others (2021) · IEEE
Cybersecurity for the L-band Digital Aeronautical Communications System (LDACS)
Nils Mäurer and others (2021)
Flight Trial Demonstration of Secure GBAS via the L-band Digital Aeronautical Communications System (LDACS)
Nils Mäurer and others (2021) · IEEE Aerospace and Electronic Systems Magazine · Institute of Electrical and Electronics Engineers
Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS
Nils Mäurer and others (2021) · International Conference on Security and Cryptography
PMAKE: Physical Unclonable Function-based Mutual Authentication Key Exchange Scheme for Digital Aeronautical Communications
N. Mäurer and others (2021) · 2021 IFIP/IEEE International Symposium on Integrated Network Management (IM)
A Secure Broadcast Service for LDACS with an Application to Secure GBAS
Nils Mäurer and others (2021) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
Update on LDACS Cybersecurity
N. Mäurer and others (2021) · Technical Report WP07 PT-T16
Rethinking Search: Making Domain Experts out of Dilettantes
Donald Metzler and others (2021)
The Consistency of Arithmetic
Robert K. Meyer (2021) · The Australasian Journal of Logic · Victoria University of Wellington Library
The Programmable Data Plane: Abstractions, Architectures, Algorithms, and Applications
O. Michel and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
COVID-19 Timeline of Vietnam: Important Milestones Through Four Waves of the Pandemic and Lesson Learned
Le Huu Nhat Minh and others (2021) · Frontiers Media SA
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
3D Simulation-Based Acoustic Wave Resonator Analysis and Validation Using Novel Finite Element Method Software
R. Morales and others (2021) · Sensors · Multidisciplinary Digital Publishing Institute
rtlv: push-button verification of software on hardware
N. Moroze and others (2021)
Polygeist: Raising C to Polyhedral MLIR
William S. Moses and others (2021) · IEEE
Small, Smart, Powerful? Small States and the Competition for Cybertech Superiority in the Digital Age
Madeleine Myatt (2021) · transcript Verlag
Multi-start iterated local search, exact and matheuristic approaches for minimum capacitated dominating set problem
Mallikarjun Rao Nakkala and others (2021) · Elsevier BV
Swivel: Hardening WebAssembly against spectre
S. Narayan and others (2021) · 30th USENIX Security Symposium (USENIX Security 21)
Entropy: From Thermodynamics to Information Processing
Jordão Natal and others (2021) · Entropy · Multidisciplinary Digital Publishing Institute
MUM: A new AI milestone for understanding information
Pandu Nayak (2021)
Embedding electronic health records onto a knowledge network recognizes prodromal features of multiple sclerosis and predicts diagnosis
Charlotte Nelson and others (2021) · Journal of the American Medical Informatics Association · Oxford University Press
Neo4j + U.S. Army Case Study
Neo4j, (2021)
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Verified security properties for the capability-enhanced CHERI-MIPS architecture
Kyndylan Nienhuis (2021)
A compiler infrastructure for accelerator generators
Rachit Nigam and others (2021)
STRIDES Initiative
National Institutes of Health (2021)
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
Final Report
National Security Commission on Artificial Intelligence (2021)
NSF 22-017 - Dear Colleague Letter: Encouraging Research on Open Knowledge Networks
National Science Foundation (2021)
Distributed Kill Chains: Drawing Insights for Mosaic Warfare from the Immune System and from the Navy
Nicholas A. O’Donoughue and others (2021)
The Involution Tool for Accurate Digital Timing and Power Analysis
Daniel Öhlinger and others (2021) · Integration, the VLSI Journal · Elsevier BV
Ransomware Anti-Analysis and Evasion Techniques: A Survey and Research Directions
M. N. Olaimat and others (2021) · IEEE
Principles of Photonic Integrated Circuits: Materials, Device Physics, Guided Wave Design
Richard Osgood Jr and others (2021) · Springer
The cultural origins of symbolic number.
D. M. O’Shaughnessy and others (2021) · American Psychological Association (APA)
A Runtime-Enabled P4 Extension to the Open vSwitch Packet Processing Pipeline
Tomasz Osiński and others (2021) · IEEE Transactions on Network and Service Management · Institute of Electrical and Electronics Engineers
A Techno-Economic Framework for Satellite Networks Applied to Low Earth Orbit Constellations: Assessing Starlink, OneWeb and Kuiper
O. B. Osoro and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
Adapting NATO to grey zone challenges from Russia
M. Ozawa (2021) · T. Tardy (Ed.), NATO 2030: new technologies, new conflicts, new partnerships (pp. 19–32). NATO Defense College. http://www.jstor.org/stable/resrep29562.8
Hack and Z
P, (2021)
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
Palantir Gotham for Defense Decision Making
Palantir Technologies (2021)
Multiple-extortion ransomware: The case for active cyber threat intelligence
B. Payne and others (2021) · ECCWS 2021 20th European Conference on Cyber Warfare and Security
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
Effective simulation and debugging for a high-level hardware language using software compilers
Clément Pit-Claudel and others (2021)
Container Escape Detection for Edge Devices
James Pope and others (2021) · ACM Conference on Embedded Networked Sensor Systems (SenSys)
You Can’t Trust Amazon When It Feels Threatened
Corey Quinn (2021)
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
E
R, (2021) · Morgan
Transphobia, encoded: an examination of trans-specific terminology in SNOMED CT and ICD-10-CM
A Ram and others (2021) · Journal of the American Medical Informatics Association · Oxford University Press
Scientific Research in Information Systems (2nd ed.)
J. Recker (2021)
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Frédéric Recoules and others (2021) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Aker: A Design and Verification Framework for Safe and Secure SoC Access Control
Francesco Restuccia and others (2021) · 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) · IEEE
FIVER – Robust Verification of Countermeasures against Fault Injections
Jan Richter-Brockmann and others (2021) · IACR Transactions on Cryptographic Hardware and Embedded Systems · International Association for Cryptologic Research
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
Riley Roberts and others (2021) · Formal Methods for Industrial Critical Systems (FMICS 2021)
User compliance and remediation success after IoT malware notifications
E. Rodríguez and others (2021) · Oxford University Press (OUP)
A Low-Cost Bug Hunting Verification Methodology for RISC-V-Based Processors
C. Rojas and others (2021) · IEEE
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
High-level fault injection to assess FMEA on critical systems
Julie Roux and others (2021) · Microelectronics Reliability · Elsevier BV
Machine Learning for Detecting Data Exfiltration: A Review
B. Sabir and others (2021) · Association for Computing Machinery (ACM)
Privacy-first health research with federated learning
Adam Sadilek and others (2021) · npj Digital Medicine · Nature Portfolio
Soft-core embedded FPGA based system on chip
Hajer Saidi and others (2021) · Springer Science and Business Media LLC
New Report Details Industry’s Use of Knowledge Graphs
Jennifer L. Schenker (2021)
Arnold: An eFPGA-Augmented RISC-V SoC for Flexible and Low-Power IoT End Nodes
Pasquale Davide Schiavone and others (2021) · Institute of Electrical and Electronics Engineers (IEEE)
Peano on Symbolization, Design Principles for Notations, and the Dot Notation
Dirk Schlimm (2021) · Philosophia Scientiae · OpenEdition
Pragmatic impacts on children’s understanding of exact equality
R. M. Schneider and others (2021) · Proceedings of the Annual Meeting of the Cognitive Science Society
Starting small: Exploring the origins of successor function knowledge
R. M. Schneider and others (2021) · Developmental Science
Evolutionary Algorithms in Approximate Computing: A Survey
Lukas Sekanina (2021) · Journal of Integrated Circuits and Systems
Designing and Building Enterprise Knowledge Graphs
Juan Sequeda and others (2021) · Springer International Publishing
Estimating the Impact of BGP Prefix Hijacking
Pavlos Sermpezis and others (2021) · IFIP Networking Conference (IFIP Networking)
Medical Algorithms Need Better Regulation
Soleil Shah and others (2021)
Some Determinants of Crime Reporting Among Economic and Financial Crime Victims: The Case of Azerbaijan
I. Shahbazov and others (2021) · SAGE Publications
Physical fault injection and side-channel attacks on mobile devices: A comprehensive analysis
Carlton Shepherd and others (2021) · Elsevier BV
Fix with P6: Verifying Programmable Switches at Runtime
Apoorv Shukla and others (2021) · IEEE Conference on Computer Communications (INFOCOM)
Surviving switch failures in cloud datacenters
Rachee Singh and others (2021) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
StkTokens : Enforcing well-bracketed control flow and stack encapsulation using linear capabilities
Lau Skorstengaard and others (2021) · Journal of Functional Programming · Cambridge University Press
PSP 103.8.1 User's Manual
G. D. J. Smit and others (2021) · NXP Semiconductors and CEA-Leti
Algorithmic Management in the Platform Economy
David Stark and others (2021) · Sociologica · University of Bologna
DNSxP: Enhancing data exfiltration protection through data plane programmability
Jacob Steadman and others (2021) · Computer Networks · Elsevier BV
Apple must face Siri voice assistant privacy lawsuit -U.S. judge
Jonathan Stempel (2021)
Google must face Voice Assistant privacy lawsuit -U.S. judge
Jonathan Stempel and others (2021)
Racial Terror and White Wealth in South Central
Stop LAPD Spying Coalition (2021) · Automating Banishment. November 2021.
Google Search sends more traffic to the open web every year
Danny Sullivan (2021)
Strategic Framework to Counter Hybrid Action
T. Sweijs and others (2021) · A Framework for Cross-Domain Strategies Against Hybrid Threats (pp. 15–26). Hague Centre for Strategic Studies. http://www.jstor.org/stable/resrep27705.7
Cadence JasperGold formal verification platform
Cadence Design Systems and others (2021) · accessed 12th April 2021. [Online]. Available: https://www.cadence.com/en_US/home/tools/system-design-andverification/formal-and-static-verification/jasper-gold-verificationplatform.html
Failure to replicate the benefit of approximate arithmetic training for symbolic arithmetic fluency in adults
E. Szkudlarek and others (2021) · Elsevier BV
Exposing Data Value On a Risc-V Based SoC
Ezinam Bertrand Talaki and others (2021) · IEEE Physical Assurance and Inspection of Electronics (PAINE)
Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design
Nishil Talati and others (2021) · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · Institute of Electrical and Electronics Engineers
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Runzhou Tao and others (2021) · ACM
ASIC Design and Synthesis
V. Taraate (2021) · Springer Singapore
HyperGrid Transformers: Towards A Single Model for Multiple Tasks
Yi Tay and others (2021) · ICLR 2021
Lsoracle: Using mixed logic synthesis in an open source asic design flow
S. Temple and others (2021) · Proceedings of the Workshop on Open-Source EDA Technology , Virtual Event, 4 November 2021.
Do estimates of numerosity really adhere to weber’s law?
A. Testolin and others (2021) · Psychonomic Bulletin & Review
General Packet Radio Service (GPRS) enhancements for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) access
3rd Generation Partnership Project (3GPP) (2021) · 3rd Generation Partnership Project (3GPP)
Nimble: Scalable tcp-friendly programmable in-network rate-limiting
V. S. Thapeta and others (2021) · Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)
The decline of computers as a general purpose technology
Neil C. Thompson and others (2021) · Communications of the ACM · Association for Computing Machinery
Aquila: a practically usable verification system for production-scale programmable data planes
B. Tian and others (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference
The Modification of the ABC Synthesis Algorithm for FPGAs Considering Architecture Features
I.V. Tiunov and others (2021) · IEEE
How to Write ARM Assembly Language for the Raspberry Pi Pico
Low Level (2021) · YouTube · video
Fuzzing Hardware Like Software
Timothy Trippel and others (2021)
Electromagnetic fault injection against a complex CPU, toward new micro-architectural fault models
Thomas Trouchkine and others (2021) · Springer Science and Business Media LLC
revisiting the open vSwitch dataplane ten years later
W. Tu and others (2021) · ACM
Ransomware attackers turn to double extortion
H. Tuttle (2021) · Risk Management 68.2
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
A Mechanism Design Approach to Solve Ransomware Dilemmas
I. Vakilinia and others (2021) · Springer International Publishing
Cybercrime Reporting Behaviors Among Small- and Medium-Sized Enterprises in the Netherlands
Steve G. A. van de Weijer and others (2021) · Crime and justice in digital society
Automatically eliminating speculative leaks from cryptographic code with blade
Marco Vassena and others (2021) · Association for Computing Machinery (ACM)
Solver-Aided Constant-Time Hardware Verification
Klaus v. Gleissenthall and others (2021) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Opening Pandora’s Box: A Systematic Study of New Ways Microarchitecture Can Leak Private Data
Jose Rodrigo Sanchez Vicarte and others (2021) · IEEE
You’re Doing It Wrong: Notes on Criticism and Technology Hype
Lee Vinsel (2021)
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é
Optimizing Property-Preserving Compilation
Son Tuan Vu (2021) · Agence Bibliographique de l'Enseignement Supérieur
A Survey on Botnets: Incentives, Evolution, Detection and Current Trends
S. Vu and others (2021) · MDPI AG
Foureye: Defensive Deception based on Hypergame Theory Against Advanced Persistent Threats
Zelin Wan and others (2021)
Generalized attack separation scheme in cyber physical smart grid based on robust interval state estimation
H. Wang and others (2021) · Elsevier BV
A Large-scale Empirical Analysis of Ransomware Activities in Bitcoin
K. Wang and others (2021) · Association for Computing Machinery (ACM)
Capital Is Dead: Is This Something Worse?
McKenzie Wark (2021) · Verso Books
The RISC-V instruction set manual, Volume II: Privileged ISA
A. Waterman and others (2021)
The Isabelle/Isar Reference Manual
Makarius Wenzel (2021)
Misinformation in and about science
Jevin D. West and others (2021) · Proceedings of the National Academy of Sciences · National Academy of Sciences
The ethics of zero-day exploits—the NSA meets the trolley car
Stephen B. Wicker (2021) · Communications of the ACM
Testing Implementation Soundness of a WCET Analysis Tool
Reinhard Wilhelm and others (2021) · Springer Nature
egg: Fast and extensible equality saturation
Max Willsey and others (2021) · Association for Computing Machinery (ACM)
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks
Hans Winderix and others (2021) · IEEE
Gobra: Modular specification and verification of Go programs
Felix A. Wolf and others (2021) · 33rd International Conference on Computer Aided Verification (CAV) · Springer
Modular SMT-Based Verification of Rule-Based Hardware Designs
Andrew C. Wright (2021)
Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
Dongpeng Xu and others (2021) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Synthesizing safe and efficient kernel extensions for packet processing
Qiongwen Xu and others (2021) · ACM SIGCOMM Conference (SIGCOMM)
[Project] TFET (Tunneling Field Effect Transistor) and Quantum Tunneling Effect
Dongju Yeom (2021) · YouTube · video
Manticore: A 4096-Core RISC-V Chiplet Architecture for Ultraefficient Floating-Point Computing
Florian Zaruba and others (2021) · IEEE Micro · Institute of Electrical and Electronics Engineers
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis
Igor Zavalyshyn and others (2021) · Proceedings/Proceedings - Symposium on Reliable Distributed Systems · Institute of Electrical and Electronics Engineers
Trusted Configuration in Cloud FPGAs
Shaza Zeitouni and others (2021) · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)
Understanding the impact of outsourcing mitigation against BGP prefix hijacking
Man Zeng and others (2021) · Computer Networks · Elsevier BV
Integrated lithium niobate electro-optic modulators: when performance meets scalability
Mian Zhang and others (2021) · Optica Publishing Group
Combating Ransomware in Internet of Things: A Games-in-Games Approach for Cross-Layer Cyber Defense and Security Investment
Y. Zhao and others (2021) · Springer International Publishing
SARS-CoV-2 simulations go exascale to predict dramatic spike opening and cryptic pockets across the proteome
Maxwell I. Zimmerman and others (2021) · Nature Chemistry · Springer Science and Business Media LLC
Asdb: a system for classifying owners of autonomous systems
Maya Ziv and others (2021) · Proceedings of the 21st ACM Internet Measurement Conference
Design of LEO Constellations with Inter-satellite Connects Based on the Performance Evaluation of the Three Constellations SpaceX, OneWeb and Telesat
P. Zong and others (2021) · Korean Journal of Remote Sensing