2020
356 references published this year.
Noroozian
A, (2020)
Spec 42: Aviation Industry Standards for Digital Information Security
A4A, (2020) · Technical Report A4A Spec 42
AbsInt: Astrée software
Unattributed (2020)
Impeccable Circuits
Anita Aghaie and others (2020) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Intel Tofino2 – A 12.9Tbps P4-Programmable Ethernet Switch
Anurag Agrawal and others (2020) · IEEE Hot Chips Symposium
COVID-19 and the 5G Conspiracy Theory: Social Network Analysis of Twitter Data
Wasim Ahmed and others (2020) · Journal of Medical Internet Research · JMIR Publications Inc.
Subvolt electro-optical modulator on thin-film lithium niobate and silicon nitride hybrid platform
Abu Naim R Ahmed and others (2020) · Optica Publishing Group
Exploring the human factor in cyber-enabled and cyber-dependent crime victimisation: a lifestyle routine activities approach
N. Akdemir and others (2020) · Emerald
The Trend of Different Parameters for Designing Integrated Circuits from 1973 to 2019 and Linked to Moore's Law
N. Alam and others (2020) · Australian Journal of Engineering and Innovative Technology
Modelling, Investigation, and Feasibility of Stratospheric Broadband mm-Wave 5G and beyond Networks for Aviation
Yasser Attia Albagory (2020) · Electronics · Multidisciplinary Digital Publishing Institute
Chipyard: Integrated Design, Simulation, and Implementation Framework for Custom SoCs
Alon Amid and others (2020) · IEEE Micro · Institute of Electrical and Electronics Engineers
Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny
Cezar-Constantin Andrici and others (2020)
“Groupitizing”: a strategy for numerosity estimation
Giovanni Anobile and others (2020) · Scientific Reports · Springer Science and Business Media LLC
High-performance single-photon sources from solid-state quantum emitters
Unattributed (2020) · Optica Publishing Group
SiFive TileLink Specification, Version 1.8.1
Unattributed (2020) · SiFive
Inter-cesti: Methodological and technical feedbacks on hardware devices evaluations
ANSSI, and others (2020) · SSTIC 2020, Symposium sur la sécurité des technologies de l’information et des communications
Enabling Programmable Transport Protocols in High-SpeedNICs
M. T. Arashloo and others (2020) · 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)
DATALINK GROUND SYSTEMS STANDARD AND INTERFACE SPECIFICATION (DGSS/IS)
ARINC, (2020) · Technical Report ARINC Report 620-11
Cloud Provider Connectivity in the Flat Internet
Todd Arnold and others (2020) · Proceedings of the ACM Internet Measurement Conference · Association for Computing Machinery (ACM)
Cryptographic Fault Diagnosis using VerFI
Victor Arribas and others (2020) · 2020 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) · IEEE
Formal modeling and verification for timing predictability
M. Asavoae and others (2020) · ERTS 2020
CLARVA: Model-based Residual Verification of Java Programs
Shaun Azzopardi and others (2020) · International Conference on Model-Driven Engineering and Software Development
The social and psychological impact of cyberattacks
M. Bada and others (2020) · Elsevier
Improving the Performance of WCET Analysis in the Presence of Variable Latencies
Zhenyu Bai and others (2020)
BYOC: A "Bring Your Own Core" Framework for Heterogeneous-ISA Research
Jonathan Balkind and others (2020) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
When the Web Became Platform
Sarah Barns (2020) · Platform Urbanism
A probabilistic separation logic
Gilles Barthe and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Efficient data compression in perception and perceptual memory.
Christopher Bates and others (2020) · Psychological Review · American Psychological Association
AltaRica 3.0 Language Specification, AltaRica Association, 2020.
M. Batteux and others (2020) · Batteux, T. Prosvirnova, and A. Rauzy, AltaRica 3.0 Language Specification, AltaRica Association
Climbing towards NLU: On Meaning, Form, and Understanding in the Age of Data
Emily M. Bender and others (2020) · Association for Computational Linguistics
Dependency graph generation in a networked system
Amit Bharadwaj (2020)
A Tutorial on Verifying LinkedList using KeY: Part 1
Jinting Bian and others (2020) · Figshare · Figshare (United Kingdom)
A Tutorial on Verifying LinkedList using KeY: Part 2
Jinting Bian and others (2020) · figshare
A Tutorial on Verifying LinkedList using KeY: Part 3a
Jinting Bian and others (2020) · figshare
A Tutorial on Verifying LinkedList using KeY: Part 3b
Jinting Bian and others (2020) · figshare
A Tutorial on Verifying LinkedList using KeY: Part 3c
Jinting Bian and others (2020) · Figshare · Figshare (United Kingdom)
A Tutorial on Verifying LinkedList using KeY: Part 3d
Jinting Bian and others (2020) · Figshare · Figshare (United Kingdom)
A Tutorial on Verifying LinkedList using KeY: Part 3e
Jinting Bian and others (2020) · figshare
A Tutorial on Verifying LinkedList using KeY: Part 4a
Jinting Bian and others (2020) · Figshare · Figshare (United Kingdom)
A Tutorial on Verifying LinkedList using KeY: Part 4b
Jinting Bian and others (2020) · figshare
A Tutorial on Verifying LinkedList using KeY: Video Material
Jinting Bian and others (2020) · Data Archiving and Networked Services (DANS) · Royal Netherlands Academy of Arts and Sciences
CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020
Armin Biere and others (2020) · Proc. of SAT Competition 2020 – Solver and Benchmark Descriptions
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
Benjamin Binder and others (2020) · Lecture notes in computer science · Springer Science+Business Media
Towards decolonising computational sciences
Abeba Birhane and others (2020)
Navigating the Universe of Z3 Theory Solvers
Nikolaj Bjørner and others (2020) · Lecture notes in computer science · Springer Science+Business Media
A Unified Model for Gate Level Propagation Analysis
Jeremy Blackstone and others (2020)
The Material Conditions of Platforms: Monopolization Through Decentralization
Tobias Blanke and others (2020) · Social Media + Society · SAGE Publications
On the Security Goals of White-Box Cryptography
Estuardo Alpírez Bock and others (2020) · IACR Transactions on Cryptographic Hardware and Embedded Systems · International Association for Cryptologic Research
Countermeasures Optimization in Multiple Fault-Injection Context
Etienne Boespflug and others (2020) · Workshop on Fault Detection and Tolerance in Cryptography (FDTC)
A Simplified Arm Processor for VLSI Education
Noah Boorstin and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches
Thomas Bourgeat and others (2020) · IEEE
The essence of Bluespec: a core language for rule-based hardware design
Bourgeat, Thomas and others (2020) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Google/Fitbit will monetise health data and harm consumers
Marc Bourreau and others (2020)
The Performance Cost of Software-based Security Mitigations
Lucy Bowen and others (2020) · ACM
Protocols for Authentication and Key Establishment
C. Boyd and others (2020) · Springer Berlin Heidelberg
RussiaGate and Propaganda: Disinformation in the Age of Social Media
Oliver Boyd-Barrett (2020) · Routledge
Predict and Surveil: Data, Discretion, and the Future of Policing
Sarah Brayne (2020)
(System)Verilog to Chisel Translation for Faster Hardware Design
J. Bruant and others (2020) · IEEE
How effective are social engineering interventions? A meta-analysis
J.-W. Bullée and others (2020) · Emerald
Optimal Metastability-Containing Sorting via Parallel Prefix Computation
Johannes Bund and others (2020) · IEEE Transactions on Computers · IEEE
Synchronizer-Free Digital Link Controller
Johannes Bund and others (2020) · IEEE Transactions on Circuits and Systems I: Regular Papers · Institute of Electrical and Electronics Engineers (IEEE)
An improved binary programming formulation for the secure domination problem
Ryan Burdett and others (2020) · Annals of Operations Research · Springer Science and Business Media LLC
Flow-Data Gathering Using NetFlow Sensors for Fitting Malicious-Traffic Detection Models
Adrián Campazas-Vega and others (2020) · Sensors · Multidisciplinary Digital Publishing Institute
Linked Research on the Decentralised Web
Sarven Capadisli (2020)
Mathematicians urge colleagues to boycott police work in wake of killings
Davide Castelvecchi (2020) · Springer Science and Business Media LLC
Constant-time foundations for the new spectre era
Sunjay Cauligi and others (2020) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Predictors of mathematics in primary school: Magnitude comparison, verbal and spatial working memory measures
Sara Caviola and others (2020) · Developmental Science · Wiley
Low Power Reconfigurability and Reduced Crosstalk in Integrated Photonic Circuits Fabricated by Femtosecond Laser Micromachining
Francesco Ceccarelli and others (2020) · Wiley
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Milan Češka and others (2020) · Applied Soft Computing
From Gap-Exponential Time Hypothesis to Fixed Parameter Tractable Inapproximability: Clique, Dominating Set, and More
Parinya Chalermsook and others (2020) · Society for Industrial & Applied Mathematics (SIAM)
Security Risks: between Russia and NATO
B. Challis (2020) · Belarus beyond 2020: Implications for Russia and the West (pp. 3–6). European Leadership Network. http://www.jstor.org/stable/resrep25716.4
Claude Chappe & other semaphores (1763--1805)
Fons Vanden Berghen (2020) · telegraphy.eu
Separation logic for sequential programs (functional pearl)
Arthur Charguéraud (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Arctic security: NATO and the future of transatlantic relations
A. CHARRON and others (2020) · S. R. Soare (Ed.), TURNING THE TIDE: How to rescue transatlantic relations (pp. 137–152). European Union Institute for Security Studies (EUISS). http://www.jstor.org/stable/resrep36312.13
Combining Dynamic & Static Scheduling in High-level Synthesis
Jianyi Cheng and others (2020) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
A unified account of numerosity perception
Samuel J. Cheyette and others (2020) · Nature Human Behaviour · Springer Science and Business Media LLC
A STRATEGIC AND OPERATIONAL ANALYSIS OF RUSSIA IN 2028
J. P. Clark and others (2020) · STRIKING THE BALANCE: US ARMY FORCE POSTURE IN EUROPE
The Age of Great-Power Competition
Elbridge A. Colby and others (2020) · Foreign Affairs
An empirical study of ransomware attacks on organizations: an assessment of severity and salient factors affecting vulnerability
L. Y. Connolly and others (2020) · Oxford University Press (OUP)
ProFIPy: Programmable Software Fault Injection as-a-Service
Domenico Cotroneo and others (2020) · IEEE
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
Lesly-Ann Daniel and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP) · IEEE
Universal hardware data model
A. Dargelas and others (2020) · Proceedings of the Workshop on Open-Source EDA Technology (WOSET) , Virtual Event, 3 November 2020.
Evaluating Security Specification Mining for a CISC Architecture
C. Deutschbein and others (2020) · IEEE
The reckless, infinite scope of web browsers
Drew DeVault (2020)
Similarly oriented objects appear more numerous
Nicholas K. DeWind and others (2020) · Journal of Vision · Association for Research in Vision and Ophthalmology
My Gadget Just Cares for Me - How NINA Can Prove Security Against Combined Attacks
Siemen Dhooghe and others (2020) · Springer International Publishing
Data Feminism
Catherine D’Ignazio and others (2020) · Strong Ideas Series. The MIT Press
Estimating Logarithmic and Exponential Functions to Track Network Traffic Entropy in P4
D. Ding and others (2020) · IEEE
Measuring the fragmentation of the Internet: the case of the Border Gateway Protocol (BGP) during the Ukrainian crisis
Frédérick Douzet and others (2020) · 12th International Conference on Cyber Conflict (CyCon) · IEEE
Weird Machines, Exploitability, and Provable Unexploitability
Thomas Dullien (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Can we exploit buggy P4 programs?
Mihai-Valentin Dumitru and others (2020) · Symposium on SDN Research
Solutions for a Sustainable EOSC: A FAIR Lady (Olim Iron Lady) Report from the EOSC Sustainability Working Group
Directorate-General for Research and Innovation (European Commission) (2020) · Publications Office of the European Union
The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates
Mnacho Echenim and others (2020) · ACM Transactions on Computational Logic (TOCL)
Ad Tech Could Be the Next Internet Bubble
Gilad Edelman (2020)
Rethink Clincal Content
Elsevier, (2020)
The Unpatchable Silicon: A Full Break of the Bitstream Encryption of Xilinx 7-Series FPGAs
Maik Ender and others (2020) · 29th USENIX Security Symposium (USENIX Security 20)
MEMS for Photonic Integrated Circuits
Carlos Errando-Herranz and others (2020) · IEEE Journal of Selected Topics in Quantum Electronics · IEEE Photonics Society
Cyber Threats and NATO 2030: Horizon Scanning and Analysis
Unattributed (2020) · NATO CCDCOE Publications
Demonstrating ADS-B AND CPDLC Attacks with Software-Defined Radio
S. Eskilsson and others (2020) · IEEE
Operational resilience, disruption, and efficiency: Conceptual and empirical analyses
Dominic Essuman and others (2020) · International journal of production economics
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors
Mohammad Rahmani Fadiheh and others (2020) · IEEE
Comparing formal tools for system design: a judgment study
Alessio Ferrari and others (2020) · Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering · ACM
Cornucopia: Temporal Safety for CHERI Heaps
Nathaniel Wesley Filardo and others (2020) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Verilog HDL and its ancestors and descendants
P. Flake and others (2020) · Association for Computing Machinery (ACM)
Using deep programmability to put network owners in control
Nate Foster and others (2020) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
Air Supremacy in Airpower Doctrine
E. T. Francis (2020) · A House Built on Sand: Air Supremacy in US Air Force History, Theory, and Doctrine (pp. 6–13). Air University Press. http://www.jstor.org/stable/resrep24881.7
A Faithful Binary Circuit Model
Matthias Függer and others (2020) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · IEEE
When food‐delivery platform workers consent to algorithmic management: a Foucauldian perspective
Sophia Galière (2020) · New Technology, Work and Employment · Wiley
The 2020 expert survey on formal methods
Hubert Garavel and others (2020) · 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS) · Springer
Deterrence and Defense in Times of COVID-19: Europe’s Political Choices
German Council on Foreign Relations (2020) · Deutsche Gesellschaft für Auswärtige Politik e.V.
Combined software and hardware fault injection vulnerability detection
Thomas Given-Wilson and others (2020) · Springer Science and Business Media LLC
Formalising fault injection and countermeasures
Thomas Given-Wilson and others (2020) · ACM
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher and others (2020) · Empirical Software Engineering
Fuzzing: hack, art, and science
Patrice Godefroid (2020) · Communications of the ACM · Association for Computing Machinery
AVR: Abstractly Verifying Reachability
A. Goel and others (2020) · Springer International Publishing
Artificial Intelligence-Based Referral System for Patients With Diabetic Retinopathy
G. Gonzalez-Briceno and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
Martijn Goorden and others (2020) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers (IEEE)
Maginot Lines and Tourniquets: On the Defendability of National Cyberspace
Devashish Gosain and others (2020) · 2020 IEEE 45th LCN Symposium on Emerging Topics in Networking (LCN Symposium)
LDACS A/G Specification
T. Gräupl and others (2020) · Technical Report SESAR2020 PJ14-02-01 D3.3.030
BGP Beacons, Network Tomography, and Bayesian Computation to Locate Route Flap Damping
Caitlin Gray and others (2020) · ACM
Technology Can’t Predict Crime, It Can Only Weaponize Proximity to Policing
Matthew Guariglia (2020)
Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP)
Theory of Master Role Transition: Small Powers Shaping Regional Hegemons
Feliciano de Sá Guimarães (2020)
Reliable Long-Range Multi-Link Communication for Unmanned Search and Rescue Aircraft Systems in Beyond Visual Line of Sight Operation
Johannes Güldenring and others (2020) · Drones
China’s Globalization and the Belt and Road Project: The Case of Indonesia and Malaysia
Geoffrey C. Gunn (2020) · China’s Globalization and the Belt and Road Initiative · Springer International Publishing
An Efficient Critical Path Generation Algorithm Considering Extensive Path Constraints
Guannan Guo and others (2020) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
N2577: A provenance-aware memory object model for C
Jens Gustedt and others (2020)
Borrion and L
H, (2020)
Storage systems are distributed systems (so verify them that way!)
Travis Hance and others (2020) · 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6 · USENIX Association
The Role of Contextualization in Individuals
F. Hassandoust and others (2020) · Vulnerability to Phishing Attempts’
P4-MACsec: Dynamic Topology Monitoring and Data Layer Protection With MACsec in P4-Based SDN
F. Hauser and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
Efficient sampling and noisy decisions
Joseph Heng and others (2020) · eLife · eLife Sciences Publications Ltd
Comprehensive survey of UAVs communication networks
Aicha Idriss Hentati and others (2020) · Computer Standards & Interfaces
Social and Epistemic Control in Collaborative Research — Reconfiguring the Interplay of Politics and Methodology
Jeremias Herberg and others (2020) · Social Epistemology · Informa UK Limited
Finding and Understanding Bugs in FPGA Synthesis Tools
Yann Herklotz and others (2020) · Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2020)
An economic analysis of ransomware and its welfare consequences
J. Hernandez-Castro and others (2020) · The Royal Society
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep and others (2020) · Integrated Formal Methods · Springer
A Tutorial on Verifying LinkedList Using KeY
Hans-Dieter A. Hiep and others (2020) · Deductive Software Verification: Future Perspectives · Springer International Publishing
A Tutorial on Verifying LinkedList using KeY: Proof Files
Hans-Dieter A. Hiep and others (2020) · Data Archiving and Networked Services (DANS) · Royal Netherlands Academy of Arts and Sciences
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep and others (2020) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Data Exfiltration During Ransomware Attacks
Hiscox, (2020)
Neural-symbolic integration and the Semantic Web
Pascal Hitzler and others (2020) · Semantic Web · SAGE Publications
How organisations can ethically negotiate ransomware payments
T. Hofmann (2020) · Breda Publishing Press
Post-Open Source
Melody Horn (2020)
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Naorin Hossain and others (2020) · 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA 2020)
An Overview of Hardware Security and Trust: Threats, Countermeasures, and Design Tools
Wei Hu and others (2020) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
NIH 1OT2TR003450-01 - EVIDARA: Automated Evidential Support from Raw Data for relay agents in Biomedical KG Queries
Sui Huang (2020)
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman and others (2020) · arXiv
On the Industrial Application of Critical Software Verification with VerCors
Marieke Huisman and others (2020) · Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020) · Springer International Publishing
Cybercrime-as-a-Service Operations
T. Hyslip (2020) · Springer International Publishing
IEEE Standard for Information Technology–Telecommunications and Information Exchange between Systems - Local and Metropolitan Area Networks–Specific Requirements - Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications
IEEE, (2020) · Technical Report IEEE Std 802.11-2020
IEEE Standard for Universal Verification Methodology Language Reference Manual
Unattributed (2020) · IEEE
Poster: MOAI: Multiple Origin ASes Identification for IP Prefix Hijacking and Mis-Origination
Hironori Imai and others (2020) · NDSS
ISO/IEC 19772:2020 Information security — Authenticated encryption
ISO/IEC, (2020) · ISO 19772:2020, International Standardization Organization (ISO)/International Electrotechnical Commission (IEC)
Pomsets with preconditions: a simple model of relaxed memory
Radha Jagadeesan and others (2020) · Association for Computing Machinery (ACM)
Formal Semantics of Predictable Pipelines: a Comparative Study
M. Jan and others (2020) · IEEE
PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies
Shunning Jiang and others (2020) · IEEE Design and Test · Institute of Electrical and Electronics Engineers
PyMTL3: A Python Framework for Open-Source Hardware Modeling, Generation, Simulation, and Verification
S. Jiang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Suspended gallium arsenide platform for building large scale photonic integrated circuits: passive devices
Pisu Jiang and others (2020) · Optics Express · Optica Publishing Group
Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration
Ting Jiao and others (2020) · IEEE Transactions on Systems, Man, and Cybernetics: Systems · Institute of Electrical and Electronics Engineers (IEEE)
The development and deployment of formal methods in the UK
Cliff B. Jones and others (2020)
International Competition Below the Threshold of War: Toward a Theory of Gray Zone Conflict
J. Jordan (2020) · Journal of Strategic Security
European ATM Master Plan - Digitalising Europe’s Aviation Infrastructure
SESAR JU (2020) · EU Study v.1., European Union (EU)
Fraud against businesses both online and offline: crime scripts, business characteristics, efforts, and benefits
Marianne Junger and others (2020) · Crime Science · BioMed Central
Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications
Nermin Kajtazović and others (2020) · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
Programmable In-Network Security for Context-aware BYOD Policies
Q. Kang and others (2020) · USENIX Security Symposium
Comprehensive Cyber Arena; The Next Generation Cyber Range
Mika Karjalainen and others (2020) · 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · IEEE
The Creation of Modern Denmark – A Figurational Analysis
Lars Bo Kaspersen (2020) · GESIS - Leibniz Institute for the Social Sciences
Targeted
McGrory Kathleen and others (2020)
I2CE3: A dedicated and separated attack chain for ransomware offenses as the most infamous cyber extortion
Masoudeh Keshavarzi and others (2020) · Computer Science Review · Elsevier BV
A look at the stability of internet routing information
Vineet Khare and others (2020) · Proceedings of the Internet Measurement Conference 2020
Civil libertiesorpublic health, or civil libertiesandpublic health? Using surveillance technologies to tackle the spread of COVID-19
Rob Kitchin (2020) · Informa UK Limited
Mapping Interfacial Regimes of Control: A Qualitative Analysis of America’s Post-9/11 Security Technology Infrastructure
Emma Knight and others (2020) · Surveillance & Society · Queen's University Library
Spectre attacks: exploiting speculative execution
Paul C. Kocher and others (2020) · Communications of the ACM · Association for Computing Machinery
Tracking P4 Program Execution in the Data Plane
Suriya Kodeswaran and others (2020) · Proceedings of the Symposium on SDN Research · ACM
Citizens Versus the Internet: Confronting Digital Challenges With Cognitive Tools
Anastasia Kozyreva and others (2020) · SAGE Publications
The logic of the surface: on the epistemology of algorithms in times of big data
Susanne Krasmann (2020) · Information Communication & Society · Routledge
On Measuring RPKI Relying Parties
John Kristoff and others (2020) · ACM Internet Measurement Conference (IMC)
A computationally efficient centralized group key distribution protocol for secure multicast communications based upon RSA public key cryptosystem
Vinod Kumar and others (2020) · Journal of King Saud University - Computer and Information Sciences · Elsevier BV
Post-Silicon Microarchitecture
Chanchal Kumar and others (2020) · IEEE Computer Architecture Letters · Institute of Electrical and Electronics Engineers
A general approach for identifying hierarchical symmetry constraints for analog circuit layout
Kishor Kunal and others (2020) · ACM
Artifacts, Activities, Benefits and Blockers: Exploring Enterprise Architecture Practice in Depth
S. Kurnia and others (2020) · Hawaii International Conference on System Sciences
Why do users not report spear phishing emails?
Youngsun Kwak and others (2020) · Telematics and Informatics · Elsevier BV
A review of attack graph and attack tree visual syntax in cyber security
H. Lallie and others (2020) · Elsevier BV
The Territorialization of Cyberspace
Daniel Lambach (2020) · International Studies Review · Oxford University Press (OUP)
Defund the Police, and Defund Big Data Policing, Too
Sarah Lamdan (2020)
Broken Windows, Informal Social Control, and Crime: Assessing Causality in Empirical Studies
C. C. Lanfear and others (2020) · Annual Reviews
There's plenty of room at the Top: What will drive computer performance after Moore's law?
Charles E. Leiserson and others (2020) · Science · American Association for the Advancement of Science (AAAS)
Aircraft Mode S Transponder Fingerprinting for Intrusion Detection
Mauro Leonardi and others (2020) · Aerospace · MDPI AG
Chiplet Heterogeneous Integration Technology—Status and Challenges
Tao Li and others (2020) · Electronics · Multidisciplinary Digital Publishing Institute
Cycle-Free FPGA Routing Graphs
Ang Li and others (2020) · ACM
Debug information validation for optimized code
Yuanbo Li and others (2020) · ACM
Ransomware 2.0: to sell, or not to sell a gametheoretical model of data-selling ransomware
Z. Li and others (2020) · Proceedings of the 15th International Conference on Availability, Reliability and Security
Gangs launch DDoS attacks to push victims into paying ransom
Lifars.com, (2020)
PANIC: A High-Performance Programmable NIC for Multi-tenant Networks
J. Lin and others (2020) · 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)
Software Vulnerability Detection Using Deep Neural Networks: A Survey
Guanjun Lin and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Meltdown: reading kernel memory from user space
M. Lipp (2020) · Association for Computing Machinery (ACM)
China’s road to power: what does it really want?: A Chinese perspective on a rising China
M. Liu (2020) · Atlantisch Perspectief
State Space Reduction For Parity Automata
Christof Löding and others (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik
How behavioural sciences can promote truth, autonomy and democratic discourse online
Philipp Lorenz-Spreen and others (2020) · Springer Science and Business Media LLC
The gem5 simulator: Version 20.0+
Jason Lowe-Power and others (2020) · arXiv preprint arXiv:2007.03152 (2020).
Quantum Phase Estimation with Time‐Frequency Qudits in a Single Photon
Hsuan‐Hao Lu and others (2020) · Advanced Quantum Technologies · Wiley
Survey Nonresponse Trends and Fieldwork Effort in the 21st Century: Results of an International Study across Countries and Surveys
A. Luiten and others (2020) · SAGE Publications
System-on-Chip Security Assertions
Yangdi Lyu and others (2020)
Maschler, S
M, (2020)
Challenges in Supporting Exploratory Search through Voice Assistants
Xiao Ma and others (2020) · ACM Conference on Conversational User Interfaces (CUI)
Ethics in cybersecurity research and practice
K. Macnish and others (2020) · Elsevier BV
Dynamic Separation Logic and its Use in Education
Evgeny M. Makarov (2020) · Современные информационные технологии и ИТ-образование
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification
Yatin A. Manerkar and others (2020)
Agile SoC development with open ESP: Invited paper
P. Mantovani and others (2020) · ACM
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Radu Mateescu and others (2020) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Comparing Different Diffie-Hellman Key Exchange Flavors for LDACS
N. Mäurer and others (2020) · IEEE
Enterprise Security Architecture: Mythology or Methodology?
M. McClintock and others (2020) · SCITEPRESS - Science and Technology Publications
The Low Earth Orbit Satellite Population and Impacts of the SpaceX Starlink Constellation
Jonathan C. McDowell (2020) · The Astrophysical Journal Letters · IOP Publishing
Ivy: A Multi-modal Verification Tool for Distributed Algorithms
Kenneth L McMillan and others (2020) · Springer International Publishing
The Ransomware-as-a-Service economy within the darknet
P. Meland and others (2020) · Elsevier BV
Rainbow: A composable coherence protocol for multi‐chip servers
L. G. Menezo and others (2020) · Wiley
Experimental Analysis of the Electromagnetic Instruction Skip Fault Model
Alexandre Menu and others (2020)
What's a Palantir? The Tech Industry's Next Big I.P.O.
Cade Metz and others (2020)
Single-photon sources: Approaching the ideal through multiplexing
Evan Meyer-Scott and others (2020) · AIP Publishing
Understanding target suitability in cyberspace: An international comparison of cyber victimization processes
F. Miró-Llinares and others (2020) · International Journal of Cyber Criminology 14.1
Medusa: Microarchitectural Data Leakage via Automated Attack Synthesis
D. Moghimi and others (2020) · 29th USENIX Security Symposium (USENIX Security 20)
Hyperfuzzing for SoC security validation
S. K. Muduli and others (2020) · ACM
A First-Order Logic with Frames
Adithya Murali and others (2020) · 29th European Symposium on Programming (ESOP) · Springer
Plundervolt: Software-based Fault Injection Attacks against Intel SGX
Kit Murdock and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP) · IEEE
A Primer on Memory Consistency and Cache Coherence
Vijay Nagarajan and others (2020) · Springer International Publishing
Towards Deeply Scaled 3D MPSoCs with Integrated Flow Cell Array Technology
Halima Najibi and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Witnessing Secure Compilation
Kedar S. Namjoshi and others (2020) · Lecture notes in computer science · Springer Science+Business Media
Hierarchical Analog Power-Down Synthesis
M. Neuner and others (2020) · IEEE
Verification and revision of the power-down mode for hierarchical analog circuits
Maximilian Neuner and others (2020) · Integration · Elsevier BV
Bitwuzla at the SMT-COMP 2020
Aina Niemetz and others (2020) · CoRR, abs/2006.01621
The Benefits of Enterprise Architecture in Organizational Transformation
E. Niemi and others (2020) · Springer Science and Business Media LLC
Rigorous Engineering for Hardware Security: Formal Modelling and Proof in the CHERI Design and Implementation Process
Kyndylan Nienhuis and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP)
A Survey of Published Attacks on Intel SGX
A. Nilsson and others (2020) · arXiv
Guide to IPsec VPNs
NIST (2020) · National Institute of Standards and Technology
Recommendation for Key Management
NIST, (2020) · Technical Report SP 800-57
Certified Software for Designing Asynchronous Circuits
Brittany Ro Nkounkou (2020)
Reputation transferability across contexts: Maintaining cooperation among anonymous cryptomarket actors when moving between markets
L. Norbutas and others (2020) · Elsevier BV
A Survey Of Data Exfiltration Prevention Technique
P. S. Nyakomitta and others (2020) · International Journal of Advanced Networking and Applications - IJANA
Perspectives for a China Strategy
J. S. Nye (2020) · PRISM
Sunrise to sunset: Analyzing the end-to-end life cycle and effectiveness of phishing attacks at scale
A. Oest and others (2020) · Proc
Incorrectness logic
Peter W. O'Hearn (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Google and Palantir are two sides of the same coin
Will Oremus (2020)
Langlois
P, (2020)
The ARPANET into the Internet: A tale of two networks
Noel Packard (2020) · Studies in Media and Communication
DynamIPs: Analyzing address assignment practices in IPv4 and IPv6
Ramakrishna Padmanabhan and others (2020) · Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies
Assertion Ranking Using RTL Source Code Analysis
D. Pal and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Palantir is not a data company (Palantir Explained, #1)
Palantir Technologies (2020)
A day in the life of a Palantir forward deployed software engineer
Palantir Technologies (2020)
Form S-1: Registration statement under the Securities Act of 1933
Palantir Technologies (2020)
Accessible Real-Time Surveillance Radar System for Object Detection
Seongha Park and others (2020) · Sensors · MDPI
Foundational Java: Key Elements and Practical Programming
David Parsons (2020) · Springer
Computer Organization and Design RISC-V Edition: The Hardware/Software Interface
David A. Patterson and others (2020) · Morgan Kaufmann
NOP-Oriented Programming: Should we Care?
Pierre-Yves Péneau and others (2020) · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
An Arms Race in Outer Space?
L. Peperkamp (2020) · Atlantisch Perspectief
A Flexible SDN-Based Architecture for Identifying and Mitigating Low-Rate DDoS Attacks Using Machine Learning
Jesús Arturo Pérez-Díaz and others (2020) · IEEE Access · Institute of Electrical and Electronics Engineers
Food quantity discrimination in puppies (Canis lupus familiaris)
Maria Elena Miletto Petrazzini and others (2020) · Animal Cognition · Springer Science+Business Media
A Secure Adaptive Control for Cooperative Driving of Autonomous Connected Vehicles in the Presence of Heterogeneous Communication Delays and Cyberattacks
A. Petrillo and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
BlackParrot: An Agile Open-Source RISC-V Multicore for Accelerator SoCs
Daniel Petrisko and others (2020) · IEEE Micro · Institute of Electrical and Electronics Engineers
Ransomware attacks grow, crippling cities and businesses
N. Popper (2020)
When wells run dry: the 2020 IPv4 address market
Lars Prehn and others (2020) · Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies
Integrated lithium niobate photonics
Yifan Qi and others (2020) · Nanophotonics · De Gruyter
A study of physical infrastructure design and photovoltaic implementation in a green data center
Duong Trong Hieu Quach (2020)
Twitter for Scientists
Daniel S. Quintana (2020) · Zenodo (CERN European Organization for Nuclear Research) · European Organization for Nuclear Research
Persistency semantics of the Intel-x86 architecture
Azalea Raad and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Gödel's incompleteness theorems
Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Adnan Rashid and others (2020) · 2020 IEEE International Systems Conference (SysCon)
Mining Hyperproperties from Behavioral Traces
M. Rawat and others (2020) · IEEE
A Fully Programmable eFPGA-Augmented SoC for Smart Power Applications
Francesco Renzini and others (2020) · IEEE Transactions on Circuits and Systems I Regular Papers · Institute of Electrical and Electronics Engineers
The Satellite Communications System for Safe and Secure Air Traffic Management Data Links and Voice
N. Ricard (2020) · Technical Report rev3
Hacking and Ransomware: Challenges for Institutions Both Large and Small
E. R. Ritenour (2020) · American Roentgen Ray Society
Discrete-Time Modeling and Control Based on Field Orientation for Induction Motors
Jorge Rivera and others (2020) · IEEE Transactions on Power Electronics · Institute of Electrical and Electronics Engineers
Before Computers: On Information Technology from Writing to the Age of Digital Data
Stephen Robertson (2020)
Zero Trust Architecture
Scott Rose and others (2020) · National Institute of Standards and Technology
DO-343C, Minimum Aviation System Performance Standard for AMS(R)S Data and Voice Communications Supporting Required Communications Performance (RCP) and Required Surveillance Performance (RSP)
RTCA, (2020) · Technical Report DO-343C
Area-Optimized UAV Swarm Network for Search and Rescue Operations
Laik Ruetten and others (2020) · 2020 10th Annual Computing and Communication Workshop and Conference (CCWC) · IEEE
Gauntlet: Finding bugs in compilers for programmable packet processing
F. Ruffy and others (2020) · 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)
Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2
David M. Russinoff (2020) · Proceedings of the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2020)
Space: New Threats, New Service, New Frontier An Interview with Mir Sadat
M. Sadat (2020) · Strategic Studies Quarterly
Short-circuit Analysis using a Parallel QBF Solver
Rafael Santos and others (2020) · IEEE
Recurrence in Dense-time AMS Assertions
Sayandeep Sanyal and others (2020)
Enhancing Deterrence and Readiness: The Role of Military Mobility
C. M. Scaparrotti and others (2020) · MOVING OUT: A Comprehensive Assessment of European Military Mobility (pp. 6–9). Atlantic Council. http://www.jstor.org/stable/resrep24666.5
NATO: THE CURRENT CHALLENGE
G. J. (Ed.). Schmitt (2020) · A Hard Look at Hard Power: Assessing the Defense Capabilities of Key US Allies and Security Partners—Second Edition (pp. 187–224). Strategic Studies Institute, US Army War College. http://www.jstor.org/stable/resrep27713.11
SYN Flood Defense in Programmable Data Planes
Dominik Scholz and others (2020) · Proceedings of the 3rd P4 Workshop in Europe · ACM
LLHD: a multi-level intermediate representation for hardware description languages
Fabian Schuiki and others (2020) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
ConTExT: A Generic Approach for Mitigating Spectre
Michael Schwarz and others (2020) · Network and Distributed System Security Symposium
Universiteit Maastricht werd besmet via phishingmail en verouderde software
Security.nl, (2020)
Two-phase construction of data graphs from disparate inputs
Suresh Toby Segaran (2020)
The politics of platform capitalism: A case study on the regulation of Uber in New York
Timo Seidl (2020) · Regulation & Governance · Wiley
Impeccable Circuits II
Aein Rezaei Shahmirzadi and others (2020) · 2020 57th ACM/IEEE Design Automation Conference (DAC) · IEEE
Building OpenLANE: A 130nm OpenROAD-based TapeoutProven Flow : Invited Paper
M. Shalan and others (2020) · Proceedings of the 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD ), New York, NY, USA,
The future of computing beyond Moore's Law
John Shalf (2020) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Design, Control, Predict: Logistical Governance in the Smart City
Aaron Shapiro (2020) · University of Minnesota Press
NATO enlargement and US foreign policy: the origins, durability, and impact of an idea
Joshua R. Shifrinson (2020)
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
Ben Simner and others (2020) · Springer International Publishing
Who is targeted by email-based phishing and malware? Measuring factors that differentiate risk
Camelia Simoiu and others (2020) · Proceedings of the ACM Internet Measurement Conference · ACM
Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
Lau Skorstengaard and others (2020) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Manycast2 : Using anycast to measure anycast
Raffaele Sommese and others (2020) · Proceedings of the ACM Internet Measurement Conference
Igloo: soundly linking compositional refinement and separation logic for distributed system verification
Christoph Sprenger and others (2020) · Association for Computing Machinery (ACM)
LINE as Super App: Platformization in East Asia
Marc Steinberg (2020) · SAGE Publications
Integrating Cybersecurity and Enterprise Risk Management (ERM)
K. Stine and others (2020) · National Institute of Standards and Technology
BLURRED LINES: Gray-Zone Conflict and Hybrid War—Two Failures of American Strategic Thinking
D. Stoker and others (2020) · Naval War College Review
FUCK THE POLICE, TRUST THE PEOPLE: Surveillance Bureaucracy Expands the Stalker State
Stop LAPD Spying Coalition (2020)
Defining cyber risk
G. Strupczewski (2020) · Elsevier BV
Analysis of Darknet Market Activity as a Country-Specific, Socio-Economic and Technological Phenomenon
A. Sutanrikulu and others (2020) · IEEE
Formal Reasoning Under Cached Address Translation
Hira Taqdees Syeda and others (2020) · Journal of Automated Reasoning · Springer Science and Business Media LLC
OpenFPGA: An Open-Source Framework for Agile Prototyping Customizable FPGAs
Xifan Tang and others (2020) · IEEE Micro · Institute of Electrical and Electronics Engineers (IEEE)
Clinical Data Services Provider
Translator Consortium (2020)
VLSI -- Lecture 1b: Introduction -- The World of Chip Design
Adi Teman (2020) · YouTube · video
VLSI -- Lecture 3e: MOSFET Modeling -- Leakages in NanoScaled Transistors
Adi Teman (2020) · YouTube · video
RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2
Mertcan Temel (2020) · Proceedings of the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2020)
To Filter or Not to Filter: Measuring the Benefits of Registering in the RPKI Today
Cecilia Testart and others (2020) · Springer International Publishing
Numerosity discrimination in deep neural networks: Initial competence, developmental refinement and experience statistics
A. Testolin and others (2020) · Wiley
Visual sense of number vs
A. Testolin and others (2020) · Scientific reports
Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges
I. Tiddi and others (2020) · IOS Press
Fault Injection Characterization on Modern CPUs: From the ISA to the Micro-Architecture
Thomas Trouchkine and others (2020) · Lecture notes in computer science · Springer Science+Business Media
Tactical Data Link Planning and Operations
United States Air Force (2020) · Department of the Air Force
What Do Platforms Do? Understanding the Gig Economy
Steven Vallas and others (2020) · Annual Review of Sociology · Annual Reviews
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection
Jo Van Bulck and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP) · IEEE
Reporting cybercrime victimization: determinants, motives, and previous experiences
Steve G. A. van de Weijer and others (2020) · Policing An International Journal · Emerald Publishing Limited
Rebutting Existing Misconceptions About Multiple Imputation as a Method for Handling Missing Data
Joost R. van Ginkel and others (2020) · Journal of Personality Assessment · Taylor & Francis
Alias Resolution Based on ICMP Rate Limiting
Kévin Vermeulen and others (2020) · Lecture notes in computer science · Springer Science+Business Media
Scalable and Versatile Design Guidance Tool for the ESD Robustness of Integrated Circuits - Part I
Benjamin Viale and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Fast Packet Processing with eBPF and XDP: Concepts, Code, Challenges, and Applications
M. A. Vieira and others (2020) · Association for Computing Machinery (ACM)
A survey of DDoS attacking techniques and defence mechanisms in the IoT network
R. Vishwakarma and others (2020) · Springer Science and Business Media LLC
Efficiently Supporting Dynamic Task Parallelism on Heterogeneous Cache-Coherent Systems
Moyang Wang and others (2020) · ACM/IEEE International Symposium on Computer Architecture (ISCA)
Generating Effective Software Obfuscation Sequences With Reinforcement Learning
H. Wang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Integrated photonic quantum technologies
Jianwei Wang and others (2020) · Springer Science and Business Media LLC
Modeling and analyzing cyberattack effects on connected automated vehicular platoons
P. Wang and others (2020) · Elsevier BV
Qudits and High-Dimensional Quantum Computing
Yuchen Wang and others (2020) · Frontiers Media SA
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 8)
Robert N. M. Watson and others (2020) · CL Technical Reports
DSbD CHERI and Morello Capability Essential IP (Version 1)
Robert N. M. Watson and others (2020) · Computer Laboratory, University of Cambridge
Palantir, Big Data's scariest, most secretive unicorn, is going public. But is its crystal ball just smoke and mirrors?
Sharon Weinberger (2020)
All Robot & Computers Must Shut The Hell Up
welcometomymemepage, (2020)
An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment
Vincent Werner and others (2020) · IEEE
Money is data – the platformization of financial transactions
Carola Westermeier (2020) · Information, Communication & Society · Informa UK Limited
P2GO: P4 Profile-Guided Optimizations
Patrick Wintermeyer and others (2020) · ACM Workshop on Hot Topics in Networks (HotNets)
Modeling imprecision in perception, valuation, and choice
M. Woodford (2020) · Annual Review of Economics
Study and Analysis of RTL Verification Tool
Akhilesh Yadav and others (2020)
Modeling and control of a reconfigurable photonic circuit using deep learning
Akram Youssry and others (2020) · IOP Publishing
Speculative Data-Oblivious Execution: Mobilizing Safe Prediction For Safe and Efficient Speculative Execution
Jiyong Yu and others (2020) · IEEE
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification
Y. Yuan and others (2020) · 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)
P4Knocking: Offloading host-based firewall functionalities to the network
Eder Ollora Zaballa and others (2020) · Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN)
Toward Comprehensive Network Verification: Practices, Challenges and Beyond
X. Zhang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
Poseidon: Mitigating Volumetric DDoS Attacks with Programmable Switches
M. Zhang and others (2020) · Internet Society
RnR: A Software-Assisted Record-and-Replay Hardware Prefetcher
C. Zhang and others (2020) · IEEE
Transys: Leveraging Common Security Properties Across Hardware Designs
Rui Zhang and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP) · IEEE
Verifying Rule Enforcement in Software Defined Networks With REV
P. Zhang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
High Quality Entangled Photon Pair Generation in Periodically Poled Thin-Film Lithium Niobate Waveguides
Jie Zhao and others (2020) · American Physical Society (APS)
Sonicboom: The 3rd generation berkeley out-of-order machine
J. Zhao and others (2020)
A Market in Dream: the Rapid Development of Anonymous Cybercrime
G. Zhou and others (2020) · Springer Science and Business Media LLC
SDN controllers: A comprehensive analysis and performance evaluation study
L. Zhu and others (2020) · ACM Computing Surveys (CSUR)
The Case for Digital Public Infrastructure
Ethan Zuckerman (2020)