2017
292 references published this year.
GW170817: Observation of gravitational waves from a binary neutron star inspiral
B. P. Abbott and others (2017) · Physical Review Letters
Analysis of short-circuit conditions in logic circuits
Joao Afonso and others (2017) · IEEE
A 0.5–9.5-GHz, 1.2-µs Lock-Time Fractional-N DPLL With 1.25% UI Period Jitter in 16-nm CMOS for Dynamic Frequency and Core-Count Scaling
F. Ahmad and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Estimation of shipping emissions using vessel Long Range Identification and Tracking data
Alfredo Alessandrini and others (2017) · Journal of Maps
Experimental evaluation of the impact of DoS attacks in SDN
T. Alharbi and others (2017) · 2017 27th International Telecommunication Networks and Applications Conference (ITNAC). IEEE
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · National Bureau of Economic Research · National Bureau of Economic Research
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · Journal of Economic Perspectives · American Economic Association
The Work-Averse Cyber Attacker Model: Theory and Evidence From Two Million Attack Signatures
L. Allodi and others (2017) · Elsevier BV
Jasmin: High-Assurance and High-Speed Cryptography
José Bacelar Almeida and others (2017) · ACM
A 0-Day Aware Crypto-Ransomware Early Behavioral Detection Framework
B. A. S. Al-rimy and others (2017) · Springer International Publishing
New Data Structures and Algorithms for Logic Synthesis and Verification
Luca Gaetano Amaru (2017) · Springer International Publishing
Nanofocused X-Ray Beam to Reprogram Secure Circuits
Stéphanie Anceau and others (2017) · Lecture notes in computer science · Springer Science+Business Media
#ThatsGold: Sponsorship activation in the 2016 Rio Summer Olympics
Artemisia Apostolopoulou and others (2017) · Journal of brand strategy
Multi-QoS constrained and Profit-aware scheduling approach for concurrent workflows on heterogeneous systems
Hamid Arabnejad and others (2017) · Future Generation Computer Systems · Elsevier BV
Scheduling deadline constrained scientific workflows on dynamically provisioned cloud resources
V. Arabnejad and others (2017) · Elsevier BV
Clepsydra: Modeling timing flows in hardware designs
Armaiti Ardeshiricham and others (2017) · IEEE
Register transfer level information flow tracking for provably secure hardware design
Armaiti Ardeshiricham and others (2017) · Design, Automation, and Test in Europe
What Next for the Third Offset Strategy?
Lisa A. Aronsson (2017) · Congressional Research Service
Broadpwn: Remotely compromising android and iOS via a bug in broadcom’s Wi-Fi chipsets
N. Artenstein (2017)
Model Checking of C and C++ with DIVINE 4
Zuzana Baranová and others (2017) · Automated Technology for Verification and Analysis · Springer International Publishing
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
Sébastien Bardin and others (2017) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Picky attackers: Quantifying the role of system properties on intruder behavior
T. Barron and others (2017) · Proceedings of the 33rd Annual Computer Security Applications Conference
Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks
Thierno Barry and others (2017) · European LLVM Developers Meeting
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
Davide Basile and others (2017) · Proceedings of the 21st International Systems and Software Product Line Conference - Volume B · ACM
Compositional Verification of Security Properties for Embedded Execution Platforms
Christoph Baumann and others (2017) · EPiC series in computing
Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking
A. Becker and others (2017) · ACM
Proving JDK’s Dual Pivot Quicksort Correct
B. Beckert and others (2017) · Springer International Publishing
Security requirements for SATCOM datalink systems for future air traffic management
K. Bernsmed and others (2017) · IEEE
Post-quantum cryptography
D. J. Bernstein and others (2017) · Springer Science and Business Media LLC
SAT : Security in the air using Tesla
Paul Berthier and others (2017) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
XDP in practice: integrating XDP into our DDoS mitigation pipeline
G. Bertin (2017) · Netdev 2.1, The Technical Conference on Linux Networking
Datalink security in the L-band digital aeronautical communications system (LDACS) for air traffic management
Arne Bilzhause and others (2017) · IEEE Aerospace and Electronic Systems Magazine · Institute of Electrical and Electronics Engineers
Engineering Mathematics
J. Bird (2017) · Routledge
Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols
Bruno Blanchet (2017) · 2017 IEEE 30th Computer Security Foundations Symposium (CSF) · IEEE
Structuring Abstract Interpreters Through State and Value Abstractions
Sandrine Blazy and others (2017) · Springer International Publishing
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom and others (2017) · Integrated Formal Methods · Springer
Material platforms for integrated quantum photonics
S. Bogdanov and others (2017) · Optical Materials Express · Optica Publishing Group
Directed Greybox Fuzzing
Marcel Böhme and others (2017) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
CMOS Scaling Trends and Beyond
M. Bohr and others (2017) · IEEE Micro · Institute of Electrical and Electronics Engineers
Comparative Analysis of Crime Scripts: One CCTV Footage—Twenty-One Scripts
Hervé Borrion and others (2017) · European Intelligence and Security Informatics Conference
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston and others (2017) · Automated Deduction – CADE 26 · Springer
Cross-validation processor specifications
M. Brown (2017)
The RPKI Repository Delta Protocol (RRDP)
T. Bruijnzeels and others (2017) · RFC Editor
On decidability of concurrent Kleene algebra
Paul Brunet and others (2017) · Proceedings of the International Conference on Concurrency Theory (CONCUR)
The Software Architecture of the P4-16 Reference Compiler
M. Budiu (2017)
Spear phishing in organisations explained
J. Bullee and others (2017) · Emerald
AutoFault: Towards Automatic Construction of Algebraic Fault Attacks
Jan Burchard and others (2017) · Workshop on Fault Diagnosis and Tolerance in Cryptography
Control-flow integrity: Precision, security, and performance
Nathan Burow and others (2017) · ACM Computing Surveys (CSUR), 50(1):1–33
The Resource Public Key Infrastructure (RPKI) to Router Protocol, Version 1
R. Bush and others (2017) · RFC Editor
Embedded Systems Secure Path Verification at the Hardware/Software Interface
Gianpiero Cabodi and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Black-box Concurrent Data Structures for NUMA Architectures
Irina Calciu and others (2017) · ACM
Bringing order to the separation logic jungle
Qinxiang Cao and others (2017) · 15th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
FaCT: A Flexible, Constant-Time Programming Language
Sunjay Cauligi and others (2017) · 2017 IEEE Cybersecurity Development (SecDev) · IEEE
How Professional Hackers Understand Protected Code while Performing Attack Tasks
Mariano Ceccato and others (2017) · IEEE/ACM International Conference on Program Comprehension (ICPC)
Boom v2: An opensource out-of-order risc-v core
C. Celio and others (2017) · University of California
Tree-Based Logic Encryption for Resisting SAT Attack
Yung-Chih Chen (2017) · 2017 IEEE 26th Asian Test Symposium (ATS) · IEEE
Industroyer: Biggest Threat to Industrial Control Systems since Stuxnet
Anton Cherepanov and others (2017) · ESET
To infinity and beyond: Children generalize the successor function to all possible numbers years after learning to count
P. Cheung and others (2017) · Elsevier BV
Execution time estimation for workflow scheduling
Artem M. Chirkin and others (2017) · Future Generation Computer Systems · Elsevier BV
Rapid detection of disobedient forwarding on compromised OpenFlow switches
Y.-C. Chiu and others (2017) · IEEE
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi and others (2017) · Proceedings of the ACM on Programming Languages
Criminal Behavior Systems: A Typology
Marshall R. Clinard and others (2017)
Empirical Study of Usage and Performance of Java Collections
Diego Costa and others (2017) · Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering · ACM
35. Crime prevention and community safety
T. A. M. Crawford and others (2017) · Oxford University Press
Predicativity and Feferman
Laura Crosilla (2017) · Feferman on Foundations: Logic, mathematics, philosophy · Springer
The Cyber Domain
Glenn Alexander Crowther (2017) · The Cyber Defense Review · Army Cyber Institute
The challenge of counting victims of human trafficking
M. J. L. F. Cruyff and others (2017)
A-TEAM: Automatic template-based assertion miner
A. Danese and others (2017) · 54th Design Automation Conference (DAC)
Hybrid War: High-tech, Information and Cyber Conflicts
Y. Danyk and others (2017) · Connections
A Survey on the Security of Stateful SDN Data Planes
Tooska Dargahi and others (2017) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers
A survey of Hardware-based Control Flow Integrity (CFI)
Ruan de Clercq and others (2017) · CoRR abs/1706.07257 (2017)
Internet Protocol, Version 6 (IPv6) Specification
S. Deering and others (2017) · RFC Editor
Recent is more: A negative time-order effect in nonsymbolic numerical judgment.
R. Van den Berg and others (2017) · American Psychological Association (APA)
Non-associative Kleene Algebra and Temporal Logics
Jules Desharnais and others (2017) · Lecture notes in computer science · Springer Science+Business Media
NEMESIS: A software approach for computing in presence of soft errors
Moslem Didehban and others (2017)
Graph Theory
R. Diestel (2017) · Springer Berlin Heidelberg
Breaking the x86 ISA
C. Domas (2017)
Relational Convolution, Generalised Modalities and Incidence Algebras
B. Dongol and others (2017) · arXiv: abs/1702
Supervisory control and reactive synthesis: a comparative introduction
Rüdiger Ehlers and others (2017) · Discrete Event Dynamic Systems · Springer Science+Business Media
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Burak Ekici and others (2017) · Computer Aided Verification · Springer International Publishing
Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools
N. Eyrolles (2017) · Agence Bibliographique de l'Enseignement Supérieur
Trojan localization using symbolic algebra
F. Farahmandi and others (2017) · IEEE
Preventing repeat and near repeat crime concentrations
G. Farrell and others (2017) · Routledge
Linking Criminal Choices, Routine Activities, Informal Control, and Criminal Outcomes
M. Felson (2017) · Routledge
The Rise of Big Data Policing: Surveillance, Race, and the Future of Law Enforcement
Andrew Guthrie Ferguson (2017) · NYU Press
Komodo: Using verification to disentangle secure-enclave hardware from software
Andrew Ferraiuolo and others (2017) · ACM
Universal and uniquely human factors in spontaneous number perception
S. Ferrigno and others (2017) · Springer Science and Business Media LLC
A revolution too far? US defence innovation, Europe and NATO's military-technological gap
Daniel Fiott (2017) · Journal of Strategic Studies
VFP: A Virtual Switch Platform for Host SDN in the Public Cloud
D. Firestone (2017) · 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)
The HACMS program: using formal methods to eliminate exploitable bugs
Kathleen Fisher and others (2017) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · The Royal Society
26.5 Adaptive clocking in the POWER9™ processor for voltage droop protection
Michael S. Floyd and others (2017) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Mixed-size concurrency: ARM, POWER, C/C++11, and SC
Shaked Flur and others (2017)
An Empirical Study on the Correctness of Formally Verified Distributed Systems
Pedro Fonseca and others (2017) · ACM
A Brief History of the Semiconductor Industry
Paolo A. Gargini (2017) · Nanoelectronics: Materials, Devices, Applications · Wiley-VCH
Acoustic Cryptanalysis
Daniel Genkin and others (2017) · Journal of Cryptology · Springer Science+Business Media
GSM, GPRS and UMTS
R. K. Ghosh (2017) · Wireless Networking and Mobile Data Management · Springer Singapore
Maximal incompleteness as obfuscation potency
Roberto Giacobazzi and others (2017) · Formal Aspects of Computing · Springer Science+Business Media
Are We There Yet? On RPKI's Deployment and Security
Yossi Gilad and others (2017) · Network and Distributed System Security Symposium (NDSS 2017)
MaxLength Considered Harmful to the RPKI
Yossi Gilad and others (2017) · ACM
Inferring BGP blackholing activity in the internet
Vasileios Giotsas and others (2017) · ACM
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT
Thomas Given-Wilson and others (2017) · 2017 IEEE Trustcom/BigDataSE/ICESS · IEEE
Detailed SET Measurement and Characterization of a 65 nm Bulk Technology
Maximilien Glorieux and others (2017) · IEEE Transactions on Nuclear Science · Institute of Electrical and Electronics Engineers
The x86isa Books: Features, Usage, and Future Plans
Shilpi Goel (2017) · Open Publishing Association
Detection and prevention of crypto-ransomware
D. Gonzalez and others (2017) · IEEE
Intelligence sharing in NATO
J. S. Gordon (2017) · Atlantisch Perspectief
Check: Research tools and papers
Martonosi Research Group (2017)
KASLR is Dead: Long Live KASLR
Daniel Gruss and others (2017) · Engineering Secure Software and Systems · Springer
Unicast QoS Routing Algorithms for SDN: A Comprehensive Survey and Performance Evaluation
Jochen W. Guck and others (2017) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers
Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification
X. Guo and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems
X. Guo and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
PCH framework for IP runtime security verification
Xiaolong Guo and others (2017) · Asian Hardware Oriented Security and Trust Symposium (AsianHOST)
Fighting against phishing attacks: state of the art and future challenges
B. Gupta and others (2017) · Springer Science and Business Media LLC
Metamathematics of First-Order Arithmetic
Petr Hájek and others (2017) · Cambridge University Press
The heptane static worst-case execution time estimation tool
D. Hardy and others (2017) · 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, June 27
SASSIFI: An architecture-level fault injection tool for GPU application resilience evaluation
Siva Kumar Sastry Hari and others (2017) · IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)
THE EVOLUTION OF SPACE AS A CONTESTED DOMAIN
T. Harrison and others (2017) · ESCALATION AND DETERRENCE: IN THE SECOND SPACE AGE (pp. 1–9). Center for Strategic and International Studies (CSIS). http://www.jstor.org/stable/resrep23194.3
Computer Architecture: A Quantitative Approach
John L. Hennessy and others (2017) · Morgan Kaufmann
Computer Architecture, Sixth Edition: A Quantitative Approach
John L. Hennessy and others (2017) · Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 6th edition
One Step, Two Step, Network Step? Complementary Perspectives on Communication Flows in Twittered Citizen Protests
Martin Hilbert and others (2017) · SAGE Publications
Property directed reachability with word-level abstraction
Y. Ho and others (2017) · IEEE
Thread modularity at many levels: a pearl in compositional verification
Jochen Hoenicke and others (2017) · ACM
Proof Tactics for Assertions in Separation Logic
Zhe Hóu and others (2017) · Springer International Publishing
Identifying and Measuring Security Critical Path for Uncovering Circuit Vulnerabilities
Wei Hu and others (2017) · 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV) · IEEE
Industrial hardware and software verification with ACL2
Warren A. Hunt and others (2017) · The Royal Society
Doc 10037 - Global Operational Data Link Document (GOLD)
ICAO, (2017) · ICAO Doc 10037, International Civil Aviation Organization (ICAO)
Industrial communication networks - Network and system security - Part 1-1: Terminology, concepts and models
IEC, (2017) · IEC 62443-1-1, International Electrotechnical Commission (IEC)
IEEE Standard For Local And Metropolitan Area Networks Part 16: Air Interface For Broadband Wireless Access Systems
IEEE, (2017) · Technical Report IEEE Std 802.16-2017
IEEE Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language
Unattributed (2017)
Programming languages – C++ (ISO/IEC 14882:2017, C++17)
JTC1/SC22/WG21 (2017) · ISO
Programming languages – C++, 2017
ISO, (2017)
Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations
A. Izraelevitz and others (2017) · IEEE
C
J, (2017)
Social capital, conflict and welfare
Colin Jennings and others (2017) · Elsevier BV
In-Datacenter Performance Analysis of a Tensor Processing Unit
Norman P. Jouppi and others (2017) · Proceedings of the 44th Annual International Symposium on Computer Architecture (ISCA '17) · Association for Computing Machinery
Towards the normalization of cybercrime victimization: A routine activities analysis of cybercrime in europe
Marianne Junger and others (2017) · 2017 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA) · IEEE
A promising semantics for relaxed-memory concurrency
Jeehoon Kang and others (2017)
Meta-extract: Using Existing Facts in Meta-reasoning
Matt Kaufmann and others (2017) · Proceedings of the 14th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2017)
The Virtual Weapon and International Order
Lucas Kello (2017) · Yale University Press
The insider threat to cybersecurity: How group process and ignorance affect analyst accuracy and promptitude
Ryan F. Kelly (2017) · Naval Postgraduate School
Synthesizable Standard Cell FPGA Fabrics Targetable by the Verilog-to-Routing CAD Flow
Jin Hee Kim and others (2017) · Association for Computing Machinery (ACM)
Effective stateless model checking for C/C++ concurrency
Michalis Kokologiannakis and others (2017) · Association for Computing Machinery (ACM)
DDoS in the IoT: Mirai and Other Botnets
C. Kolias and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Outcome-sensitive multiple imputation: a simulation study
Evangelos Kontopantelis and others (2017) · BMC Medical Research Methodology · BioMed Central
Reputation Metrics Design to Improve Intermediary Incentives for Security of TLDs
M. Korczynski and others (2017) · IEEE
A Frameworks-Free Look at Enterprise Architecture
S. Kotusev and others (2017) · Journal of Enterprise Architecture (Vol. 13, Issue 1).
Understanding cloud-native applications after 10 years of cloud computing - A systematic mapping study
Nane Kratzke and others (2017) · Elsevier BV
Interactive proofs in higher-order concurrent separation logic
Robbert Krebbers and others (2017) · 44th ACM Symposium on Principles of Programming Languages (POPL)
On-chip generation of high-dimensional entangled quantum states and their coherent control
Michael Kues and others (2017) · Nature
Design and FPGA Implementation of AMBA APB Bridge with Clock Skew Minimization Technique
M. Kiran Kumar and others (2017) · IOSR Journal of VLSI and Signal Processing · IOSR Journals
Programming languages: A survey
Krishan Kumar and others (2017) · International Journal on Recent and Innovation Trends in Computing and Communication
HERO: Heterogeneous Embedded Research Platform for Exploring RISC-V Manycore Accelerators on FPGA
Andreas Kurth and others (2017) · arXiv (Cornell University) · Cornell University
HoneyProxy: Design and implementation of next-generation honeynet via SDN
S. Kyung and others (2017) · IEEE
Repairing sequential consistency in C/C++11
Ori Lahav and others (2017) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Platform capitalism: The intermediation and capitalisation of digital economic circulation
Paul Langley and others (2017) · Cambridge University Press (CUP)
Enterprise Architecture at Work: Modelling, Communication and Analysis
Marc Lankhorst (2017) · Springer Berlin Heidelberg
On the Economics of Ransomware
A. Laszka and others (2017) · Springer International Publishing
Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology
Unattributed (2017) · CRC Press
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
The journey to rape: Geographic distance and the rapist
J. L. LeBeau (2017)
SecRAM 2.0 - Security Risk Assessment methodology for SESAR 2020
M. le Fevre and others (2017) · Technical Report 2.0
Plasma Lab Statistical Model Checker: Architecture, Usage and Extension
Axel Legay and others (2017) · 43rd International Conference on Current Trends in Theory and Practice of Computer Science
Accessible Software Verification with Dafny
K. Rustan M. Leino (2017) · IEEE Software · IEEE Computer Society
BGPsec Protocol Specification
M. Lepinski and others (2017)
Cybercriminal Networks, Social Ties and Online Forums: Social Ties Versus Digital Ties within Phishing and Malware Networks
E. Rutger Leukfeldt and others (2017) · British Journal of Criminology · Oxford University Press (OUP)
Silicon Demonstration of Hardware Trojan Design and Detection in Wireless Cryptographic ICs
Y. Liu and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Smarter Power, Stronger Partners, Volume II: Trends in Force Projection Against Potential Adversaries
Duncan Long and others (2017)
A Multiphase Switched-Capacitor DC–DC Converter Ring With Fast Transient Response and Small Ripple
Yan Lü and others (2017) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Ananke: A Q-Learning-Based Portfolio Scheduler for Complex Industrial Workflows
Shenjun Ma and others (2017) · IEEE International Conference on Autonomic Computing (ICAC)
Power politics and small state survival
Matthias Maass (2017) · Manchester University Press
A survey of distributed denial-of-service attack, prevention, and mitigation techniques
T. Mahjabin and others (2017) · SAGE Publications
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
R. Malik and others (2017) · Elsevier BV
RTLCheck: Verifying the memory consistency of RTL designs
Y. A. Manerkar and others (2017) · Proceedings of the 50th International Symposium on Microarchitecture (MICRO)
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
A. Mangean and others (2017) · Springer International Publishing
Automated database analysis to detect malfeasance
Shivam Mathura and others (2017)
Is Cyber Deterrence Possible?
Timothy McKenzie (2017)
Compositional synthesis of supervisors in the form of state machines and state maps
Sahar Mohajerani and others (2017) · Automatica · Elsevier BV
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving
Nicholas Moore and others (2017)
SDNetkit: A testbed for experimenting SDN in multi-domain networks
Habib Mostafaei and others (2017) · IEEE
SDNS: Exploiting SDN and the DNS to exchange traffic in a federated network
Habib Mostafaei and others (2017) · IEEE Conference on Network Softwarization
An efficient, modular and simple tape archiving solution for LHC Run-3
S. Murray and others (2017) · IOP Publishing
A 12.4pJ/cycle sub-threshold, 16pJ/cycle near-threshold ARM Cortex-M0+ MCU with autonomous SRPG/DVFS and temperature tracking clocks
J. Myers and others (2017) · IEEE
Acceleration of Simulated Fault Injection Using a Checkpoint Forwarding Technique
Jongwhoa Na and others (2017) · Wiley
Cyberspace in Multi-Domain Battle
Paul M. Nakasone and others (2017) · The Cyber Defense Review
Osmotic Flow: Osmotic Computing + IoT Workflow
Matteo Nardelli and others (2017) · IEEE Cloud Computing · Institute of Electrical and Electronics Engineers
Buffer overflow attack with multiple fault injection and a proven countermeasure
Shoei Nashimoto and others (2017) · Springer Science and Business Media LLC
Hyperkernel: Push-button verification of an OS kernel
Luke Nelson and others (2017) · Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31 · ACM
Sancus 2.0: A low-cost security architecture for iot devices
Job Noorman and others (2017) · ACM Transactions on Privacy and Security (TOPS) 20.3 (2017), pp
Thematic Analysis: Striving to Meet the Trustworthiness Criteria
Lorelli S. Nowell and others (2017) · International Journal of Qualitative Methods · SAGE Publications
The Relations of the Crimean Khanate with the Ukrainian Cossacks, the Polish- Lithuanian Commonwealth and Muscovy during the Reign of Khan Islam Giray III (1644-1654)
Sait Ocakli (2017)
Electromagnetic fault injection: the curse of flip-flops
S. Ordas and others (2017) · Springer Science and Business Media LLC
Department of Defense Budget Fiscal Year (FY) 2018: Justification for FY 2018 Overseas Contingency Operations (OCO) Afghanistan Security Forces Fund (ASFF)
Office of the Secretary of Defense (2017) · Office of the Secretary of Defense
The technosphere: a new concept for urban studies
Chris Otter (2017) · Urban History · Cambridge University Press
Alliances in graphs: Parameters, properties and applications—A survey
Kahina Ouazine and others (2017) · AKCE International Journal of Graphs and Combinatorics · Elsevier BV
A mathematical framework to optimize critical infrastructure resilience against intentional attacks
Min Ouyang and others (2017) · Computer-Aided Civil and Infrastructure Engineering
Isabelles Logics
Lawrence C Paulson (2017) · Available at isabelle
Hackers hit dozens of countries exploiting stolen N.S.A
Nicole Perlroth and others (2017)
True Numerical Cognition in the Wild
Steven T. Piantadosi and others (2017) · Psychological Science · SAGE Publishing
Cybersecurity and Network Forensics: Analysis of Malicious Traffic towards a Honeynet with Deep Packet Inspection
Gabriel Arquelau Pimenta Rodrigues and others (2017) · Applied Sciences · MDPI
Fault Attacks, Injection Techniques and Tools for Simulation
Roberta Piscitelli and others (2017) · Springer International Publishing
Extraction of missing formal assumptions in under-constrained designs
Guillaume Plassan and others (2017) · ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings
Guillaume Plassan and others (2017) · IFIP advances in information and communication technology · Springer Science+Business Media
A Turn for the Scruffy
Lindsay Poirier (2017)
DFiant: A dataflow hardware description language
Oron Port and others (2017) · International Conference on Field Programmable Logic and Applications (FPL)
Crazyswarm: A large nano-quadcopter swarm
James A. Preiss and others (2017) · 2017 IEEE International Conference on Robotics and Automation (ICRA) · IEEE
Commanding the Trend: Social Media as Information Warfare
J. Prier (2017) · Strategic Studies Quarterly
Compiler-Assisted Loop Hardening Against Fault Attacks
Julien Proy and others (2017) · ACM Transactions on Architecture and Code Optimization · Association for Computing Machinery
Using Program Analysis to Synthesize Sensor Spoofing Attacks
Ivan Pustogarov and others (2017) · Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security · ACM
Crosstalk dynamics in multi-core fibers
Georg Rademacher and others (2017) · Optics Express
Computational locking: Accelerating lock-times in all-digital PLLs
F. ur Rahman and others (2017) · IEEE
A temporal assessment of cyber intrusion chains using multidisciplinary frameworks and methodologies
A. Rege and others (2017) · IEEE
ARM releases machine readable architecture specification.
Alastair Reid (2017)
Who guards the guards? formal validation of the Arm v8-m architecture specification
Alastair Reid (2017) · Association for Computing Machinery (ACM)
Supervisory control synthesis for a waterway lock
F. F. H. Reijnen and others (2017) · IEEE
Dude, is my code constant time?
Oscar Reparaz and others (2017) · IEEE
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds and others (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
Routine activity theory and cybercrime: A theoretical appraisal and literature review
B. W. Reyns (2017)
Ransomware: Evolution, mitigation and prevention
R. Richardson and others (2017) · International Management Review 13.1
American Sign Language Alphabet Recognition Using a Neuromorphic Sensor and an Artificial Neural Network
Miguel Rivera-Acosta and others (2017) · Sensors · Multidisciplinary Digital Publishing Institute
Budget-Driven Scheduling of Scientific Workflows in IaaS Clouds with Fine-Grained Billing Periods
Maria Alejandra Rodriguez and others (2017) · ACM Transactions on Autonomous and Adaptive Systems · Association for Computing Machinery
Authentication-Bypass Vulnerabilities in SOHO Routers
N. Rotenberg and others (2017) · ACM
DO-253D, Minimum Operational Performance Standards for GPS Local Area Augmentation System Airborne Equipment
RTCA, (2017) · Technical Report DO-253D
Strategic A2/AD in Cyberspace
Alison Lawlor Russell (2017) · Cambridge University Press
26.4 A 0.4-to-1V 1MHz-to-2GHz switched-capacitor adiabatic clock driver achieving 55.6% clock power reduction
Loai G. Salem and others (2017) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Formal clock network analysis visualization, verification and generation
S. Sarwary and others (2017) · Provisional Patent Application
Towards a More Representative Definition of Cyber Security
D. Schatz and others (2017) · ERAU Hunt Library - DIGITAL COMMONS JOURNALS
Large-scale classification of IPv6-IPv4 siblings with variable clock skew
Quirin Scheitle and others (2017) · IEEE
Happy Eyeballs Version 2: Better Connectivity Using Concurrency
D. Schinazi and others (2017) · RFC Editor
Platform Logic: An Interdisciplinary Approach to the Platform‐Based Economy
Jonas Andersson Schwarz (2017) · Policy & Internet · Wiley
2017 Annual Report to Congress: Military and Security Developments Involving the People’s Republic of China
Secretary of Defense (2017) · US Department of Defense
Claude Chappe and the first telecommunication network (without electricity)
Stefano Selleri (2017) · URSI Radio Science Bulletin · Institute of Electrical and Electronics Engineers
OSS-Fuzz - google’s continuous fuzzing service for open source software
K. Serebryany (2017) · USENIX Security Symposium
Wedgetail: An intrusion prevention system for the data plane of software defined networks
A. Shaghaghi and others (2017) · Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security
Security breach and spilled secrets have shaken the NSA to its core
Scott Shane and others (2017)
FloodDefender: Protecting data and control plane resources under SDN-aimed DoS attacks
G. Shang and others (2017) · IEEE
How is NATO Meeting the Challenge of Cyberspace?
J. Shea (2017) · PRISM
Yearbook 2017: Armaments, Disarmament and International Security
Stockholm International Peace Research Institute (2017) · Oxford University Press
What Is the Cyber Offense-Defense Balance? Conceptions, Causes, and Assessment
Rebecca Slayton (2017) · MIT Press
Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS
Matthew Smith and others (2017) · Lecture notes in computer science · Springer Science+Business Media
Are numbers grounded in a general magnitude processing system? A functional neuroimaging meta-analysis
H. M. Sokolowski and others (2017) · Elsevier BV
The coming software apocalypse
James Somers (2017) · The Atlantic
Systematic Classification of Side-Channel Attacks: A Case Study for Mobile Devices
Raphael Spreitzer and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
The contributions of numerical acuity and non-numerical stimulus features to the development of the number sense and symbolic math achievement
A. Starr and others (2017) · Elsevier BV
The physics of software tools: SWOT analysis and vision
Bernhard Steffen (2017) · International Journal on Software Tools for Technology Transfer · Springer Science and Business Media LLC
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder and others (2017) · Journal of Automated Reasoning · Springer
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
Pramod Subramanyan and others (2017) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Model-based design of supervisory controllers for baggage handling systems
L. Swartjes and others (2017) · Elsevier BV
Robust and compositional verification of object capability patterns
David Swasey and others (2017) · Association for Computing Machinery (ACM)
Reasoning about Translation Lookaside Buffers
Hira Syeda and others (2017) · EPiC series in computing
A critical analysis of design, facts, bias and inference in the approximate number system training literature: A systematic review
Dénes Szűcs and others (2017) · Trends in Neuroscience and Education · Elsevier BV
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik and others (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17) · Association for Computing Machinery
CLKSCREW: Exposing the Perils of Security-Oblivious Energy Management
Adrian Tang and others (2017) · 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18
Metastability Tolerant Computing
Ghaith Tarawneh and others (2017) · 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) · IEEE
The End of Moore’s Law: A New Beginning for Information Technology
Thomas N. Theis and others (2017) · Computing in Science & Engineering
History of the Peloponnesian War
Thucydides, (2017)
Social Media and Advertising
Edward E. Timke (2017) · Advertising & Society Quarterly · Advertising Educational Foundation
Escalating Privileges in Linux Using Voltage Fault Injection
Niek Timmers and others (2017) · IEEE
Ascertaining Uncertainty for Efficient Exact Cache Analysis
V. Touzeau and others (2017) · Springer International Publishing
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
Caroline Trippel and others (2017) · Proceedings of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017)
Basisspecificatie Beweegbare brug, versie 4.4.0
J. van der Heide (2017) · Tech
Maximally permissive controlled system synthesis for non-determinism and modal logic
A. C. van Hulst and others (2017) · Springer Science and Business Media LLC
Laser-Induced Fault Injection on Smartphone Bypassing the Secure Boot
Aurelien Vasselle and others (2017) · 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) · IEEE
Attention Is All You Need
Ashish Vaswani and others (2017)
Knowledge Graph Foundations
Boris Villazon-Terrazas and others (2017) · Exploiting Linked Data and Knowledge Graphs in Large Organisations · Springer International Publishing
Victim Selection Procedures Among Economic Criminals: The Rational Choice Perspective
Dermot Walsh (2017) · Routledge
Fairness scheduling with dynamic priority for multi workflow on heterogeneous systems
Yuxin Wang and others (2017) · 2017 IEEE 2nd International Conference on Cloud Computing and Big Data Analysis (ICCCBDA) · IEEE
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX
Wenhao Wang and others (2017) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
Skyfire: Data-Driven Seed Generation for Fuzzing
J. Wang and others (2017) · IEEE
Using Integer Programming for Workflow Scheduling in the Cloud
Yi Wang and others (2017) · IEEE ... International Conference on Cloud Computing
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 6)
Robert N. M. Watson and others (2017) · Computer Laboratory, University of Cambridge
Fog Orchestration for Internet of Things Services
Z. Wen and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Silicon Photonics: Electromagnetic theory
Wouter J. Westerveld and others (2017) · IOP Publishing
The National Security Strategy of the United States of America
The White House (2017) · The Office of the President of the United States of America
Ukraine cyber-induced power outage: Analysis and practical mitigation strategies
David E. Whitehead and others (2017) · 2017 70th Annual Conference for Protective Relay Engineers (CPRE) · IEEE
Multi-mode standardisation: A critical review and a research agenda
Paul Moritz Wiegmann and others (2017) · Elsevier BV
Multilevel Flow-Based Markov Clustering for Design Structure Matrices
T. Wilschut and others (2017) · ASME International
End-to-end formal ISA verification of RISC-V processors with riscv-formal
C. Wolf (2017) · http://www.clifford.at/papers/2017/riscv-formal/slides.pdf
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017) · Strategic Multilayer Assessment Group, Pentagon Joint Staff
Exploiting Linked Data and Knowledge Graphs in Large Organisations
Honghan Wu and others (2017) · Springer Nature
Model Checking of Embedded Assembly Program Based on Simulation
Satoshi Yamane and others (2017) · Institute of Electronics, Information and Communications Engineers (IEICE)
A Nanosecond-Transient Fine-Grained Digital LDO With Multi-Step Switching Scheme and Asynchronous Adaptive Pipeline Control
F. Yang and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
CacheBleed: a timing attack on OpenSSL constant-time RSA
Yuval Yarom and others (2017) · Journal of Cryptographic Engineering · Springer Science+Business Media
Feedforward and state-feedback control of deterministic I/O automata
Markus Zgorzelski and others (2017) · IFAC-PapersOnLine · Elsevier BV
Identifying Security Critical Properties for the Dynamic Verification of a Processor
Unattributed (2017) · ACM
P4DB: On-the-fly debugging of the programmable data plane
C. Zhang and others (2017) · IEEE
Pronto: Efficient Test Packet Generation for Dynamic Network Data Planes
Y. Zhao and others (2017) · IEEE
CycSAT: SAT-based attack on cyclic logic encryptions
H. Zhou and others (2017) · IEEE
HACL*: A Verified Modern Cryptographic Library
Jean-Karim Zinzindohoué and others (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security · ACM
Application of formal verification to the lane change module of an autonomous vehicle
Anton Zita and others (2017) · IEEE International Conference on Automation Science and Engineering (CASE)
Analog Power-Down Synthesis
Michael Zwerger and others (2017) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers