2016
303 references published this year.
Liska and T
A, (2016)
Media and Translation: An Interdisciplinary Approach
Dror Abend-David (2016)
Cellular for the skies: Exploiting mobile network infrastructure for low altitude air-to-ground communications
L. Afonso and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Optical Communication: Its History and Recent Progress
Govind P. Agrawal (2016) · Optics in Our Time · Springer
Solid-state single-photon emitters
Igor Aharonovich and others (2016) · Springer Science and Business Media LLC
Optics in Our Time
Mohammad D. Al-Amri and others (2016) · Springer
Risk Management in Information Security: A Systematic Review
Manuel Alcántara and others (2016) · Journal of Advances in Information Technology
Deadly Triangles: The Implications of Regional Competition on Interactions in Asymmetric Dyads
Michael A. Allen and others (2016) · Oxford University Press (OUP)
Completeness for recursive procedures in separation logic
Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier
Completeness of Verification System with Separation Logic for Recursive Procedures
Mahmudul Faisal Al Ameen (2016) · The Graduate University for Advanced Studies, SOKENDAI
Introduction to software testing
Paul Ammann and others (2016) · Cambridge University Press
Number As a Primary Perceptual Attribute: A Review
G. Anobile and others (2016) · SAGE Publications
Air-ground channels for UAS: Summary of measurements and models for L- and C-bands
D. W. Matolak and others (2016) · IEEE
OpenPiton microarchitecture specification
Unattributed (2016) · Princeton University
SNAP: Stateful network-wide abstractions for packet processing
M. T. Arashloo and others (2016) · Proceedings of the 2016 ACM SIGCOMM Conference
Air/Ground Character-Oriented Protocol Specification
ARINC, (2016) · Technical Report ARINC Report 618-7
The rocket chip generator
K. Asanovic and others (2016) · EECS Department
Risk assessment and risk management: Review of recent advances on their foundation
T. Aven (2016) · Elsevier BV
Integration of Supervisory Control Synthesis in Model-Based Systems Engineering
J. C. M. Baeten and others (2016) · Studies in systems, decision and control · Springer International Publishing
Faucet: Deploying SDN in the Enterprise
Josh Bailey and others (2016) · Queue · Association for Computing Machinery
A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term
Henri E. Bal and others (2016) · Computer · IEEE Computer Society
OpenPiton: An Open Source Manycore Research Framework
J. Balkind and others (2016) · ACM
Integrated Data Management for a Fleet of Search‐and‐rescue Robots
Haris Balta and others (2016) · Journal of Field Robotics · Wiley
Code obfuscation against symbolic execution attacks
S. Banescu and others (2016) · ACM
VOT4CS: A Virtualization Obfuscation Tool for C#
S. Banescu and others (2016) · Proceedings of the 2016 ACM Workshop on Software PROtection
A Low Ripple Switched-Capacitor Voltage Regulator Using Flying Capacitance Dithering
Suyoung Bang and others (2016) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Compilation of a Countermeasure Against Instruction-Skip Fault Attacks
Thierno Barry and others (2016)
Strong Non-Interference and Type-Directed Higher-Order Masking
Gilles Barthe and others (2016) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Contracts as games on event structures
Massimo Bartoletti and others (2016) · Elsevier BV
Specification and Verification of Contract-Based Applications
Davide Basile (2016)
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Body Biasing Injection Attacks in Practice
Noemie Beringuier-Boher and others (2016) · ACM
Defining (co)datatypes and primitively (co)recursive functions in Isabelle/HOL
J. Biendarra and others (2016)
US Military Bases, Quasi-bases, and Domestic Politics in Latin America
Sebastian E. Bitar (2016) · Palgrave Macmillan US
Hammering towards QED
Jasmin Christian Blanchette and others (2016) · Alma Mater Studiorum - University of Bologna
Open Connect Everywhere: A Glimpse at the Internet Ecosystem through the Lens of the Netflix CDN
Timm Böttger and others (2016) · arXiv
Technique to Manage Software Safety
Jean‐Louis Boulanger (2016) · Elsevier BV
A 16 nm All-Digital Auto-Calibrating Adaptive Clock Distribution for Supply Voltage Droop Tolerance Across a Wide Operating Range
K. A. Bowman and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Working memory is not fixed-capacity: More active storage capacity for real-world objects than for simple stimuli
Timothy F. Brady and others (2016) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Ransomware attacks: detection, prevention and cure
R. Brewer (2016) · Breda Publishing Press
Brand Machines, Sensory Media and Calculative Culture
Sven Brodmerkel and others (2016) · Palgrave Macmillan UK
Concurrent separation logic
Stephen Brookes and others (2016) · ACM SIGLOG News
Design Structure Matrix Extensions and Innovations: A Survey and New Opportunities
T. R. Browning (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Search and Destroy: The Knowledge Engine and the Undoing of Lila Tretikov
William Buetler (2016)
Probing the nature of deficits in the ‘Approximate Number System’ in children with persistent Developmental Dyscalculia
Stephanie Bugden and others (2016) · Developmental Science · Wiley
Scalable Parasitic Charge Redistribution: Design of High-Efficiency Fully Integrated Switched-Capacitor DC–DC Converters
Nicolas Butzen and others (2016) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks
Gianpiero Cabodi and others (2016) · Journal on Satisfiability, Boolean Modeling and Computation
Secure embedded architectures: Taint properties verification
Gianpiero Cabodi and others (2016) · International Conference on Development and Application Systems (DAS)
Extracting behaviour from an executable instruction set model
Brian Campbell and others (2016) · IEEE
Invited - The case for embedded scalable platforms
Luca P. Carloni (2016) · ACM/IEEE Design Automation Conference (DAC) · Association for Computing Machinery
Measurements and analysis of current-voltage characteristic of a pn diode for an undergraduate physics laboratory
E. Cataldo and others (2016) · preprint arXiv:1608.05638
Changing Media, Homes, and Households: Cultures, Technologies, and Meanings
Deborah Chambers (2016)
Designing and implementing future aerial communication networks
S. Chandrasekharan and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Securing data planes in software-defined networks
T.-W. Chao and others (2016) · IEEE
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Lukáš Charvát and others (2016) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
IBM Watson: How Cognitive Computing Can Be Applied to Big Data Challenges in Life Sciences Research
Ying Chen and others (2016) · Elsevier BV
Inter-domain networking innovation on steroids: empowering ixps with SDN capabilities
Marco Chiesa and others (2016) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
Towards Securing Internet eXchange Points Against Curious onlooKers
Marco Chiesa and others (2016) · ACM
Ransomware Against Police: Diagnosis of Risk Factors via Application of Cyber-Routine Activities Theory
K. Choi and others (2016) · SciDoc Publishers LLC
Spontaneous perception of numerosity in humans
G. M. Cicchini and others (2016) · Springer Science and Business Media LLC
Infinite-state invariant checking with IC3 and predicate abstraction
Alessandro Cimatti and others (2016) · Formal Methods in System Design · Springer Science and Business Media LLC
Optimal design for universal multiport interferometers
William R Clements and others (2016) · Optica Publishing Group
Dynamic auto-scaling and scheduling of deadline constrained service workloads on IaaS clouds
E. D. Coninck and others (2016) · Elsevier BV
Intel SGX explained
Victor Costan and others (2016) · Cryptology ePrint Archive
End-to-end verification of information-flow security for C and assembly programs
David Costanzo and others (2016) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Proposed AeroMACS PKI specification is a model for global and National Aeronautical PKI Deployments
Brian Crowe (2016) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
Understanding Dark Networks: A Strategic Framework for the Use of Social Network Analysis
Daniel Cunningham and others (2016) · Rowman & Littlefield
Don’t forget to lock the back door!
Jakub Czyz and others (2016) · a characterization of ipv6 network security policy. In 23rd Annual Network and Distributed System Security Symposium, NDSS
Measuring Victimization: Issues and New Directions
Leah E. Daigle and others (2016) · The Handbook of Measurement Issues in Criminology and Criminal Justice · Wiley
Automatic Generation of Power State Machines through Dynamic Mining of Temporal Assertions
A. Danese and others (2016) · Research Publishing Services
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Robin David and others (2016) · IEEE
Botornot: A system to evaluate social bots
Clayton Allen Davis and others (2016) · 25th International Conference Companion on World Wide Web · Association for Computing Machinery
Bolivia-Brazil: Internal Dynamics, Sovereignty Drive, and Integrationist Ideology
Ana Carolina T. Delgado and others (2016) · Palgrave Macmillan UK
The spreading of misinformation online
Michela Del Vicario and others (2016) · Proceedings of the National Academy of Sciences · National Academy of Sciences
CYCLONE: A Platform for Data Intensive Scientific Applications in Heterogeneous Multi-cloud/Multi-provider Environment
Y. Demchenko and others (2016) · IEEE
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Overview of feminizing hormone therapy
Madeline B. Deutsch (2016)
Overview of masculinizing hormone therapy
Madeline B. Deutsch (2016)
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity
Dominique Devriese and others (2016) · IEEE European Symposium on Security and Privacy
nZDC: A compiler technique for near zero silent data corruption
Moslem Didehban and others (2016) · 53rd Annual Design Automation Conference (DAC)
GaAs integrated quantum photonics: Towards compact and multi‐functional quantum photonic integrated circuits
Christof P Dietrich and others (2016) · Wiley
Blackholing at IXPs: On the Effectiveness of DDoS Mitigation in the Wild
Christoph Dietzel and others (2016) · Passive and Active Measurement · Springer International Publishing
Supporting end-to-end connectivity in federated networks using SDN
Roberto di Lallo and others (2016) · IEEE/IFIP Network Operations and Management Symposium (NOMS)
Sensory and Working Memory Representations of Small and Large Numerosities in the Crow Endbrain
Helen M. Ditz and others (2016) · Journal of Neuroscience · Society for Neuroscience
On the origins of logarithmic number-to-position mapping.
D. Dotan and others (2016) · American Psychological Association (APA)
SDN-Guard: DoS Attacks Mitigation in SDN Networks
Lobna Dridi and others (2016) · IEEE International Conference on Cloud Networking
Code Analysis and Certification Process of Secure Hardware against Fault Injection
Louis Dureuil (2016)
FISSC: A Fault Injection and Simulation Secure Collection
Louis Dureuil and others (2016) · Computer Safety, Reliability, and Security · Springer International Publishing
R
E, (2016)
Towards a Definition of Knowledge Graphs
Lisa Ehrlinger and others (2016)
A formal model for capability machines: An illustrative study towards secure compilation to CHERI
Akram El-Korashy (2016)
Bridge related damage quantification using unmanned aerial vehicle imagery
Andrew Ellenberg and others (2016) · Structural Control and Health Monitoring · Wiley
Thermo-Optic Characterization of Silicon Nitride Resonators for Cryogenic Photonic Circuits
Ali W Elshaari and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Galindo-Rueda and F
F, (2016) · Verger
Linking Public Safety Data to the Countywide Master Data Management System
Ali Farahani and others (2016)
BUZZ: Testing Context-Dependent Policies in Stateful Networks
S. K. Fayaz and others (2016) · 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free
Josselin Feist and others (2016)
NetCo: Reliable Routing With Unreliable Routers
A. Feldmann and others (2016) · IEEE
Cyber Operations and Gray Zones: Challenges for NATO
Oliver Fitton (2016) · Connections: The Quarterly Journal
Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Shaked Flur and others (2016) · Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016)
Quadratic timing objectives for incremental timing-driven placement optimization
Mateus Fogaca and others (2016) · 2016 IEEE International Conference on Electronics, Circuits and Systems (ICECS) · IEEE
Adaptation to number operates on perceived rather than physical numerosity
M. Fornaciai and others (2016) · Elsevier BV
Verified compilation of CakeML to multiple machine-code targets
Anthony C. J. Fox and others (2016)
ENTER THE DRAGON – CHINA AS A HIGH-END GRAY ZONE REVISIONIST
N. P. Freier and others (2016) · OUTPLAYED: REGAINING STRATEGIC INITIATIVE IN THE GRAY ZONE (pp. 33–40). Strategic Studies Institute, US Army War College. http://www.jstor.org/stable/resrep12061.11
Unfaithful Glitch Propagation in Existing Binary Circuit Models
Matthias Függer and others (2016) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Rage-quit: Coder unpublished 17 lines of JavaScript and “broke the Internet”
Sean Gallagher (2016)
UVFR: A Unified Voltage and Frequency Regulator with 500MHz/0.84V to 100KHz/0.27V operating range, 99.4% current efficiency and 27% supply guardband reduction
S. Gangopadhyay and others (2016) · IEEE
Sensory-integration system rather than approximate number system underlies numerosity processing: A critical review
T. Gebuis and others (2016) · Elsevier BV
The Value of Science Is in the Foresight: New Challenges Demand Rethinking the Forms and Methods of Carrying out Combat Operations
Valery Gerasimov (2016) · Military Review
Nominal Performance of Future Dual Frequency Dual Constellation GBAS
D. Gerbeth and others (2016) · Wiley
MPLS Fundamentals
L. D. Ghein (2016) · Cisco Press
Reusability and modularity of safety specifications for supervisory control
Florian Göbe and others (2016) · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Formal Verification of Application and System Programs Based on a Validated x86 ISA Model
Shilpi Goel (2016)
Modular Supervisory Control Synthesis for Automata with Data
R. P. A. Gommans (2016) · Report number CST 2016
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw and others (2016) · Software and Systems Modeling
Rowhammer.js: A Remote Software-Induced Fault Attack in JavaScript
Daniel Gruss and others (2016) · Lecture notes in computer science · Springer Science+Business Media
CertiKOS: An extensible architecture for building certified concurrent OS kernels
Ronghui Gu and others (2016) · 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4
Provably secure memory isolation for Linux on ARM
Roberto Guanciale and others (2016) · Journal of Computer Security · IOS Press
Assessing the Approximate Number System: no relation between numerical comparison and estimation tasks
M. Guillaume and others (2016) · Springer Science and Business Media LLC
An Industrial-Scale Software Defined Internet Exchange Point
Arpit Gupta and others (2016) · 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16) · USENIX Association
psiTurk: An open-source framework for conducting replicable behavioral experiments online
Todd Matthew Gureckis and others (2016) · Behavior Research Methods · Springer Science+Business Media
Analyzing CyberCrimes Strategies: The Case of Phishing Attack
R. A. Halaseh and others (2016) · IEEE
Lifting assembly to intermediate representation: A novel approach leveraging compilers
Niranjan Hasabnis and others (2016) · ACM
Evidence-Based Policing: From Effectiveness to Cost-Effectiveness
Robert Heaton and others (2016) · Policing A Journal of Policy and Practice · Oxford University Press
Ready for Rain? A View from SPEC Research on the Future of Cloud Metrics
Nikolas Roman Herbst and others (2016) · arXiv (Cornell University) · Cornell University
The Telegraph in America, 1832–1920
David Hochfelder (2016) · Johns Hopkins University Press
Cybercrime
T. J. Holt (2016) · Wiley
Business, victimisation and victimology: Reflections on contemporary patterns of commercial victimisation and the concept of businesses as ‘ideal victims
M. Hopkins (2016) · ’
The crime drop and the changing face of commercial victimization: Reflections on the ‘commercial crime drop’ in the UK and the implications for future research
M. Hopkins (2016) · SAGE Publications
Completeness for a first-order abstract separation logic
Zhé Hóu and others (2016) · 14th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
Imprecise security: Quality and complexity tradeoffs for hardware information–flow tracking
W. Hu and others (2016) · 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Formal Specification with the Java Modeling Language
Marieke Huisman and others (2016) · Deductive Software Verification – The KeY Book · Springer International Publishing
Reclaiming the Computing Commons
Rob Hunter (2016)
Neural and Behavioral Signatures of Core Numerical Abilities and Early Symbolic Number Development
Daniel C. Hyde and others (2016) · Elsevier BV
Freebase is dead, long live Freebase
Iain, (2016)
Annex 10 - Aeronautical Telecommunications - Volume II - Communication Procedures including those with PANS status
ICAO, (2016) · ICAO Annex 10 - Volume II, International Civil Aviation Organization (ICAO)
Doc 9880 — Manual on Detailed Technical Specifications for the Aeronautical Telecommunication Network (ATN) using ISO/OSI Standards and Protocols, Part I-IV
ICAO, (2016) · ICAO Doc 9880, International Civil Aviation Organization (ICAO)
Grouping by proximity and the visual impression of approximate number in random dot arrays
Hee Yeon Im and others (2016) · Vision Research · Elsevier BV
Verilog2SMV: A Tool for Word-level Verification
Ahmed Irfan and others (2016) · Design, Automation, and Test in Europe
Vulnerability Prediction Against Fault Attacks
Nisrine Jafri and others (2016) · ERCIM News (2016).
OpenSGX: An Open Platform for SGX Research
Prerit Jain and others (2016) · Network and Distributed System Security Symposium
Breaking Kernel Address Space Layout Randomization with Intel TSX
Yeongjin Jang and others (2016) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Internet Exchange BGP Route Server
E. Jasinska and others (2016) · RFC Editor
Failure Mechanisms and Models for Semiconductor Devices.
JEDEC Publication JEP122H (2016)
A Study of Cyber Security Policy in Industrial Control System using Data Diodes
Boo-Sun Jeon and others (2016) · 18th International Conference on Advanced Communication Technology (ICACT 2016)
Small States in the International System: At Peace and at War
Neal G. Jesse and others (2016)
Linbo3 thin-film modulators using silicon nitride surface ridge waveguides
Shilei Jin and others (2016) · IEEE Photonics Technology Letters
Ongeval Den Uylbrug, Zaandam
T. H. J. Joustra and others (2016) · Tech
Birthing the Computer: From Relays to Vacuum Tubes
Stephen H. Kaisler (2016)
Cybernetics, reflexivity and second-order science
Louis H. Kauffman (2016) · Constructivist Foundations
Encounters with World Affairs: An Introduction to International Relations
Emilian Kavalski (2016) · Routledge
Clock domain crossing formal verification: a meta-model
M. Kebaili and others (2016) · IEEE
Conclusive formal verification of clock domain crossings using spyglass-cdc
M. Kebaili and others (2016) · SNUG France, June 2016
Smarter Power, Stronger Partners, Volume I: Exploiting U.S. Advantages to Prevent Aggression
Terrence Kelly and others (2016) · RAND Corporation
Topology Discovery in Software Defined Networks: Threats, Taxonomy, and State-of-the-Art
S. Khan and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Enabling Wide Autonomous DVFS in a 22 nm Graphics Execution Core Using a Digitally Controlled Fully Integrated Voltage Regulator
Stephen T. Kim and others (2016) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
BLACKHOLE Community
T. King and others (2016) · RFC Editor
The ethnification of Russian nationalism
P. Kolsto (2016)
Control of an engineering-structured multilevel discrete-event system
Jan Komenda and others (2016) · International Workshop on Discrete Event Systems
Adaptive Enterprise Architecture for the Future: Towards a Reconceptualization of EA
J. J. Korhonen and others (2016) · IEEE
Measurement-based timing analysis of the AURIX caches
L. Kosmidis and others (2016) · WCET
Enterprise Architecture Is Not TOGAF
S. Kotusev (2016)
The History of Enterprise Architecture: An Evidence-Based Review
S. Kotusev (2016) · Journal of Enterprise Architecture (Vol. 12, Issue 1).
BGP Prefix Delegations: A Deep Dive
Thomas Krenc and others (2016) · ACM
Decision Procedures
Daniel Kroening and others (2016) · Springer Berlin Heidelberg
Towards Formal Verification of Real-World SystemC TLM Peripheral Models — A Case Study
Hoang M. Le and others (2016) · Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) · Research Publishing Services
Analysis of the Cyber Attack on the Ukrainian Power Grid
Robert M. Lee and others (2016) · Electricity Information Sharing and Analysis Center (E-ISAC) and SANS Industrial Control Systems
Unmanned aerial vehicles (UAVs)‐based thermal infrared (TIR) mapping, a novel approach to assess groundwater discharge into the coastal zone
Eunhee Lee and others (2016) · Limnology and Oceanography Methods · Wiley
Patterns in the Chaos—A Study of Performance Variation and Predictability in Public IaaS Clouds
Philipp Leitner and others (2016) · ACM Transactions on Internet Technology · Association for Computing Machinery
Leibniz’s Logic and the “Cube of Opposition”
Wolfgang Lenzen (2016) · Springer Science and Business Media LLC
CompCert — a formally verified optimizing compiler
X. Leroy and others (2016) · Embedded Real Time Software and Systems
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement
Thomas Letan and others (2016) · Lecture notes in computer science · Springer Science+Business Media
Applying Routine Activity Theory to Cybercrime: A Theoretical and Empirical Analysis
E. R. Leukfeldt and others (2016) · Informa UK Limited
Palantir connects the dots with Big Data
Michal Lev-Ram (2016)
Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice
Grischa Liebel and others (2016) · Springer Science and Business Media LLC
Arm Cortex-A57 MPCore Processor Technical Reference Manual, 2016
Arm Limited (2016) · ARM DDI 0488H.
Arm Cortex-A72 MPCore Processor Technical Reference Manual, 2016
Arm Limited (2016) · ARM 100095 r0p3.
No evidence of learning in non-symbolic numerical tasks–a comment on park and brannon (2014)
M. Lindskog and others (2016) · Cognition
Full flow clock domain crossing - from source to si
M. Litterick (2016) · DVCON
Automatically verifying reachability and well-formedness in P4 Networks
N. P. Lopes and others (2016) · Technical Report
An NMOS-LDO Regulated Switched-Capacitor DC–DC Converter With Fast-Response Adaptive-Phase Digital Control
Yan Lu and others (2016) · IEEE Transactions on Power Electronics · Institute of Electrical and Electronics Engineers (IEEE)
COATCheck: Verifying memory ordering at the hardware-OS interface
D. Lustig and others (2016) · Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
A survey on static cache analysis for real-time systems
M. Lv and others (2016) · Leibniz Trans. Embed. Syst.
Proof automation for functional correctness in separation logic
Ewen Maclean and others (2016) · Journal of Logic and Computation
Modular supervisor synthesis for extended finite-state machines subject to controllability
Robi Malik and others (2016) · International Workshop on Discrete Event Systems
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Konstantinos Mamouras (2016) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Counterexamples and proof loophole for the C/C++ to POWER and Armv7 trailing-sync compiler mappings
Y. A. Manerkar and others (2016) · CoRR
Security Testing with Controller-Pilot Data Link Communications
D. Di Marco and others (2016) · IEEE
Detecting Botnets using a Collaborative Situational-aware IDPS
L. Mathews and others (2016) · SCITEPRESS - Science and and Technology Publications
Eisbach: A Proof Method Language for Isabelle
Daniel Matichuk and others (2016) · Springer Science and Business Media LLC
Air–Ground Channel Characterization for Unmanned Aircraft Systems—Part I: Methods, Measurements, and Models for Over-Water Settings
David W. Matolak and others (2016) · IEEE Transactions on Vehicular Technology · Institute of Electrical and Electronics Engineers
Event-driven network programming
J. McClurg and others (2016) · Association for Computing Machinery (ACM)
A Brief History of Cadence: The Solomon-Costello Era
P. McLellan (2016)
Modular specification and verification of a cache-coherent interface
Kenneth McMillan (2016) · IEEE
Symbolic On-the-Fly Synthesis in Supervisory Control Theory
Sajed Miremadi and others (2016) · IEEE Transactions on Control Systems Technology · Institute of Electrical and Electronics Engineers
Computer Security Discourse at RAND, SDC, and NSA (1958-1970)
Thomas J. Misa (2016) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
PLL to the rescue: a novel EM fault countermeasure
Noriyuki Miura and others (2016) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Risk Analysis in Engineering: Techniques, Tools, and Trends
Mohammad Modarres (2016) · CRC Press
A framework for compositional nonblocking verification of extended finite-state machines
Sahar Mohajerani and others (2016) · Discrete Event Dynamic Systems · Springer Science+Business Media
Branch-and-bound algorithms: A survey of recent advances in searching, branching, and pruning
David R. Morrison and others (2016) · Discrete Optimization · Elsevier BV
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration
Jan Mrázek and others (2016) · Lecture notes in computer science · Springer Science+Business Media
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)
Rajdeep Mukherjee and others (2016)
Viper: A verification infrastructure for permission-based reasoning
Peter Müller and others (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17 · Springer
CubeSat constellation design for air traffic monitoring
S. Nag and others (2016) · Elsevier BV
Time-sensitive Software-defined Network (TSSDN) for Real-time Applications
N. G. Nayak and others (2016) · ACM
The Content Analysis Guidebook
K. A. Neuendorf (2016) · SAGE Publications, Inc
A Zonotoped Macromodeling for Eye-Diagram Verification of High-Speed I/O Links With Jitter and Parameter Variations
Leibin Ni and others (2016) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Basisspecificatie Schutsluis, versie 4.1.1
W. Nieman (2016) · Tech
Darknet and deepnet mining for proactive cybersecurity threat intelligence
E. Nunes and others (2016) · IEEE
Deterrence and Dissuasion in Cyberspace
J. S. Nye (2016) · International Security
26.1 A 5.5mW ADPLL-based receiver with hybrid-loop interference rejection for BLE application in 65nm CMOS
Hidenori Okuni and others (2016) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
A Shift in the International Security Environment: Potential Implications for Defense - Issues for Congress
Ronald O’Rourke (2016) · Congressional Research Service
Ivy: safety verification by interactive generalization
Oded Padon and others (2016) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Survey on Logical Key Hierarchy for secure group communication
A. S. Pande and others (2016) · IEEE
PEAS: A performance evaluation framework for auto-scaling strategies in cloud applications
A. V. Papadopoulos and others (2016) · ACM Transactions on Modeling and Performance Evaluation of Computing Systems
Non-symbolic approximate arithmetic training improves math performance in preschoolers
Joonkoo Park and others (2016) · Journal of Experimental Child Psychology · Elsevier BV
Ethical considerations in network measurement papers
Craig Partridge and others (2016) · Communications of the ACM · Association for Computing Machinery
ICAO Air-Ground Security Standards Strategy
V. Patel (2016) · 2016 Integrated Communication, Navigation and Surveillance Conference (ICNS)
Marine Corps Cyberspace Operations: The Need for Change
Jeffrey J. Patterson (2016) · Marine Corps University, Command and Staff College
Yahoo says hackers stole data on 500 million users in 2014
Nicole Perlroth (2016)
DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks
P. Pessl and others (2016) · USENIX Security’16
The speed of diversity: Exploring complex FPGA routing topologies for the global metal layer
Oleg Petelin and others (2016) · IEEE
A rational analysis of the approximate number system
S. T. Piantadosi (2016) · Springer Science and Business Media LLC
Cybernetics: The Macy Conferences 1946-1953. The Complete Transactions
Unattributed (2016) · diaphanes
A personal Google, just for you
Sundar Pichai (2016)
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Jean Pichon-Pharabod and others (2016) · ACM
Conclusively verifying clock-domain crossings in very large hardware designs
Guillaume Plassan and others (2016) · IFIP/IEEE International Conference on Very Large Scale Integration
Supporting On-demand Elasticity in Distributed Graph Processing
M. Pundir and others (2016) · IEEE
Search and Rescue Rotary‐Wing UAV and Its Application to the Lushan Ms 7.0 Earthquake
Juntong Qi and others (2016) · Journal of Field Robotics · Wiley
A new approach for rowhammer attacks
Rui Qiao and others (2016) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
Survey of inter-satellite communication for small satellite systems: Physical layer to network layer view
Radhika Radhakrishnan and others (2016) · IEEE Communications Surveys & Tutorials
19.6 voltage-scalable frequency-independent quasi-resonant clocking implementation of a 0.7-to-1.2V DVFS System
F. U. Rahman and others (2016) · IEEE
High-performance and linear thin-film lithium niobate Mach–Zehnder modulators on silicon up to 50 GHz
Ashutosh Rao and others (2016) · Optica Publishing Group
Earth Mover's Distance as a Comparison Metric for Analog Behavior
Alexander W. Rath and others (2016) · VLSI-SoC: Design for Reliability, Security, and Low Power. 24th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) · Springer International Publishing
Flip feng shui: Hammering a needle in the software stack
Kaveh Razavi and others (2016) · USENIX Security symposium
End-to-End Verification of ARM Processors with ISA-Formal
Alastair Reid and others (2016) · Computer Aided Verification (CAV 2016)
Trustworthy specifications of ARM® v8-A and v8-M system level architecture
Alastair Reid (2016) · Formal Methods in Computer-Aided Design
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds and others (2016) · Automated Technology for Verification and Analysis · Springer
DO-350A Volume I and II - Safety and Performance Standard for Baseline 2 ATS Data Communications, Initial Release ((Baseline 2 SPR Standard)
RTCA, (2016) · Technical Report DO-350A Volume I and II
Splash-3: A properly synchronized benchmark suite for contemporary research
C. Sakalis and others (2016) · IEEE
The effects of Internet usage and economic growth on CO2 emissions in OECD countries: A panel investigation
Mohammad Salahuddin and others (2016) · Renewable and Sustainable Energy Reviews · Elsevier
Building Decentralized Applications for the Social Web
Andrei Sambra and others (2016) · ACM Press
SDNsec: Forwarding Accountability for the SDN Data Plane
Takayuki Sasaki and others (2016) · International Conference on Computer Communication and Networks (ICCCN)
Efficient fault-injection-based assessment of softwareimplemented hardware fault tolerance
Horst Benjamin Schirmeier (2016)
Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?
Sebastian Schrittwieser and others (2016) · ACM Computing Surveys · Association for Computing Machinery
Automatic Derivation of Platform Noninterference Properties
Oliver Schwarz and others (2016) · Lecture notes in computer science · Springer Science+Business Media
A survey of security in software defined networks
Sandra Scott-Hayward and others (2016) · IEEE Communications Surveys & Tutorials · IEEE
Precise Laser Fault Injections into 90 nm and 45 nm SRAM-cells
Bodo Selmke and others (2016) · Smart Card Research and Advanced Applications · Springer International Publishing
Technical Perspective: Veritesting tackles path-explosion problem
K. Sen (2016) · Association for Computing Machinery (ACM)
Towards Resiliency Evaluation of Vector Programs
Vishal Chandra Sharma and others (2016) · IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
19.4 A 0.17-to-3.5mW 0.15-to-5GHz SoC PLL with 15dB built-in supply noise rejection and self-bandwidth control in 14nm CMOS
Kuan-Yueh James Shen and others (2016) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
A 4-to-10.5 Gb/s Continuous-Rate Digital Clock and Data Recovery With Automatic Frequency Acquisition
G. Shu and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
A Study of Security Isolation Techniques
Rui Shu and others (2016) · ACM Computing Surveys · Association for Computing Machinery (ACM)
Present and future of I/O-buffer behavioral macromodels
Gianni Signorini and others (2016) · IEEE Electromagnetic Compatibility Magazine
Mastering the game of Go with deep neural networks and tree search
David Silver and others (2016) · Nature · Nature Portfolio
Rate–distortion theory and human perception
C. R. Sims (2016) · Elsevier BV
On the security and privacy of ACARS
Matt Smith and others (2016) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
Carbon nanotube FET‐based low‐delay and low‐power multi‐digit adder designs
B. Srinivasu and others (2016) · IET Circuits, Devices & Systems · Institution of Engineering and Technology (IET)
Problem Definition and Classification of BGP Route Leaks
K. Sriram and others (2016) · RFC Editor
Platform Capitalism
Nick Srnicek (2016) · Polity
A researcher’s guide to: Space environmental effects
D. Steele (2016) · 2016.
Tactical Data Link -- From Link 1 to Link 22
Anca Stoica and others (2016) · Scientific Bulletin of Naval Academy
On Perception and Reality in Wireless Air Traffic Communication Security
M. Strohmeier and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Verifying Information Flow Properties of Firmware using Symbolic Execution
Pramod Subramanyan and others (2016) · Research Publishing Services
Air–Ground Channel Characterization for Unmanned Aircraft Systems Part II: Hilly and Mountainous Settings
R. Sun and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors
L. Swartjes and others (2016) · International Workshop on Discrete Event Systems
From Freebase to Wikidata
Thomas Pellissier Tanon and others (2016) · Proceedings of the 25th International Conference on World Wide Web · International World Wide Web Conferences Steering Committee
Formal Verification of Clock Domain Crossing using Gate-level Models of Metastable Flip-Flops
Ghaith Tarawneh and others (2016) · Design, Automation and Test in Europe (DATE)
Bypassing Secure Boot using Fault Injection, 2016.
Niek Timmers and others (2016)
Controlling PC on ARM Using Fault Injection
Niek Timmers and others (2016) · Workshop on Fault Diagnosis and Tolerance in Cryptography
Youth Activism in Egypt: Islamism, Political Protest and Revolution
Ahmed Tohamy (2016) · I.B. Tauris
Cross Domain Synergy in Joint Operations: Planners Guide
US Department of Defense (2016) · Office of the Secretary of Defense
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
Increasing the Reliability of a Naval Tactical Data Link through the Design and Implementation of Automatic Mechanisms for Failure Recovery
Gustavo Pérez Valdés and others (2016) · Ship Science & Technology
How Cool Brands Stay Hot: Branding to Generations Y and Z
Joeri van den Bergh and others (2016) · Kogan Page
LTE in the sky: trading off propagation benefits with interference costs for aerial nodes
Bertold Van den Bergh and others (2016) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
Some complexity results for stateful network verification
Y. Velner and others (2016) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer
Unmanned aerial vehicles and Geographical Information System integrated analysis of vegetation in Trasimeno Lake, Italy
S. Venturi and others (2016) · Lakes & Reservoirs: Research & Management
An automated tool for chip-scale ESD network exploration and verification
Benjamin Viale and others (2016) · IEEE
Modular Verification of Hardware Systems
Muralidaran Vijayaraghavan (2016)
Changing the precision of preschoolers’ approximate number system representations changes their symbolic math performance
Jinjing Jenny Wang and others (2016) · Journal of Experimental Child Psychology · Elsevier BV
Detection of command and control in advanced persistent threat based on independent access
X. Wang and others (2016) · IEEE
Design of the RISC-V instruction set architecture
A. Waterman (2016)
The RISC-V instruction set manual volume II: Privileged architecture version 1.9
A. Waterman and others (2016) · EECS Department
The RISC-V instruction set manual, volume i: User-level ISA, version 2.0
A. Waterman and others (2016) · University of California
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 5)
Robert N. M. Watson and others (2016) · CL Technical Reports
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture
Robert N. M. Watson and others (2016) · IEEE Micro · Institute of Electrical and Electronics Engineers
Platform affordances and data practices: The value of dispute on Wikipedia
Esther Weltevrede and others (2016) · SAGE Publications
Wikimedia timeline of events, 2014–2016
Molly White (2016)
Measurement and Characterization of Low-Altitude Air-to-Ground MIMO Channels
Tricia J. Willink and others (2016) · IEEE Transactions on Vehicular Technology · Institute of Electrical and Electronics Engineers
#Sponsored: The Emergence of Influencer Marketing
Steven Woods (2016)
Environmental criminology and crime analysis: Situating the theory, analytic approach and application
R. Wortley and others (2016)
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2016) · Perspectives on Science · MIT Press
A retrospective of knowledge graphs
Jihong Yan and others (2016) · Frontiers of Computer Science · Springer Science and Business Media LLC
Number sense and state-dependent valuation in cuttlefish
Tsang-I Yang and others (2016) · Proceedings of the Royal Society B Biological Sciences · Royal Society
The Rowhammer Attack Injection Methodology
Keun Soo Yim (2016) · Proceedings/Proceedings - Symposium on Reliable Distributed Systems · Institute of Electrical and Electronics Engineers
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Xiang Yin and others (2016) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
Software Fault Resistance is Futile: Effective Single-Glitch Attacks
Bilgiday Yuce and others (2016) · 2016 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) · IEEE
Wireless communications with unmanned aerial vehicles: opportunities and challenges
Y. Zeng and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
Software Defined Networking Reactive Stateful Firewall
S. Zerkane and others (2016) · Springer International Publishing
Mind the gap: Monitoring the control-data plane consistency in software defined networks
P. Zhang and others (2016) · Proceedings of the 12th International on Conference on Emerging Networking Experiments and Technologies
Monetary Cost Optimizations for Hosting Workflow-as-a-Service in IaaS Clouds
A. C. Zhou and others (2016) · Institute of Electrical and Electronics Engineers (IEEE)
A RISC-V Vector Processor With Simultaneous-Switching Switched-Capacitor DC–DC Converters in 28 nm FDSOI
Brian Zimmer and others (2016) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers (IEEE)