2014
288 references published this year.
Egypt’s Long Revolution: Protest Movements and Uprisings
Maha Abdelrahman (2014) · Routledge
Differential Cryptanalysis of Round-Reduced Simon and Speck
Farzaneh Abed and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Propagation of Longer-than-/24 IPv4 Prefixes
Emile Aben and others (2014)
Autonomous Exploration of Urban Environments using Unmanned Aerial Vehicles
Benjamin Adler and others (2014) · Journal of Field Robotics · Wiley
Numerical acuity of fish is improved in the presence of moving targets, but only in the subitizing range
Christian Agrillo and others (2014) · Animal Cognition · Springer Science+Business Media
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Jade Alglave and others (2014) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
Remembering the Schleswig War of 1864: A Turning Point in German and Danish National Identity
Julie Allen (2014) · Bridge 37, no. 1 (2014): 53–70. https://scholarsarchive.byu.edu/thebridge/vol37/iss1/8/.
FSM-based properties and abstraction of components
Syed Alwi and others (2014)
Collaborating with the Enemy on Network Management (Transcript of Discussion)
Ross Anderson and others (2014) · Security Protocols XXII · Springer International Publishing
NetKAT: Semantic foundations for networks
C. J. Anderson and others (2014) · ACM SIGPLAN Notices
Separate Mechanisms for Perception of Numerosity and Density
Giovanni Anobile and others (2014) · Psychological Science · SAGE Publishing
Correction for Kramer et al., Experimental evidence of massive-scale emotional contagion through social networks
Proceedings of the National Academy of Sciences (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos and others (2014) · Foundations of Software Science and Computation Structures · Springer
Fair resource sharing for dynamic scheduling of workflows on heterogeneous systems
H. Arabnejad and others (2014) · IEEE International Conference on High Performance Computing, Data and Analytics (HiPC)
Small States and International Security: Europe and Beyond
Clive Archer and others (2014)
Security collapse in the HTTPS market
Arnbak, Axel and others (2014) · Communications of the ACM · Association for Computing Machinery (ACM)
A generalized sense of number
Roberto Arrighi and others (2014) · Proceedings of the Royal Society B Biological Sciences · Royal Society
Instruction sets should be free: The case for risc-v
K. Asanović and others (2014) · Tech. Rep. UCB/EECS-2014-146, Aug 2014.
Code Coverage of Assertions Using RTL Source Code Analysis
V. Athavale and others (2014) · ACM
The network is reliable: An informal survey of real-world communications failures
P. Bailis and others (2014) · ACM Queue
Anatomy of a Revolution: The 2011 Egyptian Uprising
Mustafa Bal (2014)
Decidability and computability in PRSPDL
Ph. Balbiani and others (2014) · AIML’14
A Computationally Complete Symbolic Attacker for Equivalence Properties
Gergei Bana and others (2014) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
An All-in-One Toolkit for Automated White-Box Testing
Sébastien Bardin and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
Sébastien Bardin and others (2014) · IEEE International Conference on Software Testing, Verification and Validation (ICST)
Synthesis of Fault Attacks on Cryptographic Implementations
Gilles Barthe and others (2014) · ACM
System-level Non-interference for Constant-time Cryptography
Gilles Barthe and others (2014) · ACM SIGSAC Conference on Computer and Communications Security (CCS)
ONOS: towards an open, distributed SDN OS
P. Berde and others (2014) · Proceedings of the Third Workshop on Hot topics in Software-Defined Networking
Using Higher-Order Contracts to Model Session Types (Extended Abstract)
Giovanni Bernardi and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Idea: Embedded Fault Injection Simulator on Smartcard
Maël Berthier and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Hardware Trojan attacks: Threat analysis and countermeasures
Swarup Bhunia and others (2014) · Proceedings of the IEEE
OpenState: programming platformindependent stateful openflow applications inside the switch
G. Bianchi and others (2014) · ACM SIGCOMM Computer Communication Review
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)
Johannes Birgmeier and others (2014) · Computer Aided Verification · Springer International Publishing
Differential Analysis of Block Ciphers SIMON and SPECK
Alex Biryukov and others (2014) · Lecture notes in computer science · Springer Science+Business Media
νZ - Maximal Satisfaction with Z3
Nikolaj Bjørner and others (2014) · EPiC series in computing
40 Years of Formal Methods: Some Obstacles and Some Possibilities?
Dines Bjørner and others (2014) · FM 2014: Formal Methods · Springer International Publishing
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
Bernard Blackham and others (2014) · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · Institute of Electrical and Electronics Engineers
Collection (Java Platform SE 8)
J. Bloch and others (2014)
The VerCors tool for verification of concurrent programs
Stefan Blom and others (2014) · International Symposium on Formal Methods · Springer
P4: Programming protocol-independent packet processors
P. Bosshart and others (2014) · ACM SIGCOMM Computer Communication Review
A Decision Procedure for Satisfiability in Separation Logic with Inductive Definitions
James Brotherston and others (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
Parametric completeness for separation theories
J. Brotherston and others (2014) · Association for Computing Machinery (ACM)
Verification-guided voter minimization in triple-modular redundant circuits
Dmitry Burlyaev and others (2014) · IEEE Conference Publications
New results on supervisor localization, with case studies
Kai Cai and others (2014) · Discrete Event Dynamic Systems · Springer Science+Business Media
Malware Memory Analysis of the Jynx2 Linux Rootkit (Part 1): Investigating a Publicly Available Linux Rootkit Using the Volatility Memory Analysis Framework
R. Carbone (2014) · Defence Research and Development Canada Valcartier
Progress as Compositional Lock-Freedom
Marco Carbone and others (2014) · Lecture notes in computer science · Springer Science+Business Media
NASA Unmanned Aircraft (UA) Control and Non-Payload Communication (CNPC) System Waveform Trade Studies
M. J. R. Chavez Carlos and others (2014) · Rockwell Collins
The heritage of Mead & Conway: What has remained the same, what has changed, what was missed, and what lies ahead [point of view]
Marco Casale-Rossi (2014) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Remote Peering: More Peering without Internet Flattening
Ignacio Castro and others (2014) · Conference on emerging Networking EXperiments and Technologies (CoNEXT) · ACM
The nuXmv Symbolic Model Checker
Roberto Cavada and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Logtransformation and its implications for data analysis
F. Changyong and others (2014) · Shanghai Archives of Psychiatry 26.2
Decidability of weak logics with deterministic transitive closure
Witold Charatonik and others (2014)
CC-Hunter: Uncovering Covert Timing Channels on Shared Processor Hardware
Jie Chen and others (2014) · IEEE
Design and Test of Algorithms and Real-Time Receiver to use Universal Access Transceiver (UAT) for Alternative Positioning Navigation and Timing (APNT)
Y. H. Chen and others (2014) · 27th International Technical Meeting of the Satellite Division of the Institute of Navigation, (ION GNSS+ 2014)
Energy-efficient maneuvering and communication of a single UAV-based relay
Dae Hyung Choi and others (2014) · IEEE Transactions on Aerospace and Electronic Systems · Institute of Electrical and Electronics Engineers
Enumeration of small collections violates Weber’s law
Heeyoung Choo and others (2014) · Psychonomic Bulletin & Review · Springer Science+Business Media
Temporal Logics for Hyperproperties
Michael R. Clarkson and others (2014) · Principles of Security and Trust · Springer Berlin Heidelberg
Decidable Topologies for Communicating Automata with FIFO and Bag Channels
Lorenzo Clemente and others (2014) · Lecture notes in computer science · Springer Science+Business Media
A world of difference: the Budapest convention on cybercrime and the challenges of harmonisation
J. Clough (2014) · Monash University Law Review 40.3
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Formal Integrated Development Environment 2014 (F-IDE 2014) · Open Publishing Association
Charles Babbage: And the Engines of Perfection
Bruce Collier and others (2014)
Survey of hardware protection of design data for integrated circuits and intellectual properties
Brice Colombier and others (2014) · IET Computers & Digital Techniques · Institution of Engineering and Technology
The reasoning criminal: Rational choice perspectives on offending
D. B. Cornish and others (2014)
Measuring IPv6 adoption
Jakub Czyz and others (2014) · ACM
B
D, (2014)
Algebraic Calculi for Separation Logic
Han-Hing Dang (2014)
Controlling fairness and task granularity in distributed, online, non‐clairvoyant workflow executions
Rafael Ferreira da Silva and others (2014) · Concurrency and Computation Practice and Experience · Wiley
Microcode Verification – Another Piece of the Microprocessor Verification Puzzle
Jared Davis and others (2014) · Lecture Notes in Computer Science · Springer International Publishing
Quasar: Resource-efficient and QoS-aware cluster management
C. Delimitrou and others (2014) · ACM SIGPLAN Notices
Side-channel vulnerability metrics: SVF vs. CSV
J. Demme and others (2014) · Proc. of 11th Annual Workshop on Duplicating
Separation Logic with One Quantified Variable
S. Demri and others (2014) · Springer International Publishing
Ciphertext-Only Fault Attacks on PRESENT
Fabrizio De Santis and others (2014) · Lightweight Cryptography for Security and Privacy · Springer International Publishing
PUMP: a programmable unit for metadata processing
Udit Dhawan and others (2014) · HASP 2014: Proceedings of the Third Workshop on Hardware and Architectural Support for Security and Privacy
Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades
Jens B. Dietrich and others (2014) · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
Improved Differential Cryptanalysis of Round-Reduced Speck
Itai Dinur (2014) · Lecture notes in computer science · Springer Science+Business Media
Carrier Frequency Estimation Algorithm for Continuous Phase Modulation
Y. Dong and others (2014) · Journal of Computational Information Systems
The Matter of Heartbleed
Zakir Durumeric and others (2014)
Laser attacks on integrated circuits: From CMOS to FD-SOI
Jean-Max Dutertre and others (2014)
Yices 2.2
Bruno Dutertre (2014) · Springer International Publishing
A brief history of the GIF (so far)
Jason Eppink (2014) · Journal of Visual Culture · SAGE Publishing
Supervisory Control of Manufacturing Systems Using Extended Finite Automata
Martin Fabian and others (2014) · Industrial information technology series · CRC Press
Data Plane Programmability in SDN
H. Farhad and others (2014) · IEEE
The road to SDN: an intellectual history of programmable networks
Nick Feamster and others (2014) · Queue · Association for Computing Machinery
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
Z. Fei and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)
KOALA-C: A task allocator for integrated multicluster and multicloud environments
Lipu Fei and others (2014) · 2014 IEEE International Conference on Cluster Computing (CLUSTER) · IEEE
Self-organizing aerial mesh networks for emergency communication
Marco Di Felice and others (2014) · 2014 IEEE 25th Annual International Symposium on Personal, Indoor, and Mobile Radio Communication (PIMRC) · IEEE
Autoscaling Web Applications in Heterogeneous Cloud Infrastructures
Hector Fernandez and others (2014) · 2014 IEEE International Conference on Cloud Engineering · IEEE
Satellite Communications Data Link Solution for Long Term Air Traffic Management
D. Fernández and others (2014) · SESAR Innovation Days
Faithful Glitch Propagation in Binary Circuit Models
Matthias Függer and others (2014)
The effect of forgetting on the performance of a synchronizer
Matthias Függer and others (2014) · Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (Algosensors), Lecture Notes in Computer Science
A 32 nm Embedded, Fully-Digital, Phase-Locked Low Dropout Regulator for Fine Grained Power Management in Digital Circuits
Samantak Gangopadhyay and others (2014) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Reverse Engineering Social Media: Software, Culture, and Political Economy in New Media Capitalism
Robert W. Gehl (2014)
Differential Fault Intensity Analysis
Nahid Farhady Ghalaty and others (2014) · Workshop on Fault Diagnosis and Tolerance in Cryptography
5.5 Steamroller: An x86-64 core implemented in 28nm bulk CMOS
K. Gillespie (2014) · IEEE
Inferring Complex AS Relationships
Vasileios Giotsas and others (2014) · ACM
Automated Code Proofs on a Formal Model of the X86
Shilpi Goel and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Simulation and formal verification of x86 machine-code programs that make system calls
Shilpi Goel and others (2014) · IEEE
Out of Control: Overcoming Control-Flow Integrity
Enes Göktas (2014) · IEEE
Why is it taking so long to secure internet routing?
Sharon Goldberg (2014) · Communications of the ACM · Association for Computing Machinery
Power supply glitch attacks: Design and evaluation of detection circuits
Kamil Gomina and others (2014) · IEEE
Hoare logic
M. Gordon (2014) · Lecture notes, February 2014. Available at http://www.cl.cam.ac.uk/˜mjcg/HoareLogic/
Proof Pearl: The KeY to Correct and Stable Sorting
Stijn de Gouw and others (2014) · Journal of Automated Reasoning · Springer
Historical timeline
Abigail Graham and others (2014) · Routledge
5.6 Adaptive clocking system for improved power efficiency in a 28nm x86-64 microprocessor
Aaron Grenat and others (2014) · 2014 IEEE International Solid-State Circuits Conference Digest of Technical Papers (ISSCC) · IEEE
Optimization and modeling of resonant clocking inductors for the POWER8TM microprocessor
Robert A. Groves and others (2014) · IEEE Custom Integrated Circuits Conference (CICC)
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta and others (2014) · International Symposium on Formal Methods · Springer
Peering at the Internet’s Frontier: A First Look at ISP Interconnectivity in Africa
Arpit Gupta and others (2014) · Springer International Publishing
Sdx: A software defined internet exchange
Arpit Gupta and others (2014) · Proc. SIGCOMM 2014
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
Liana Hadarean and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Engineering "The Miracle of the ENIAC": Implementing the Modern Code Paradigm
Thomas Haigh and others (2014) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Collaborating with the enemy on network management
Chris Hall and others (2014) · Security Protocols XXII · Springer
I know what your packet did last hop: Using packet histories to troubleshoot networks
N. Handigol and others (2014) · 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)
A 3.6 GHz 16-Core SPARC SoC Processor in 28 nm
Jason M. Hart and others (2014) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
The expressive power of modal dependence logic
L. Hella and others (2014) · AIML’14
One-dimensional fragment of first-order logic
L. Hella and others (2014) · AIML’14
A comparative analysis of microarchitecture effects on CPU and GPU memory system behavior
Joel Hestness and others (2014) · 2014 IEEE International Symposium on Workload Characterization (IISWC) · IEEE
The Simple Rules of Social Contagion
Nathan O. Hodas and others (2014) · Scientific Reports · Nature Portfolio
FPGA Implementation of Burst-Mode Synchronization for SOQPSK-TG
E. Hosseini and others (2014) · Proceedings of the 2014 International Telemetering Conference, San Diego, CA
Proof search for propositional abstract separation logics via labelled sequents
Z. Hou and others (2014) · Association for Computing Machinery (ACM)
Gate-Level Information Flow Tracking for Security Lattices
W. Hu and others (2014) · Association for Computing Machinery (ACM)
30 years of research and development around Coq
Gérard Huet and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
Formal Specification with JML
Marieke Huisman and others (2014) · Karlsruhe Institute of Technology
The Temperature Side Channel and Heating Fault Attacks
Michael Hutter and others (2014) · Springer International Publishing
Brief non-symbolic, approximate number practice enhances subsequent exact symbolic arithmetic in children
D. C. Hyde and others (2014) · Elsevier BV
AeroMACS Safety and Security Analysis
ICAO, (2014) · SESAR Deliverable Project P15.02.07, International Civil Aviation Organization (ICAO)
Annex 10 - Aeronautical Telecommunications - Volume IV - Surveillance Radar and Collision Avoidance Systems
ICAO, (2014) · ICAO Annex 10 - Volume IV, International Civil Aviation Organization (ICAO)
Doc 9994 — Manual on Airborne Surveillance Applications
ICAO, (2014) · ICAO Doc 9994, International Civil Aviation Organization (ICAO), January
Eclipsing: When Celebrities Overshadow the Brand
Jasmina Ilicic and others (2014) · Psychology and Marketing · Wiley
Indexing the approximate number system
Matthew Inglis and others (2014) · Acta Psychologica · Elsevier BV
Binary-Level Fault Injection for AUTOSAR Systems (Short Paper)
Mafijul Md. Islam and others (2014) · European Dependable Computing Conference
Internal Coopetition as a Driver for Organizational Learning
Rinse Jacobs (2014)
A Longitudinal Study of BGP MOAS Prefixes
Quentin Jacquemart and others (2014) · Traffic Monitoring and Analysis · Springer Berlin Heidelberg
A path-sensitively sliced control flow graph
J. Jaffar and others (2014) · ACM
A 0.45–1 V Fully-Integrated Distributed Switched Capacitor DC-DC Converter With High Density MIM Capacitor in 22 nm Tri-Gate CMOS
Rinkle Jain and others (2014) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers (IEEE)
In Denmark, Afghanistan is worth dying for: How public support for the war was maintained in the face of mounting casualties and elusive success
Peter Viggo Jakobsen and others (2014) · Cooperation and Conflict · SAGE Publications
Hardware and Application Profiling Tools
Tomislav Janjusic and others (2014) · Advances in computers · Elsevier BV
An empirical research agenda for understanding formal methods productivity
Ross Jeffery and others (2014) · Information and Software Technology · Elsevier BV
On-Chip Generation and Manipulation of Entangled Photons Based on Reconfigurable Lithium-Niobate Waveguide Circuits
Hongming Jin and others (2014) · Physical Review Letters · American Physical Society
History Corner
Yvonne M. Johnson (2014) · Springer Science and Business Media LLC
Scaling a broadcast domain of Ethernet: Extensible transparent filter using SDN
K. Kataoka and others (2014) · IEEE
Internet Key Exchange Protocol Version 2 (IKEv2)
Charlie Kaufman and others (2014)
Automated debugging of missing assumptions
Brian Keng and others (2014) · Asia and South Pacific Design Automation Conference (ASP-DAC)
How Corporations Use Social Media: An Exploratory Study
Victor Khachatryan (2014)
Analytical modeling of gate capacitance and drain current of gate-all-around InxGa1−xAs nanowire MOSFET
S. U. Z. Khan and others (2014) · IEEE
Uncoupled mode space approach towards transport modeling of Gate-All-Around InxGa1−xAs nanowire MOSFET
Saeed Uz Zaman Khan and others (2014) · International Conference on Electrical and Computer Engineering (ICECE)
A Fast \(I{-}V\) Screening Measurement for TDDB Assessment of Ultra-Thick Inter-Metal Dielectrics
Arash Elhami Khorasani and others (2014) · IEEE Electron Device Letters · Institute of Electrical and Electronics Engineers
Flipping bits in memory without accessing them: An experimental study of DRAM disturbance errors
Yoongu Kim and others (2014) · 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)
The security appliance to BIRD software router
Kyoungha Kim and others (2014) · International Conference on Ubiquitous Information Management and Communication (IMCOM)
Watching the IPv6 Takeoff from an IXP's Viewpoint
Juhoon Kim and others (2014) · arXiv
World Order: Reflections on the Character of Nations and the Course of History
Henry Kissinger (2014)
Comprehensive formal verification of an OS microkernel
Gerwin Klein and others (2014) · ACM Transactions on Computer Systems · Association for Computing Machinery
Coordination control of discrete-event systems revisited
Jan Komenda and others (2014) · Discrete Event Dynamic Systems · Springer Science and Business Media LLC
Modal independence logic
J. Kontinen and others (2014) · AIML’14
A survey on simulation-based fault injection tools for complex systems
Maha Kooli and others (2014) · IEEE
Clock Glitch Attacks in the Presence of Heating
Thomas Korak and others (2014) · IEEE
On the Effects of Clock and Power Supply Tampering on Two Microcontroller Platforms
Thomas Korak and others (2014) · 2014 Workshop on Fault Diagnosis and Tolerance in Cryptography · IEEE
Attack-defense trees
B. Kordy and others (2014) · Journal of Logic and Computation · Oxford University Press (OUP)
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
Mikhail Kovalev and others (2014) · Springer International Publishing
Experimental evidence of massive-scale emotional contagion through social networks
Adam D. I. Kramer and others (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Google broke Canada’s privacy laws with targeted health ads, watchdog says
Susan Krashinsky (2014)
CBMC – C Bounded Model Checker
Daniel Kroening and others (2014) · Lecture notes in computer science · Springer Science+Business Media
CakeML: A Verified Implementation of ML
Ramana Kumar and others (2014) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Parametric Trojans for Fault-Injection Attacks on Cryptographic Hardware
Raghavan Kumar and others (2014) · Workshop on Fault Diagnosis and Tolerance in Cryptography
Russian Nationalism and Ukraine
M.. Laruelle (2014) · Current History
Industry 4.0
H. Lasi and others (2014) · Springer Science and Business Media LLC
Compiler validation via equivalence modulo inputs
Vu Le and others (2014) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Near Sea-Surface Mobile Radiowave Propagation at 5 GHz: Measurements and Modeling
Y. Lee and others (2014) · Radioengineering
A proof system for separation logic with magic wand
Wonyeol Lee and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction
Suho Lee and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Sapper: A Language for Hardware-Level Security Policy Enforcement
X. Li and others (2014) · ACM
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation
Hanbing Li and others (2014) · International Conference on Real-Time Networks and Systems (RTNS)
Apple Confidential 2.0: The Definitive History of the World’s Most Colorful Company
Owen W. Linzmayer (2014)
A Coordinated Multi-Switch Attack for Cascading Failures in Smart Grid
Shan Liu and others (2014) · IEEE Transactions on Smart Grid · Institute of Electrical and Electronics Engineers (IEEE)
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents · Oxford University Press
Using peeringDB to understand the peering ecosystem
Aemen Lodhi and others (2014) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
A Review of Auto-scaling Techniques for Elastic Applications in Cloud Environments
T. Lorido-Botran and others (2014) · Springer Science and Business Media LLC
Liberty's Folly: The Polish-Lithuanian Commonwealth in the Eighteenth Century, 1697-1795
Jerzy Lukowski (2014)
PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models
Daniel Lustig and others (2014) · IEEE
Numerical predictors of arithmetic success in grades 1–6
Ian M. Lyons and others (2014) · Developmental Science · Wiley
Changing concepts of working memory
Wei Ji Ma and others (2014) · Nature Neuroscience · Nature Portfolio
Defining Algorithmic Ideology: Using Ideology Critique to Scrutinize Corporate Search Engines
Astrid Mager (2014) · Information Society Research
Aeronautical Communication Transition From Analog to Digital Data: A Network Security Survey
M. S. B. Mahmoud and others (2014) · Computer Science Review
A zonotoped macromodeling for reachability verification of eye-diagram in high-speed I/O links with jitter
P. D. Sai Manoj and others (2014) · IEEE
The evolution of DDoS
S. Mansfield-Devine (2014) · Auricle Global Society of Education and Research
Antennas: Shaping The Future of RF Applications
B. Manz (2014) · Journal of Electronic Defense
Optical theorem for transmission lines
Edwin A. Marengo and others (2014) · Progress In Electromagnetics Research B
Relevance Logic
Edwin Mares (2014) · Edward N
Speeds and Feeds › Of Money, Responsibility, and Pride
Steve Marquess (2014)
25 years ago: The first asynchronous microprocessor
Alain Martin (2014)
Air-ground channel characterization for unmanned aircraft systems: The over-freshwater setting
David W. Matolak and others (2014) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
Air-Ground Channel Characterization for Unmanned Aircraft Systems: The Hilly Suburban Environment
D. W. Matolak and others (2014) · IEEE
Antenna and frequency diversity in the unmanned aircraft systems bands for the over-sea setting
David W. Matolak and others (2014) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
The rust language
Nicholas D. Matsakis and others (2014)
The design and implementation of the FreeBSD operating system
Marshall Kirk McKusick and others (2014) · Addison-Wesley, 2014. ISBN 978013376
Technical Aspects of Data Communication
John E. McNamara (2014)
Application-aware data plane processing in SDN
H. Mekky and others (2014) · ACM
Docker: Lightweight Linux Containers for Consistent Development and Deployment
Dirk Merkel (2014) · Linux Journal
Generalizations of Bounds on the Index of Convergence to Weighted Digraphs
Glenn Merlet and others (2014) · arXiv
Weak CSR expansions and transience bounds in max-plus algebra
Glenn Merlet and others (2014) · Elsevier BV
Internet Technologies and Information Services, 2nd Edition
Joseph B. Miller (2014)
Routine Activity Theory
Fernando Miró (2014) · The Encyclopedia of Theoretical Criminology
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
S. Mohajerani and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)
Synthesis equivalence of triples
S. Mohajerani and others (2014) · Technical Report R004/2013
DCPortalsNg: Efficient isolation of tenant networks in virtualized datacenters
H. M. B. Moraes and others (2014) · Proc. COCORA, 2014 · COCORA
Formal verification of a software countermeasure against instruction skip attacks
Nicolas Moro and others (2014) · Journal of Cryptographic Engineering · Springer Science+Business Media
Fault-Resilient Lightweight Cryptographic Block Ciphers for Secure Embedded Systems
Mehran Mozaffari-Kermani and others (2014) · IEEE Embedded Systems Letters · Institute of Electrical and Electronics Engineers (IEEE)
Lem: reusable engineering of real-world semantics
Dominic P. Mulligan and others (2014) · ACM SIGPLAN International Conference on Functional Programming (ICFP)
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski and others (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP) · Springer
Optimizing rules placement in OpenFlow networks: Trading routing for better efficiency
Xuan-Nam Nguyen and others (2014) · Proc. HotSDN, 2014 · HotSDN
An overview of transience bounds in max-plus algebra
Thomas Nowak and others (2014) · Contemporary mathematics - American Mathematical Society · American Mathematical Society
Transient Behavior of Distributed Algorithms and Digital Circuit Models
Thomas Nowak (2014)
A Survey of Software-Defined Networking: Past, Present, and Future of Programmable Networks
Bruno A. A. Nunes and others (2014) · IEEE Communications Surveys & Tutorials · Institute of Electrical and Electronics Engineers
Leveraging Gate-Level Properties to Identify Hardware Timing Channels
Jason Oberg and others (2014) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Modeling Algorithms in SystemC and ACL2
John W. O'Leary and others (2014) · Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
OpenFlow Switch Specification, version 1.3.4
Open Networking Foundation (2014) · Open Networking Foundation
ULSNAP: An ultra-low power event-driven microcontroller for sensor network nodes
Carlos Tadeo Ortega-Otero and others (2014) · Fifteenth International Symposium on Quality Electronic Design · IEEE
Multilink Processors (Link 11/16/22) and Integration Architectures
Öztürk, Serdar and others (2014) · MilSOFT Yazilim Teknolojileri A.Ş.
Challenges in Designing Communication Systems for Unmanned Aerial Systems Integration into Non-segregated Airspace
M. Paredes and others (2014) · IEEE
Improving arithmetic performance with number sense training: An investigation of underlying mechanism
Joonkoo Park and others (2014) · Cognition · Elsevier BV
Comparison of Level 1, 2 and 3 MOSFETs
T. Patel (2014) · University of Texas at Arlington, December
A variational eigenvalue solver on a photonic quantum processor
Alberto Peruzzo and others (2014) · Springer Science and Business Media LLC
A Performance Model to Estimate Execution Time of Scientific Workflows on the Cloud
I. Pietri and others (2014) · IEEE
Automating Separation Logic with Trees and Data
Ruzica Piskac and others (2014) · Computer Aided Verification · Springer
CoCo: The Colorful History of Tandy’s Underdog Computer
Boisy G. Pitre and others (2014)
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections
Marie-Laure Potet and others (2014) · 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation · IEEE
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Disha Puri and others (2014) · ACL2 Theorem Prover and its Applications (ACL2 2014)
Effective use of Pearson
M. T. Puth and others (2014)
High-Level Simulation for Multiple Fault Injection Evaluation
Maxime Puys and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Scalable Test Generation by Interleaving Concrete and Symbolic Execution
Xiaoke Qin and others (2014) · 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems · IEEE
A Proof of Kamp's theorem
Alexander Rabinovich (2014) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Semantic Versioning versus Breaking Changes: A Study of the Maven Repository
Steven Raemaekers and others (2014) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
A formal proof of countermeasures against fault injection attacks on CRT-RSA
Pablo Rauzy and others (2014) · Journal of Cryptographic Engineering · Springer Science+Business Media
Key terrain in cyberspace: Seeking the high ground
David Raymond and others (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014) · IEEE
5.3 Wide-frequency-range resonant clock with on-the-fly mode changing for the POWER8TM microprocessor
P. Restle (2014) · IEEE
A Low-Complexity Preamble Detector for iNET-Formatted SOQPSK
M. Rice and others (2014) · IEEE
Peering at Peerings: On the Role of IXP Route Servers
Philipp Richter and others (2014) · Proceedings of the 2014 Conference on Internet Measurement Conference · ACM
Attributing Cyber Attacks
Thomas Rid and others (2014) · Journal of Strategic Studies · Informa UK Limited
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks
Lionel Rivière and others (2014) · Lecture notes in computer science · Springer Science+Business Media
Wavelength-multiplexed quantum networks with ultrafast frequency combs
Jonathan Roslund and others (2014) · Nature Photonics
DO-346, Minimum Operational Performance Standards (MOPS) for the Aeronautical Mobile Airport Communication System (AeroMACS
RTCA, (2014) · Technical Report DO-346
The CIA Strikes Back: Redefining Confidentiality, Integrity and Availability in Security
Spyridon Samonas and others (2014) · Journal of Information System Security
Spectral Characterization of Hierarchical Modularity in Product Architectures1
Somwrita Sarkar and others (2014) · Journal of Mechanical Design · American Society of Mechanical Engineers
Quasi-resonant clocking: A run-time control approach for true voltagefrequency-scalability
V. S. Sathe (2014) · Proceedings of the 2014 International Symposium on Low power Electronics and Design - ISLPED ’14. ACM Press, Aug 2014
Bringing up OpenSky: A large-scale ADS-B sensor network for research
M. Schäfer and others (2014) · IEEE
LDACS: future aeronautical communications for air-traffic management
Michael Schnell and others (2014) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
OperationCheckpoint: SDN Application Control
S. Scott-Hayward and others (2014) · IEEE
An ACL2 Mechanization of an Axiomatic Framework for Weak Memory
Benjamin Selfridge (2014) · Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
LISP Multi-Provider VPN Use-Cases, July 2014.
N. Shen and others (2014)
Rosemary: A robust, secure, and high-performance network operating system
S. Shin and others (2014) · Proceedings of the 2014 ACM SIGSAC conference on computer and communications security
JPMorgan Chase hacking affects 76 million households
Jessica Silver-Greenberg and others (2014)
CUDD: CU Decision Diagram Package, release 2.5.0
Fabio Somenzi (2014)
A new approach using symbolic analysis to compute path-dependent effective properties preserving hierarchy
Sridhar Srinivasan and others (2014) · IEEE
Realities and challenges of nextgen air traffic management: the case of ADS-B
Martin Strohmeier and others (2014) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
Formal verification of taint-propagation security properties in a commercial SoC design
Pramod Subramanyan and others (2014) · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 · IEEE Conference Publications
Over-Harbor Channel Modeling with Directional Ground Station Antennas for the Air-Ground Channel
Ruoyu Sun and others (2014) · 2014 IEEE Military Communications Conference · IEEE
DesignWare DW_ahb_dmac Databook
Synopsys, (2014)
No Stable Ground: Real Democracy in the Occupy Movement
Anna Szolucha (2014)
Address resolution in softwaredefined networks
K. M. Tankala and others (2014) · Patent no. WO2014115157 A1
A novel carrier synchronization method for SOQPSK signal in satellite communication
Fan Tao and others (2014)
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur and others (2014) · International SPIN Symposium on Model Checking of Software · Association for Computing Machinery
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner
R. J. M. Theunissen and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)
Zero to One: Notes on Startups, or How to Build the Future
Peter Thiel and others (2014) · Crown Business
Differential Fault Analysis on the Families of SIMON and SPECK Ciphers
Harshal Tupsamudre and others (2014) · Workshop on Fault Diagnosis and Tolerance in Cryptography
CIF 3: Model-Based Engineering of Supervisory Controllers
D. A. van Beek and others (2014) · Springer Berlin Heidelberg
Manufacturing Babies and Public Consent: Debating the New Reproductive Technologies
Jose Van Dyck (2014)
Beyond Big Data
Hal R. Varian (2014) · Business Economics · Palgrave Macmillan
Hostage: a mobile honeypot for collaborative defense
E. Vasilomanolakis and others (2014) · Proc
Editorial Expression of Concern: Experimental Evidence of Massive-Scale Emotional Contagion through Social Networks
Inder M. Verma (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Chinese remainder Theorem based centralised group key management for secure multicast communication
P. Vijayakumar and others (2014) · Institution of Engineering and Technology (IET)
Wikidata: A Free Collaborative Knowledge Base
Denny Vrandečić and others (2014) · Communications of the ACM
Functional Verification of High Performance Adders in COQ
Qian Wang and others (2014) · Wiley
The RISC-V Instruction Set Manual. Volume 1: User-Level ISA, Version 2.0
Andrew Waterman and others (2014) · Defense Technical Information Center
Waging War: Alliances, Coalitions, and Institutions of Interstate Violence
Patricia A. Weitsman (2014) · Stanford University Press
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries
Yannick Welsch and others (2014) · Science of Computer Programming · Elsevier BV
The Isabelle/Isar Reference Manual.
Makarius Wenzel (2014)
ADS-B over satellite: Global air traffic surveillance from space
K. Werner and others (2014) · Tyrrhenian International Workshop on Digital Communications - Enhanced Surveillance of Aircraft and Vehicles (TIWDC/ESAV) · Institute of Electrical and Electronics Engineers
MaxiNet: Distributed emulation of software-defined networks
Philip Wette and others (2014) · IFIP Networking Conference (IFIP Networking)
Quantifying the Gap Between FPGA and Custom CMOS to Aid Microarchitectural Design
H. Wong and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)
The CHERI capability model: Revisiting RISC in an age of risk
Jonathan Woodruff and others (2014) · IEEE
A Survey on Software-Defined Networking
W. Xia and others (2014) · Institute of Electrical and Electronics Engineers (IEEE)
FLUSH+ RELOAD: a high resolution, low noise, L3 cache side-channel attack.
Y. Yarom and others (2014) · USENIX Security Symposium
The Linguistic Relativity of Programming Languages
Jenna Zeigen (2014)
Construction of Chinese Nationalism in the Early 21st Century
S. Zhao (2014) · Routledge
A Novel Approach to Generate the Property for Web Service Verification from Threat-Driven Model
Yonghua Zhu and others (2014) · Applied Mathematics & Information Sciences · Natural Sciences Publishing
Efficiency of a glitch detector against electromagnetic fault injection
Loic Zussa and others (2014) · IEEE Conference Publications
Verification of the power-down mode of analog circuits by structural voltage propagation
Michael Zwerger and others (2014) · Analog Integrated Circuits and Signal Processing · Springer Science+Business Media