2018
358 references published this year.
Integration of quantum dots with lithium niobate photonics
Shahriar Aghaeimeibodi and others (2018) · AIP Publishing
An Event-Triggered Programmable Prefetcher for Irregular Workloads
Sam Ainsworth and others (2018) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel
Jade Alglave and others (2018) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Shifting from Information Security towards a Cybersecurity Paradigm
Abraham Althonayan and others (2018) · Proceedings of the 2018 10th International Conference on Information Management and Engineering · ACM
Independent adaptation mechanisms for numerosity and size perception provide evidence against a common sense of magnitude
G. Anobile and others (2018) · Springer Science and Business Media LLC
TR-069: CPE WAN Management Protocol
Unattributed (2018) · The Broadband Forum
Advanced Flight Management Computer System
ARINC, (2018) · Technical Report ARINC Report 702A
AMBA AHB Protocol Specification
ARM, (2018) · ARM
Formal executable models for automatic detection of timing anomalies
M. Asavoae and others (2018) · WCET 2018
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Mohamed Faouzi Atig and others (2018) · Lecture notes in computer science · Springer Science+Business Media
A Game Theoretic Approach to Model Cyber Attack and Defense Strategies
A. Attiah and others (2018) · IEEE
Deconstructing the Translational Tower of Babel
Christopher P. Austin and others (2018) · Clinical and Translational Science · Wiley
Review of cybersecurity frameworks: context and shared concepts
R. Azmi and others (2018) · Journal of Cyber Policy
A Survey of Symbolic Execution Techniques
Roberto Baldoni and others (2018) · Association for Computing Machinery (ACM)
Entity-Oriented Search
Krisztian Balog (2018) · Springer International Publishing
An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications
Utsav Banerjee and others (2018) · 2018 IEEE International Solid - State Circuits Conference - (ISSCC) · IEEE
A Logical Analysis of Framing for Specifications with Pure Method Calls
Anindya Banerjee and others (2018) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
A tutorial on software obfuscation
S. Banescu and others (2018) · Advances in Computers
Backwards and Forwards with Separation Logic
Callum Bannister and others (2018) · 9th International Conference on Interactive Theorem Proving (ITP) · Springer
False Failure: Creating Failure Models for Separation Logic
Callum Bannister and others (2018) · Springer International Publishing
Distributed SDN Control: Survey, Taxonomy, and Challenges
Fetia Bannour and others (2018) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers (IEEE)
Scanning the Internet for Liveness
Shehar Bano and others (2018) · Association for Computing Machinery (ACM)
Formal Security Proof of CMAC and Its Variants
Cécile Baritel-Ruet and others (2018) · IEEE Computer Security Foundations Workshop (CSFW) · Institute of Electrical and Electronics Engineers
Satisfiability Modulo Theories
Clark Barrett and others (2018) · Springer Nature
Leveraging Stratum and Tofino Fast Refresh for Software Upgrades
A. Bas (2018) · ONF Connect
On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders
Davide Basile and others (2018) · Lecture notes in computer science · Springer Science+Business Media
Open Knowledge Network: Summary of the Big Data IWG Workshop, October 4-5
Big Data Interagency Working Group and others (2018)
Wookey: Usb devices strike back
Ryad Benadjila and others (2018) · Proceedings of SSTIC
The Intergovernmental Authority on Development: Internal Culture of Foreign Policymaking and Sources of Weaknesses
Redie Bereketeab (2018) · Palgrave Macmillan US
Smashing the Stack Protector for Fun and Profit
Bruno Bierbaumer and others (2018) · IFIP advances in information and communication technology · Springer Science+Business Media
Untangling the world-wide mesh of undersea cables
Zachary S. Bischof and others (2018) · Proceedings of the 17th ACM Workshop on Hot Topics in Networks · ACM
On models of higher-order separation logic
Aleš Bizjak and others (2018) · Electronic Notes in Theoretical Computer Science
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Roderick Bloem and others (2018) · Advances in Cryptology - EUROCRYPT 2018 · Springer International Publishing
Silicon Nitride in Silicon Photonics
Daniel J Blumenthal and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
Microcontroller Compiler-Assisted Software Fault Tolerance
Matthew Kendall Bohman and others (2018) · IEEE Transactions on Nuclear Science · Institute of Electrical and Electronics Engineers
Inside Google’s plan to make the whole web as fast as AMP. The Verge
Dieter Bohn (2018)
CRYSTALS - Kyber: A CCA-Secure Module-Lattice-Based KEM
J. Bos and others (2018) · IEEE
The elusive internet flattening: 10 years of IXP growth
Timm Böttger and others (2018) · arXiv
Looking for hypergiants in peeringDB
Timm Böttger and others (2018) · Association for Computing Machinery (ACM)
Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits
Aymane Bouzafour and others (2018) · 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) · IEEE
Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code
Jakub Breier and others (2018) · Universitatsbibliothek der Ruhr-Universitat Bochum
The Contemporary Cybercrime Ecosystem: A Multi-Disciplinary Overview of the State of Affairs and Developments
S. Broadhead (2018) · Elsevier BV
Search and Rescue Operations with Mesh Networked Robots
Tristan Brodeur and others (2018) · 2018 9th IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference (UEMCON) · IEEE
Rethinking IXPs' Architecture in the Age of SDN
Marc Bruyere and others (2018) · IEEE Journal on Selected Areas in Communications · Institute of Electrical and Electronics Engineers
Binary Decision Diagrams: An Algorithmic Basis for Symbolic Model Checking
Randal E. Bryant (2018) · Handbook of Model Checking · Springer International Publishing
Formal verification of pipelined Y86-64 microprocessors with UCLID5
Randal E Bryant (2018) · Technical report
The Affordances of Social Media Platforms
Taina Bucher and others (2018) · SAGE Publications Ltd
Let's shock our IoT's heart: ARMv7-M under (fault) attacks
Sebanjila K. Bukasa and others (2018) · Proceedings of the 13th International Conference on Availability, Reliability and Security · ACM
Generals in cyberspace: Military insights for defending cyberspace
Peter Campbell (2018) · Orbis
Computer, Student Economy Edition: A History of the Information Machine
Martin Campbell-Kelly (2018)
OpenSSL Bellcore's Protection Helps Fault Attack
Sebastien Carré and others (2018) · Euromicro Conference on Digital System Design (DSD)
Beyond SmartNICs: Towards a fully programmable cloud
A. Caulfield and others (2018) · 2018 IEEE 19th International Conference on High Performance Switching and Routing (HPSR). IEEE
Big Data Semantics
Paolo Ceravolo and others (2018) · Springer Science and Business Media LLC
Fiat Chrysler is being sued over a software flaw
R. N. Charette (2018)
PUFSSL: An OpenSSL Extension for PUF based Authentication
Urbi Chatterjee and others (2018) · 2018 IEEE 23rd International Conference on Digital Signal Processing (DSP) · IEEE
A 486 µW All-Digital Bluetooth Low Energy Transmitter with Ring Oscillator Based ADPLL for IoT applications
Xing Chen and others (2018) · Digest of papers - IEEE Radio Frequency Integrated Circuits Symposium · Institute of Electrical and Electronics Engineers
The Emergence of Silicon Photonics as a Flexible Technology Platform
Xia Chen and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
SgxPectre Attacks: Stealing Intel Secrets from SGX Enclaves via Speculative Execution
Guoxing Chen and others (2018)
RePlAce: Advancing Solution Quality and Routability Validation in Global Placement
C.K. Cheng and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
Fboss: building switch software at scale
S. Choi and others (2018) · Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
The semantics of transactions and weak memory in x86, Power, ARM, and C++
Nathan Chong and others (2018) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Introduction to the BioLink datamodel
Mungall Chris (2018)
Continuous Formal Verification of Amazon s2n
Andrey Chudnov and others (2018) · Lecture notes in computer science · Springer Science+Business Media
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
Alessandro Cimatti and others (2018) · ACM Transactions on Computational Logic · Association for Computing Machinery
Deepfakes and the New Disinformation War
Danielle Keats Citron and others (2018) · Foreign Affairs · Yale University
Designing an Internet
David D. Clark (2018) · MIT Press
Handbook of Model Checking
Edmund M. Clarke and others (2018) · Springer International Publishing
Vulnerability Analysis of Network Scanning on SCADA Systems
K. Coffey and others (2018) · Security and Communication Networks
Adding 32-bit Mode to the ACL2 Model of the x86 ISA
Alessandro Coglio and others (2018) · Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018)
Sampling-on-Demand in SDN
Reuven Cohen and others (2018) · IEEE/ACM Transactions on Networking · Institute of Electrical and Electronics Engineers
SCADE 6: From a Kahn semantics to a Kahn implementation for multicore
J.-L. Colaço and others (2018) · Forum on Specification & Design Languages
Spontaneous parametric down-conversion
Christophe Couteau (2018) · Contemporary Physics · Informa UK Limited
Hammer for Coq: Automation for Dependent Type Theory
Ł. Czajka and others (2018) · Springer Science and Business Media LLC
The Celerity Open-Source 511-Core RISC-V Tiered Accelerator Fabric: Fast Architectures and Design Methodologies for Fast Chips
Scott Davidson and others (2018) · IEEE Micro · Institute of Electrical and Electronics Engineers
The future of scientific workflows
E. Deelman and others (2018) · SAGE Publications
China's Maxim – Leave No Access Point Unexploited: The Hidden Story of China Telecom's BGP Hijacking
Chris C. Demchak and others (2018) · Military Cyber Affairs · University of South Florida Libraries
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri and others (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) · Springer
Mining Security Critical Linear Temporal Logic Specifications for Processors
Calvin Deutschbein and others (2018) · International Workshop on Microprocessor and SOC Test and Verification (MTV)
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
Jacob Devlin and others (2018) · arXiv
The state of internet interconnection
Amogh Dhamdhere (2018) · Technical report
A threshold-free model of numerosity comparisons
Santiago Alonso Díaz and others (2018) · PLoS ONE · Public Library of Science
Stellar: network attack mitigation using advanced blackholing
Christoph Dietzel and others (2018) · Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies
SIFA: Exploiting Ineffective Fault Inductions on Symmetric Cryptography
Christoph Dobraunig and others (2018) · IACR Transactions on Cryptographic Hardware and Embedded Systems · International Association for Cryptologic Research
Laser Fault Injection at the CMOS 28 nm Technology Node: an Analysis of the Fault Model
Jean-Max Dutertre and others (2018) · Workshop on Fault Diagnosis and Tolerance in Cryptography
Lastdrager
E, (2018)
On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic
Mnacho Echenim and others (2018) · arXiv
Checked C: Making C Safe by Extension
Archibald Samuel Elliott and others (2018) · IEEE Cybersecurity Development (SecDev)
Twisted photons: new quantum perspectives in high dimensions
Manuel Erhard and others (2018) · Light: Science & Applications
Simulating physics with computers
Richard P Feynman et al (2018) · Int. j. Theor. phys
Global developer population and demographic study, volume 1
Evans Data Corporation (2018) · Evans Data Corporation
Branchscope: A new side-channel attack on directional branch predictor
D. Evtyushkin and others (2018) · 23rd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Mohammad Rahmani Fadiheh and others (2018)
Symbolic quick error detection using symbolic initial state for pre-silicon verification
Mohammad Rahmani Fadiheh and others (2018) · Design, Automation, and Test in Europe
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier and others (2018) · EasyChair
What Petya/NotPetya Ransomware Is and What Its Remidiations Are
Sharifah Yaqoub A. Fayi (2018) · Springer International Publishing
Transmitting GBAS messages via LDACS
Michael Felux and others (2018) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
Hyperflow: A processor architecture for nonmalleable, timing-safe information-flow security
Andrew Ferraiuolo and others (2018) · CCS 2018: Proceedings of the 25th Conference on Computer and Communications Security
Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu
C. Fibich and others (2018) · IEEE
Azure Accelerated Networking:SmartNICs in the Public Cloud
D. Firestone and others (2018) · 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)
Comparing sets of patterns with the Jaccard index
Sam Fletcher and others (2018) · Australasian Association for Information Systems
Pi-Ware: Hardware Description and Verification in Agda
João Paulo Pizani Flor and others (2018) · DROPS-IDN/v2/Document/10.4230/LIPIcs.TYPES.2015.9
Efficient static checking of library updates
Darius Foo and others (2018) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Uncovering Bugs in P4 Programs with Assertion-based Verification
Lucas Freire and others (2018) · Symposium on SDN Research
Metastability-Containing Circuits
Stephan Friedrichs and others (2018) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
HAL—The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion
M. Fyrbiak and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
Finding numbers in the brain
Charles Randy Gallistel (2018) · Philosophical Transactions of the Royal Society B Biological Sciences · Royal Society
The Computer Book: From the Abacus to Artificial Intelligence, 250 Milestones in the History of Computer Science
Simson L. Garfinkel (2018)
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge and others (2018) · Journal of Cryptographic Engineering · Springer
European deterrence for European assurance: The United States and Russian adventurism in the Crimea
Larry V. Geddings Jr (2018) · US Army Command and General Staff College · School of Advanced Military Studies, US Army Command and General Staff College
Accelerators and Coherence: An SoC Perspective
Davide Giri and others (2018) · IEEE Micro · Institute of Electrical and Electronics Engineers (IEEE)
Petri nets and Automatic Control: A historical perspective
Alessandro Giua and others (2018) · Annual Reviews in Control · Elsevier BV
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
Thomas Given-Wilson and others (2018) · Concurrency and Computation Practice and Experience · Wiley
Bridging SoftwareBased and Hardware-Based Fault Injection Vulnerability Detection
Thomas Given-Wilson and others (2018)
The State of Fault Injection Vulnerability Detection
Thomas Given-Wilson and others (2018) · Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
Safety Practice and its Practitioners: Exploring a Diverse Profession
Mario Gleirscher and others (2018)
Supplementary Material for "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America"
Gleirscher and others (2018) · Zenodo (CERN European Organization for Nuclear Research) · European Organization for Nuclear Research
Improving Search for the next 20 years
Ben Gomes (2018)
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments
Antonio Galiza Cerdeira Gonzalez and others (2018) · IEEE Transactions on Industrial Informatics · Institute of Electrical and Electronics Engineers
Translation Leak-aside Buffer: Defeating Cache Side-channel Protections with TLB Attacks
B. Gras and others (2018) · USENIX Security’18
L-band Digital Aeronautical Communications System (LDACS) Flight Trials in the National German Project MICONAV
T. Gräupl and others (2018) · 2018 Integrated Communications, Navigation, Surveillance Conference (ICNS)
A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
Tomás Grimm and others (2018) · Electronics · Multidisciplinary Digital Publishing Institute
Certified concurrent abstraction layers
Ronghui Gu and others (2018) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
No Cookies, just CAKE: CRT based Key Hierarchy for Efficient Key Management in Dynamic Groups
T. Guggemos and others (2018) · International Conference for Internet Technology and Secured Transactions
Controller–Pilot Data Link Communication Security
Andrei Gurtov and others (2018) · Sensors · Multidisciplinary Digital Publishing Institute
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery
Open Source is Not Enough
James Halliday (2018)
The Role of the Internet of Things in the Improvement and Expansion of Business
Hodjat Hamidi and others (2018) · Journal of Organizational and End User Computing · IGI Global Scientific Publishing
Optimal Generalized H-Tree Topology and Buffering for High-Performance and Low-Power Clock Distribution
Kwangsoo Han and others (2018) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Starlink revisions, Nov 2018
Mark Handley (2018)
Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN
R. Hanmer and others (2018) · IEEE
Network-Wide Heavy Hitter Detection with Commodity Switches
Rob Harrison and others (2018) · Symposium on SDN Research
Current NATO Benchmarks
K. H. HICKS and others (2018) · Counting Dollars or Measuring Value: Assessing NATO and Partner Burden Sharing (pp. 3–8). Center for Strategic and International Studies (CSIS). http://www.jstor.org/stable/resrep22475.4
Tracking Network Flows with P4
J. Hill and others (2018) · IEEE
On verifying timed hyperproperties.
H.-M. Ho and others (2018)
Situational crime prevention and Public Safety Canada
T. Hodgkinson and others (2018) · s crime-prevention programme’
Examining Complex Forms of Conflict: Gray Zone and Hybrid Challenges
F. G. Hoffman (2018) · PRISM
The eXpress Data Path: Fast programmable packet processing in the operating system kernel
T. Høiland-Jørgensen and others (2018) · ACM
Testing an Integrated Self-Control and Routine Activities Framework to Examine Malware Infection Victimization
Thomas J. Holt and others (2018) · Social Science Computer Review · SAGE Publishing
Explicit-State Model Checking
Gerard J. Holzmann (2018) · Springer Nature
Electromotive Forces
A. Hopkins (2018)
The static analysis of WannaCry ransomware
Shou-Ching Hsiao and others (2018) · International Conference on Advanced Communication Technology · Institute of Electrical and Electronics Engineers
Property specific information flow analysis for hardware security verification
Wei Hu and others (2018)
An Analog-Assisted Tri-Loop Digital Low-Dropout Regulator
Mo Huang and others (2018) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang and others (2018) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery
Systematically Understanding the Cyber Attack Business: A Survey
K. Huang and others (2018) · Association for Computing Machinery (ACM)
Tracking Ransomware End-to-end
D. Y. Huang and others (2018) · IEEE
Annex 11 - Air Traffic Services
ICAO, (2018) · ICAO Annex 11, International Civil Aviation Organization (ICAO)
Annex 15 - Annex 15 - Aeronautical Information Services
ICAO, (2018) · ICAO Annex 15, International Civil Aviation Organization (ICAO)
Finalization of LDACS Draft SARPs - Working Paper WP05 including Appendix
ICAO, (2018) · ICAO Report WP05-DCIWG-2
Handbook On Radio Frequency Spectrum Requirements For Civil Aviation, Volume I, ICAO Spectrum strategy, Policy Statements And Related Information
ICAO, (2018) · ICAO Doc 9896, International Civil Aviation Organization (ICAO)
IEEE Standard for Local and metropolitan area networks-Media Access Control (MAC) Security
IEEE (2018) · IEEE
The Impact of Task Runtime Estimate Accuracy on Scheduling Workloads of Workflows
A. Ilyushkin and others (2018) · IEEE
ISO 31000:2018: Risk Management — Guidelines
International Organization for Standardization. (2018) · https://www.iso.org/standard/65694.html
Programming languages – C, 2018
ISO, (2018)
ISO/IEC 27000:2018 Information technology — Security techniques — Information security management systems — Overview and vocabulary
ISO/IEC, (2018) · ISO 27000:2018, International Standardization Organization (ISO)/International Electrotechnical Commission (IEC)
Next-generation NASA Earth-orbiting relay satellites: Fusing optical and microwave communications
David J. Israel and others (2018) · 2018 IEEE Aerospace Conference · IEEE
Your Remnant Tells Secret: Residual Resolution in DDoS Protection Services
Lin Jin and others (2018) · IEEE
Titan: enabling a transparent silicon root of trust for cloud
Scott Johnson and others (2018) · Hot Chips: A Symposium on High Performance Chips
Dynamically Scheduled High-level Synthesis
Lana Josipović and others (2018) · ACM
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung and others (2018) · Journal of Functional Programming · Cambridge University Press
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung and others (2018) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
TritonRoute: An initial detailed router for advanced VLSI technologies
A.B. Kahng and others (2018) · Proceedings of the 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Diego, CA, USA,
Soft Power in China’s Security Strategy
M. Kalimuddin and others (2018) · Strategic Studies Quarterly
AeroMACS: An IEEE 802.16 Standard-based Technology for the Next Generation of Air Transportation Systems
B. Kamali (2018) · John Wiley & Sons, Hoboken, New Jersey, USA
LUT-Lock: A Novel LUT-Based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection
Hadi Mardani Kamali and others (2018) · IEEE Computer Society Annual Symposium on VLSI
Crime Script Analysis
David Adam Keatley (2018) · Springer Nature
Big Data in Astronomy and Beyond
A. Kembhavi (2018) · Springer Singapore
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors
Vladimir Kiriansky and others (2018) · Proceedings of the ... annual International Symposium on Microarchitecture/Proceedings of the annual International Symposium on Microarchitecture · Institute of Electrical and Electronics Engineers
Indium Phosphide Photonic Integrated Circuits: Technology and Applications
Jonathan Klamkin and others (2018) · IEEE
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
Adapting Kerckhoffs's Principle: CPU Attacks Leading a Path from Cryptography to Open-Source Hardware
Thorsten Knoll (2018) · Fourth Wiesbaden Workshop on Advanced Microkernel Operating Systems (WAMOS 2018) · RheinMain University of Applied Sciences
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel and others (2018) · Formal Integrated Development Environment 2018 (F-IDE 2018) · Open Publishing Association
Spatial: a language and compiler for application accelerators
David Koeplinger and others (2018) · Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation · ACM
Chatting up your Google Assistant just got easier
Jaclyn Konzelmann (2018)
Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems
T. Korssen and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
Spectre Returns! Speculation Attacks using the Return Stack Buffer
E. M. Koruyeh and others (2018) · 12th USENIX Workshop on Offensive Technologies (WOOT 18)
Enterprise Architecture: A Reconceptualization Is Needed
S. Kotusev (2018) · Association for Information Systems
Ultra-low loss photonic circuits in lithium niobate on insulator
Inna Krasnokutska and others (2018) · Optics Express · Optica Publishing Group
Code-pointer integrity
V. Kuznetsov and others (2018) · ACM
RFUZZ: Coverage-directed fuzz testing of rtl on fpgas
K. Laeufer and others (2018) · IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Quantum logic using correlated one-dimensional quantum walks
Yoav Lahini and others (2018) · Springer Science and Business Media LLC
Internet eXchange points: current challenges and new opportunities
Roberto di Lallo (2018) · Roma Tre University
Cyber-Insurance as a Signaling Game: Self-reporting and External Security Audits
A. Laszka and others (2018) · Springer International Publishing
On the Importance of Analysing Microarchitecture for Accurate Software Fault Models
Johan Laurent and others (2018) · Euromicro Conference on Digital System Design (DSD)
The science of fake news
David M. J. Lazer and others (2018) · Science · American Association for the Advancement of Science (AAAS)
Resilience evaluation via symbolic fault injection on intermediate code
Hoang M. Le and others (2018) · Design, Automation, and Test in Europe
Next Generation Internet 2025
Michiel Leenaars and others (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union · European Commission, Directorate-General for Communications Networks, Content and Technology
Djibouti's Foreign Policy in International Institutions
Sonia Le Gouriellec (2018)
A Comparative Study of Chisel for FPGA Design
Paul Lennon and others (2018) · Irish Signals and Systems Conference
Integrated photonic platform for quantum information with continuous variables
Francesco Lenzini and others (2018) · American Association for the Advancement of Science (AAAS)
A letter about Google AMP
AMP letter (2018)
All-Digital PLL for Bluetooth Low Energy Using 32.768-kHz Reference Clock and ≤0.45-V Supply
C.-C. Li and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
Meltdown
Moritz Lipp and others (2018) · arXiv
Meltdown: Reading Kernel Memory from User Space
Moritz Lipp and others (2018) · 27th USENIX Security Symposium (USENIX Security 18) · USENIX Association
An ADPLL-centric bluetooth low-energy transceiver with 2.3mW interference-tolerant hybrid-loop receiver and 2.9mW single-point polar transmitter in 65nm CMOS
H. Liu and others (2018) · IEEE
Freedom Isn’t Free
Wendy Liu (2018)
P4v: Practical verification for programmable data planes
J. Liu and others (2018) · Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
Analog/mixed-signal design challenges in 7-nm CMOS and beyond
Alvin L. S. Loke and others (2018) · IEEE Custom Integrated Circuits Conference (CICC)
Component-wise Supervisory Controller Synthesis in a Client/Server Architecture
Robin Loose and others (2018) · IFAC-PapersOnLine · Elsevier BV
A Review of Cost and Makespan-Aware Workflow Scheduling in Clouds
Pingping Lu and others (2018) · Journal of Circuits Systems and Computers · World Scientific
A Survey of Side-Channel Attacks on Caches and Countermeasures
Yangdi Lyu and others (2018) · Springer Science and Business Media LLC
Felson and M
M, (2018)
A research on social media addiction and dopamine driven feedback
Hüseyin Bilal Macit and others (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications
Yatin A. Manerkar and others (2018) · 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) · IEEE
An extensive evaluation of the internet
A. Mani and others (2018) · s open proxies’
Towards a ‘smart
M. Manning and others (2018)
Time to clean your test objectives
Michaël Marcozzi and others (2018) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Pushing the Boundaries with bdrmapIT: Mapping Router Ownership at Internet Scale
Alexander Marder and others (2018) · ACM
Taming performance variability
A. Maricq and others (2018) · USENIX Symposium on Operating Systems Design and Implementation (OSDI)
Expeditionary Advanced Base Operations (EABO) Handbook
US Marine Corps Warfighting Lab, Concepts and Plans Division (2018) · US Department of Defense
Multidimensionality of the models and the data in the side-channel domain
Damien Marion (2018) · Agence Bibliographique de l'Enseignement Supérieur
CoSA: Integrated Verification for Agile Hardware Design
C. Mattarei and others (2018) · IEEE
A Cybersecurity Architecture for the L-band Digital Aeronautical Communications System (LDACS)
N. Mäurer and others (2018) · IEEE
Paving the way for an IT security architecture for LDACS: A datalink security threat- and risk analysis
Nils Mäurer (2018) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
Blending electronics with the human body: a pathway toward a cybernetic future
Mehdi Mehrali and others (2018) · Advanced science
Creating Complex Network Services with eBPF: Experience and Lessons Learned
Sebastiano Miano and others (2018) · 2018 IEEE 19th International Conference on High Performance Switching and Routing (HPSR) · IEEE
The future(s) of open science
Philip Mirowski (2018) · Social Studies of Science · SAGE Publishing
Pre-Silicon DFT Verification on SOC Slim Model
Pratheema Mohandoss and others (2018) · International Workshop on Microprocessor and SOC Test and Verification (MTV)
A 0.009 mm2 Wide-Tuning Range Automatically Placed-and-Routed ADPLL in 14-nm FinFET CMOS
David M. Moore and others (2018) · IEEE Solid-State Circuits Letters · Institute of Electrical and Electronics Engineers
Non-wellfounded Set Theory
Lawrence S. Moss (2018) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
Feasibility of Cell Planning for the L-Band Digital Aeronautical Communications System Under the Constraint of Secondary Spectrum Usage
Mohamad Mostafa and others (2018) · IEEE Transactions on Vehicular Technology · Institute of Electrical and Electronics Engineers
What counts in preschool number knowledge? a bayes factor analytic approach toward theoretical model development
Y. Mou and others (2018) · Journal of experimental child psychology
Communications and Control for Wireless Drone-Based Antenna Array
Mohammad Mozaffari and others (2018) · arXiv
Ferocious Logics: Unmaking the Algorithm
Luke Munn (2018) · Meson Press
Fundamental Trustworthiness Principles in CHERI
Peter G. Neumann (2018) · The MIT Press
Risks to the Public
Peter G. Neumann (2018) · Association for Computing Machinery (ACM)
Verification of P4 programs in feasible time using assertions
M. Neves and others (2018) · ACM
Btor2 , BtorMC and Boolector 3.0
Aina Niemetz and others (2018) · Lecture notes in computer science · Springer Science+Business Media
NIH Strategic Plan for Data Science
National Institutes of Health (2018)
ChaCha20 and Poly1305 for IETF Protocols
Y. Nir and others (2018) · RFC Editor
ATN/IPS security approach: Two-way mutual authentication, data integrity and privacy
Madhu Niraula and others (2018) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
P4pktgen: Automated test case generation for p4 programs
A. Nötzli and others (2018) · Proceedings of the Symposium on SDN Research
Inside a phisher
A. Oest and others (2018) · s mind: Understanding the anti-phishing ecosystem through phishing kit analysis’
Continuous Reasoning
Peter W. O’Hearn (2018) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Formal methods body of knowledge (FMBoK)
J. N. Oliveira (2018)
Eraser: Your Data Won't Be Back
Kaan Onarlioglu and others (2018) · IEEE
Cloud Computing
Marcus Oppitz and others (2018) · Springer Nature
Palantir Gotham: Applications
Palantir Technologies (2018)
Characterizing Eve: Analysing Cybercrime Actors in a Large Underground Forum
S. Pastrana and others (2018) · Springer International Publishing
Michael John Caldwell Gordon (FRS 1994): 28 February 1948 -- 22 August 2017
Lawrence C. Paulson (2018) · Biographical Memoirs of Fellows of the Royal Society
Use of virtual private networks (VPN) and proxy servers: Impact of personality and demographics
A. Pavlicek and others (2018) · IEEE
Smtlink 2.0
Yan Peng and others (2018) · Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018)
A Note on Listwise Deletion versus Multiple Imputation
Thomas B. Pepinsky (2018) · Political Analysis · Cambridge University Press
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions
Goran Petrovic and others (2018) · IEEE
The Effect of Various Police Enforcement Actions on Violent Crime: Evidence From a Saturation Foot-Patrol Intervention
Eric L. Piza (2018) · Criminal Justice Policy Review · SAGE Publications
Infrastructure studies meet platform studies in the age of Google and Facebook
Jean-Christophe Plantin and others (2018) · SAGE Publications
Re-integrating scholarly infrastructure: The ambiguous role of data sharing platforms
Jean‐Christophe Plantin and others (2018) · Big Data & Society · SAGE Publishing
Conclusive formal verification of clock domain crossing properties
Guillaume Plassan (2018)
Conclusive formal verification of clock domain crossing properties
Guillaume Plassan (2018) · Agence Bibliographique de l'Enseignement Supérieur
The Enterprise Architecture Value Framework
H. Plessius and others (2018)
Measuring the Impact of Spectre and Meltdown
Andrew Prout and others (2018) · IEEE High Performance Extreme Computing Conference
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
Christopher Pulte and others (2018) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Business Model of a Botnet
C. G. J. Putman and others (2018) · IEEE
Large-scale silicon quantum photonics implementing arbitrary two-qubit processing
Xiaogang Qiang and others (2018) · Springer Science and Business Media LLC
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model
Azalea Raad and others (2018) · Association for Computing Machinery (ACM)
Small states in world politics: State of the art
Jelena Radoman (2018) · Centre for Evaluation in Education and Science (CEON/CEES)
Open-Access Silicon Photonics: Current Status and Emerging Initiatives
Abdul Rahim and others (2018) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
An All-Digital Unified Clock Frequency and Switched-Capacitor Voltage Regulator for Variation Tolerance in a Sub-Threshold ARM Cortex M0 Processor
F. U. Rahman and others (2018) · IEEE
Anonymity communication VPN and Tor: a comparative study
E. Ramadhani (2018) · IOP Publishing
Cryptocurrency: A tool and target for cybercrime
E. Reddy and others (2018) · Acta Criminologica: African Journal of Criminology & Victimology 31.3
Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line
Ferdie F. H. Reijnen and others (2018) · IEEE Conference on Control Technology and Applications (CCTA)
An Engineering Perspective on Model-Based Design of Supervisors
Michel A. Reniers and others (2018) · IFAC-PapersOnLine · Elsevier BV
The Transport Layer Security (TLS) Protocol Version 1.3
E. Rescorla (2018) · RFC Editor
Towards a Rigorous Methodology for Measuring Adoption of RPKI Route Validation and Filtering
Andreas Reuter and others (2018) · ACM
Efficient and Robust Data Link for Wireless Aeronautical Communications
Dominik Rieth (2018)
The Proof Complexity of SMT Solvers
Robert Robere and others (2018) · Lecture notes in computer science · Springer Science+Business Media
PSYOP and Social Networks
Andrew A. Sadoun (2018) · Naval Postgraduate School
An exploration of the many ways to approach the discipline of enterprise architecture
Patrick Saint‐Louis and others (2018) · International Journal of Engineering Business Management · SAGE Publishing
The era of hyper-scaling in electronics
Sayeef Salahuddin and others (2018) · Nature Electronics · Springer Science and Business Media LLC
Challenges to cybersecurity: Current state of affairs
Ravi Sen (2018) · Communications of the Association for Information Systems
ARTEMIS: Neutralizing BGP Hijacking Within a Minute
Pavlos Sermpezis and others (2018) · IEEE/ACM Transactions on Networking · Institute of Electrical and Electronics Engineers (IEEE)
A Survey among Network Operators on BGP Prefix Hijacking
Pavlos Sermpezis and others (2018) · Association for Computing Machinery (ACM)
UCLID5: Integrating Modeling, Verification, Synthesis and Learning
S. A. Seshia and others (2018) · IEEE
Resilience analysis: A mathematical formulation to model resilience of engineering systems
Neetesh Sharma and others (2018) · Sustainable and Resilient Infrastructure
Pinpoint: fast and precise sparse value flow analysis for million lines of code
Q. Shi and others (2018) · ACM
XDP: 1.5 years in production. Evolution and lessons learned
N. Shirokov (2018) · Linux Plumbers Conference
Advanced Computer Architectures
Sajjan G. Shiva (2018) · CRC Press
Operating System Concepts
Abraham Silberschatz and others (2018) · John Wiley and Sons
Special section on the history of Discrete Event Systems
Manuel Silva (2018) · Annual Reviews in Control · Elsevier BV
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Laurent J. Simon and others (2018) · IEEE European Symposium on Security and Privacy
When David Fights Goliath: A Two-Level Explanation of Small-State Role-Taking
Eszter Simon (2018) · Oxford University Press (OUP)
A novel cost-efficient approach for deadline-constrained workflow scheduling by dynamic provisioning of resources
V. Singh and others (2018) · Elsevier BV
Reasoning about a machine with local capabilities: Provably safe stack and return pointer management
Lau Skorstengaard and others (2018) · Springer International Publishing
Undermining Privacy in the Aircraft Communications Addressing and Reporting System (ACARS)
M. Smith and others (2018) · Privacy Enhancing Technologies Symposium Advisory Board
Cyberspace Operations
Joint Chiefs of Staff (2018) · U.S. Department of Defense
Debugging P4 programs with vera
Radu Stoenescu and others (2018) · ACM SIGCOMM Conference (SIGCOMM)
Information Theory: A Tutorial Introduction
James V. Stone (2018) · arXiv
Principles of neural information theory
J. V. Stone (2018) · Sebtel Press
Before the Bullet Hits the Body
Stop LAPD Spying Coalition (2018)
BGP Communities: Even more Worms in the Routing Can
Florian Streibelt and others (2018) · ACM
A combined all-digital PLL-buck slack regulation system with autonomous CCM/DCM transition control and 82% average voltage-margin reduction in a 0.6-to-1.0V cortex-M0 processor
X. Sun and others (2018) · IEEE
Model-Based Design of Baggage Handling Systems
L. Swartjes (2018) · PhD thesis
Program Verification in the Presence of Cached Address Translation
Hira Taqdees Syeda and others (2018) · Springer International Publishing
A Study on Malware and Malware Detection Techniques
Rabia Tahir (2018) · MECS Publisher
Basejump STL: systemverilog needs a standard template library for hardware design
M. B. Taylor (2018) · ACM
Taking Control of SDN-based Cloud Systems via the Data Plane
Kashyap Thimmaraju and others (2018) · Symposium on SDN Research
Studying Small States: A Review
Baldur Thorhallsson (2018) · Small States & Territories 1, no. 1 (2018): 17–34. https://www.um.edu.mt/library/oar/handle/123456789/44443.
The Seven-Year Itch: How Apple’s Marriage to Siri Turned Sour
Aaron Tilley and others (2018)
Hybrid simulation for cyber physical systems: state of the art and a literature review
Andreas Tolk and others (2018) · SpringSim (ANSS)
Power MOSFET Maximum Ratings
Toshiba Electronic Devices & Storage Corporation (2018) · https://toshiba.semicon-storage.com/info/application_note_en_20180726_ AKX00062.pdf?did=13414
The Biomedical Data Translator Program: Conception, Culture, and Community
The Biomedical Data Translator Consortium (2018) · Wiley
Toward A Universal Biomedical Data Translator
The Biomedical Data Translator Consortium (2018) · Wiley
CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests
Caroline Trippel and others (2018) · 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) · IEEE
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
Caroline Trippel and others (2018)
Linux network programming with p4
W. Tu and others (2018) · Linux Plumbers Conference
National Defense Strategy of the United States of America
US Department of Defense (2018) · Office of the Secretary of Defense
Data exfiltration: A review of external attack vectors and countermeasures
Faheem Ullah and others (2018) · Journal of Network and Computer Applications · Elsevier BV
Quasi-Resonant Clocking: Continuous Voltage-Frequency Scalable Resonant Clocking System for Dynamic Voltage-Frequency Scaling Systems
Fahim ur Rahman and others (2018) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Study on Phishing Attacks
Bhavsar, V. and others (2018) · Foundation of Computer Science
Foreshadow: extracting the keys to the Intel SGX kingdom with transient out-of-order execution
J. Van Bulck and others (2018) · USENIX Security Symposium
The Platform Society
José van Dijck and others (2018)
Serverless is More: From PaaS to Present Cloud Computing
E. van Eyk and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
Random Additive Control Flow Error Detection
Jens Vankeirsbilck and others (2018) · Springer International Publishing
Lost in the Dream? Measuring the effects of Operation Bayonet on vendors migrating to Dream Market
R. Van Wegberg and others (2018)
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery
The deterrence credibility of NATO and the readiness of the Baltic States to employ the deterrence instruments
V. Veebel and others (2018) · Lithuanian Annual Strategic Review
A Trace-Based Performance Study of Autoscaling Workloads of Workflows in Datacenters
L. Versluis and others (2018) · IEEE
Cybersecurity and information security – what goes where?
B. von Solms and others (2018) · Emerald
Understanding Internet shutdowns: A case study from Pakistan
Ben Wagner (2018) · International Journal of Communication
Process Simulation for Machine Reservation in Cloud Manufacturing
P. Waibel and others (2018) · IEEE
Accelerating Coverage Directed Test Generation for Functional Verification: A Neural Network-based Framework
F. Wang and others (2018) · ACM
Integrated lithium niobate electro-optic modulators operating at CMOS-compatible voltages
Cheng Wang and others (2018) · Springer Science and Business Media LLC
Nanophotonic lithium niobate electro-optic modulators
Cheng Wang and others (2018) · Optica Publishing Group
Ridge-Based DPA: Improvement of Differential Power Analysis For Nanoscale Chips
Weijia Wang and others (2018) · IEEE Transactions on Information Forensics and Security · Institute of Electrical and Electronics Engineers (IEEE)
Software protection on the go: A large-scale empirical study on mobile app obfuscation
P. Wang and others (2018) · 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE). IEEE
Ultrahigh-efficiency wavelength conversion in nanophotonic periodically poled lithium niobate waveguides
Cheng Wang and others (2018) · Optica Publishing Group
Balancing Disruption and Deployability in the CHERI Instruction-Set Architecture (ISA)
Robert N.M. Watson and others (2018) · The MIT Press
Capability Hardware Enhanced RISC Instructions (CHERI): Notes on the Meltdown and Spectre Attacks
Robert N. M. Watson and others (2018) · CL Technical Reports
Plug and prey? Measuring the commoditization of cybercrime via online anonymous markets
R. V. Wegberg and others (2018) · Proc
Sponge-Based Control-Flow Protection for IoT Devices
Mario Werner and others (2018) · 2018 IEEE European Symposium on Security and Privacy (EuroS&P) · IEEE
The National Cyber Strategy of the United States of America
The White House (2018) · The Office of the President of the United States of America
Ensemble Perception
D. Whitney and others (2018) · Annual Reviews
Kernel-memory-leaking Intel processor design flaw forces Linux, Windows redesign
Chris Williams (2018)
Stand out of our Light: Freedom and Resistance in the Attention Economy
James Williams (2018) · Cambridge University Press
System Specification and Design Structuring Methods for a Lock Product Platform
T. Wilschut (2018) · PhD thesis
Security Enhanced LLVM
Hans Winderix (2018) · MA thesis
Fiber-optic transmission and networking: the previous 20 and the next 20 years [Invited]
Peter J. Winzer and others (2018) · Optics Express · Optica Publishing Group
Leveraging Interconnections for Performance: The Serving Infrastructure of a Large CDN
Florian Wohlfart and others (2018) · ACM
Smart contracts: security patterns in the ethereum ecosystem and solidity
Maximilian Wohrer and others (2018) · IEEE
Supervisory control of discrete-event systems: A brief history
W. M. Wonham and others (2018) · Elsevier BV
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
H. Xu and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)
The Role of Rational Calculus in Controlling Individual Propensity toward Information Security Policy Non-Compliance Behavior
Z. Xu and others (2018) · Hawaii International Conference on System Sciences
Fast PokeEMU: Scaling generated instruction tests using aggregation and state chaining
Q. Yan and others (2018) · 14th International Conference on Virtual Execution Environments (VEE)
InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy
Mengjia Yan and others (2018) · IEEE/ACM International Symposium on Microarchitecture (MICRO) · Institute of Electrical and Electronics Engineers
Drone networks: Communications, coordination, and sensing
Evşen Yanmaz and others (2018) · Ad Hoc Networks
A Low-cost Function Call Protection Mechanism Against Instruction Skip Fault Attacks
Yuan Yao and others (2018)
Systems, methods, user interfaces and algorithms for performing database analysis and search of information involving structured and/or semi-structured data
Timothy Yousaf and others (2018)
Formal Analysis of Galois Field Arithmetic Circuits - Parallel Verification and Reverse Engineering
Cunxi Yu and others (2018) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Recent Advances in FPGA Reverse Engineering
H. Yu and others (2018) · MDPI AG
Fault Attacks on Embedded Software: New Directions in Modeling, Design, and Mitigation
Bilgiday Yuce (2018)
Fault Attacks on Secure Embedded Software: Threats, Design, and Evaluation
Bilgiday Yuce and others (2018) · Springer Science and Business Media LLC
Composable Building Blocks to Open up Processor Design
Sizhuo Zhang and others (2018) · IEEE
FOCES: Detecting Forwarding Anomalies in Software Defined Networks
Peng Zhang and others (2018) · IEEE International Conference on Distributed Computing Systems (ICDCS)
Trimmed dual system estimation
L.-C. Zhang and others (2018) · Chapman and Hall/CRC
KeySight: Troubleshooting Programmable Switches via Scalable High-Coverage Behavior Tracking
Yu Zhou and others (2018) · IEEE International Conference on Network Protocols (ICNP) · Institute of Electrical and Electronics Engineers
An emergentist perspective on the origin of number sense
M. Zorzi and others (2018) · The Royal Society
Pulsed interferometric optical fibre sensor detecting wiretapping in long transmission lines
M. Życzkowski and others (2018) · Opto-Electronics Review · Polish Academy of Sciences Chancellery