2015
267 references published this year.
Has the Routability of Longer-than-/24 Prefixes Changed?
Emile Aben and others (2015)
Application of the NARX neural network as a digital predistortion technique for linearizing microwave power amplifiers
L.M. Aguilar-Lobo and others (2015) · Wiley
Man-At-The-End attacks: Analysis, taxonomy, human aspects, motivation and future directions
Adnan Akhunzada and others (2015) · Journal of Network and Computer Applications · Elsevier BV
How the Facebook Arabic Page “We Are All Khaled Said” Helped Promote the Egyptian Revolution
Kara Alaimo (2015) · Social Media + Society · SAGE Publications
New complete system of Hoare's logic with recursive procedures
M. F. Al Ameen and others (2015)
Risk-Based Vulnerability Management. Exploiting the economic nature of the attacker to build sound and measurable vulnerability mitigation strategies
L. Allodi (2015)
Coherence protocol for transparent management of scratchpad memories in shared memory manycore architectures
L. Alvarez and others (2015) · ACM
Permission-based separation logic for multithreaded Java programs
Afshin Amighi and others (2015) · Logical Methods in Computer Science
Virtual CPU validation
Nadav Amit and others (2015) · Proceedings of the 25th Symposium on Operating Systems Principles · ACM
3.7 A 7Gb/s rapid on/off embedded-clock serial-link transceiver with 20ns power-on time, 740μW off-state power for energy-proportional links in 65nm CMOS
Tejasvi Anand and others (2015) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
On Subnormal Floating Point and Abnormal Timing
Marc Andrysco and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Single quantum emitters in monolayer semiconductors
Unattributed (2015) · Springer Science and Business Media LLC
Multi-workflow QoS-Constrained Scheduling for Utility Computing
H. Arabnejad and others (2015) · IEEE
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks
S. Banescu and others (2015) · IEEE
Orchestrated Session Compliance
Franco Barbanera and others (2015) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Retractable Contracts
Franco Barbanera and others (2015) · Open Publishing Association
Compliance in Behavioural Contracts: A Brief Survey
Massimo Bartoletti and others (2015) · Springer International Publishing
Debits and Credits in Petri Nets and Linear Logic
Massimo Bartoletti and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Model checking usage policies
Massimo Bartoletti and others (2015) · Cambridge University Press (CUP)
Models of Circular Causality
Massimo Bartoletti and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Is it really worth to peer at IXPs? A comparative study
Marco Di Bartolomeo and others (2015) · IEEE
The C11 and C++11 Concurrency Model
Mark John Batty (2015)
The Problem of Programming Language Concurrency Semantics
Mark Batty and others (2015) · Programming Languages and Systems · Springer Berlin Heidelberg
A Course in Mathematical Cryptography
G. Baumslag and others (2015) · DE GRUYTER
New Proofs for NMAC and HMAC: Security without Collision Resistance
Mihir Bellare (2015) · Journal of Cryptology · Springer Science+Business Media
Information and thermodynamics: experimental verification of Landauer's Erasure principle
Antoine Bérut and others (2015) · Journal of Statistical Mechanics: Theory and Experiment · IOP Publishing
Server Siblings: Identifying Shared IPv4/IPv6 Infrastructure Via Active Fingerprinting
Robert Beverly and others (2015) · Springer International Publishing
VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation
Mohammad-Mahdi Bidmeshki and others (2015) · 2015 IEEE International Symposium on Circuits and Systems (ISCAS) · IEEE
νZ - An Optimizing SMT Solver
N. Bjørner and others (2015) · Springer Berlin Heidelberg
Witnessing the elimination of magic wands
Stefan Blom and others (2015) · International Journal on Software Tools for Technology Transfer · Springer
Being and Change: Reasoning About Invariance
Frank S. de Boer and others (2015) · Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Social Media: A Phenomenon to be Analyzed
Danah Boyd (2015) · SAGE Publications
Multiple Fault Attack on PRESENT with a Hardware Trojan Implementation in FPGA
Jakub Breier and others (2015)
Sub-classical Boolean Bunched Logics and the Meaning of Par
James Brotherston and others (2015) · Stephan Kreutzer, editor: Conference on Computer Science Logic (CSL 2015), Leibniz International Proceedings in Informatics (LIPIcs) 41, Schloss Dagstuhl– Leibniz-Zentrum fuer Informatik
Generating Formal Verification Properties from Natural Language Hardware Specifications, University of California, USA, 2015.
C. Bryant (2015) · Bryant, Generating Formal Verification Properties from Natural Language Hardware Specifications, University of Californi
Demographic Characteristics and Victimization Risk: Testing the Mediating Effects of Routine Activities
J. Bunch and others (2015) · SAGE Publications
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits
Dmitry Burlyaev and others (2015) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
Dmitry Burlyaev (2015) · Agence Bibliographique de l'Enseignement Supérieur
Formal verification of automatic circuit transformations for fault-tolerance
Dmitry Burlyaev and others (2015) · IEEE
Time-redundancy transformations for adaptive fault-tolerant circuits
Dmitry Burlyaev and others (2015) · IEEE
GALS Synthesis and Verification for xMAS Models
Frank Burns and others (2015) · Design, Automation, and Test in Europe
Do bugs foreshadow vulnerabilities? A study of the Chromium project
Felivel Camilo and others (2015) · 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories · IEEE
The Origins of Counting Algorithms
J. F. Cantlon and others (2015) · SAGE Publications
Control-Flow bending: On the effectiveness of Control-Flow integrity
N. Carlini and others (2015) · 24th USENIX Security Symposium (USENIX Security 15)
Universal linear optics
Jacques Carolan and others (2015) · Science · American Association for the Advancement of Science (AAAS)
SHORT BLOCK LENGTH LDPC CODES FOR TC SYNCHRONIZATION AND CHANNEL CODING
Consultative Committee for Space Data Systems (2015) · Orange Book
The berkeley out-of-order machine (boom): An industry-competitive, synthesizable, parameterized risc-v processor
Unattributed (2015) · UC Berkeley EECS Tech. Rep. UCB/EECS-2015-167
SVA: The Power of Assertions in SystemVerilog
Eduard Cerny and others (2015) · Springer International Publishing
Word-level Symbolic Trajectory Evaluation
Supratik Chakraborty and others (2015)
Quo vadis Open-IX?
Nikolaos Chatzis and others (2015) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
How to detect a compromised SDN switch
Po-Wen Chi and others (2015) · IEEE Conference on Network Softwarization
Centralized ARP proxy server over SDN controller to cut down ARP broadcast in large-scale data center networks
H. Cho and others (2015) · IEEE
System and Method for Sharing Investigation Result Data
David Cohen and others (2015)
Vital Systems Security: Reflexive Biopolitics and the Government of Emergency
Stephen J Collier and others (2015) · SAGE Publications
Automatic fault injection for driver robustness testing
Kai Cong (2015) · ACM
Soft-Core Embedded-FPGA Based on Multistage Switching Networks: A Quantitative Analysis
Matteo Cuppini and others (2015) · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · Institute of Electrical and Electronics Engineers
Automatic Extraction of Assertions from Execution Traces of Behavioural Models
Alessandro Danese and others (2015) · Design, Automation, and Test in Europe
Micro-Policies: Formally Verified, Tag-Based Security Monitors
Arthur Azevedo de Amorim and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Pegasus, a workflow management system for science automation
Ewa Deelman and others (2015) · Future Generation Computer Systems · Elsevier BV
The Lean Theorem Prover (System Description)
Leonardo de Moura and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Logical Investigations on Separation Logics
Stéphane Demri and others (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri and others (2015) · Journal of Applied Non-Classical Logics
Architectural Support for Software-Defined Metadata Processing
Udit Dhawan and others (2015) · ACM
SPHINX: Detecting Security Attacks in Software-Defined Networks
Mohan Dhawan and others (2015) · Network and Distributed System Security Symposium
Understanding Integer Overflow in C/C++
Will Dietz and others (2015) · Association for Computing Machinery (ACM)
Handbook of Epistemic Logic
Hans van Ditmarsch and others (2015) · College Publications
BINSEC: Binary Code Analysis with Low-Level Regions
Adel Djoudi and others (2015) · Springer Berlin Heidelberg
Silicon photonic integration in telecommunications
Christopher Richard Doerr (2015) · Frontiers in Physics · Frontiers Media
Confidence in Confinement: An Axiom-free, Mechanized Verification of Confinement in Capability-based Systems
Michael Scott Doerrie (2015)
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol and others (2015) · Mathematics of Program Construction · Springer
The Correctness-Security Gap in Compiler Optimization
Vijay D’Silva and others (2015) · IEEE
BGP Operations and Security
J. Durand and others (2015) · RFC Editor
From Code Review to Fault Injection Attacks: Filling the Gap Using Fault Model Inference
Louis Dureuil and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Robust Control of the Air to Fuel Ratio in Spark Ignition Engines with Delayed Measurements from a UEGO Sensor
J. Espinoza-Jurado and others (2015) · Hindawi Limited
Crime concentration theory
Graham Farrell (2015) · Crime Prevention and Community Safety · Palgrave Macmillan
Emerging heterogeneous integrated photonic platforms on silicon
Sasan Fathpour (2015) · Wiley
Workload Modeling for Computer Systems Performance Evaluation
D. G. Feitelson (2015) · Cambridge University Press
The 12-Core POWER8™ Processor With 7.6 Tb/s IO Bandwidth, Integrated Voltage Regulation, and Resonant Clocking
E. J. Fluhr and others (2015) · Institute of Electrical and Electronics Engineers (IEEE)
Coherence domain restriction on large scale systems
Yaosheng Fu and others (2015) · IEEE/ACM International Symposium on Microarchitecture (MICRO) · Institute of Electrical and Electronics Engineers
Cyber War in Perspective: Russian Aggression against Ukraine
Unattributed (2015) · NATO Cooperative Cyber Defence Centre of Excellence
Schematic-Level and Layout-Level ESD EDA check methodology applied to smart power IC's - initialization and implementation
Eleonora Gevinti and others (2015) · Electrical Overstress/Electrostatic Discharge Symposium
Differential Fault Intensity Analysis on PRESENT and LED Block Ciphers
Nahid Farhady Ghalaty and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Specifying linked data structures in JML for combining formal verification and testing
Christoph Gladisch and others (2015) · Science of Computer Programming · Elsevier BV
The American Counterculture of War: Supporting Foreign Insurgencies and the American Discourse of War
J. K. Gleiman (2015) · Special Operations Journal
Introduction to Concurrency Theory: Transition Systems and CCS
Roberto Gorrieri and others (2015) · Springer Nature
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw and others (2015) · Computer Aided Verification · Springer
The Utopia of Rules: On Technology, Stupidity, and the Secret Joys of Bureaucracy
David Graeber (2015) · Melville House
Comparing models of offensive cyber operations
Tim Grant and others (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare and Security
On the military geography of cyberspace
Tim Grant (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare Secur
Method to emulate the L-band digital aeronautical communication system for SESAR evaluation and verification
T. Gräupl and others (2015) · IEEE
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
Kathryn E. Gray and others (2015) · ACM
Formal Assurance Arguments: A Solution in Search of a Problem?
Patrick John Graydon (2015) · IEEE
Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL
D. J. Greaves (2015) · IEEE
Rational Use of Cognitive Resources: Levels of Analysis Between the Computational and the Algorithmic
Thomas L. Griffiths and others (2015) · Topics in Cognitive Science · Wiley
Schema.org: Evolution of Structured Data on the Web
R.V. Guha and others (2015)
Path switching: Reduced-state flow handling in SDN using path information
Adiseshu Hari and others (2015) · Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies
Automatic generation of assembly to IR translators using compilers
Niranjan Hasabnis and others (2015) · Workshop on Architectural and Microarchitectural Support for Binary Translation
IronFleet: proving practical distributed systems correct
Chris Hawblitzel and others (2015) · Proceedings of the 25th Symposium on Operating Systems Principles
Remembering Basic
David Hayward (2015) · Micro Mart 1387 (2015): 32.
The Platformization of the Web: Making Web Data Platform Ready
Anne Helmond (2015) · SAGE Publications
BUNGEE: An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments
N. R. Herbst and others (2015) · IEEE
High-performance random access schemes
Oscar del Río Herrero and others (2015) · Cooperative and Cognitive Satellite Systems · Elsevier
SPECS: A lightweight runtime mechanism for protecting software from security- critical processor bugs
M. Hicks and others (2015) · SIGPLAN Not.
Google steals 550+ million Wikipedia clicks in 6 months, traffic drop confirmed by Wiki’s Jimmy Wales
Roy Hinkis (2015)
Spaceship Earth in the Environmental Age, 1960–1990
Sabine Höhler (2015) · Routledge
Security Services for the Registration Data Access Protocol (RDAP)
S. Hollenbeck and others (2015) · RFC Editor
QEMU-Based Fault Injection for a System-Level Analysis of Software Countermeasures Against Fault Attacks
Andrea Höller and others (2015) · Euromicro Conference on Digital System Design (DSD)
Automated Theorem Proving for Assertions in Separation Logic with All Connectives
Zhé Hóu and others (2015) · Lecture notes in computer science · Springer Science+Business Media
A Prehistory of the Cloud
Tung-Hui Hu (2015) · The MIT Press
OpenTimer: A high-performance timing analysis tool
T.W. Huang and others (2015) · IEEE
A Crime Script Analysis of the Online Stolen Data Market: Table 1
A. Hutchings and others (2015) · Oxford University Press (OUP)
Performance Anomaly Detection and Bottleneck Identification
Olumuyiwa Ibidunmoye and others (2015) · ACM Computing Surveys
Doc 9896 — Manual on the Aeronautical Telecommunication Network (ATN) using Internet Protocol Suite (IPS) Standards and Protocols
ICAO, (2015) · ICAO Doc 9896, International Civil Aviation Organization (ICAO)
Doc 9776 - Manual on VHF Digital Link (VDL) Mode 2
ICAO, (2015) · ICAO Doc 9776, International Civil Aviation Organization (ICAO)
Scheduling Workloads of Workflows with Unknown Task Runtimes
Alexey Ilyushkin and others (2015) · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
Facilitating presentation of ads relating to words of a message
Victor Roditis Jablokov and others (2015)
Cyber Warfare: Building the Scientific Foundation
Sushil Jajodia and others (2015) · Springer
Compiling packet programs to reconfigurable switches
L. Jose and others (2015) · 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)
Arbitrary packet matching in OpenFlow
S. Jouet and others (2015) · IEEE
VDL Mode 2 Capacity and Performance Analysis
SESAR JU (2015) · SESAR SJU Study v.1., European Union (EU)
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
Ralf Jung and others (2015) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
History of Computer Crime
M. E. Kabay (2015)
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015)
Unattributed (2015) · FMCAD Inc.
Flowmon: Detecting malicious switches in software-defined networks
A. Kamisiński and others (2015) · Proceedings of the 2015 Workshop on Automated Decision Making for Active Cyber Defense
Denial-of-service attacks in OpenFlow SDN networks
Rajat Kandoi and others (2015) · IFIP/IEEE International Symposium on Integrated Network Management (IM)
Impact of high‐κgate dielectric and other physical parameters on the electrostatics and threshold voltage of long channel gate‐all‐around nanowire transistor
Saeed Uz Zaman Khan and others (2015) · International Journal of Numerical Modelling Electronic Networks Devices and Fields · Wiley
An 8bit, 2.6ps two-step TDC in 65nm CMOS employing a switched ring-oscillator based time amplifier
B. Kim and others (2015) · IEEE
A First Step Towards Leveraging Commodity Trusted Execution Environments for Network Applications
Seongmin Kim and others (2015) · ACM
Evaluation of a cloud federation approach based on Software Defined Networking
Marc Koerner and others (2015) · IEEE Conference on Local Computer Networks Workshops (LCN Workshops)
Revisiting the Complexity of Hardware Cache Coherence and Some Implications
Rakesh Komuravelli and others (2015) · ACM Transactions on Architecture and Code Optimization · Association for Computing Machinery
Design global, manufacture local: Exploring the contours of an emerging productive model
Vasilis Kostakis and others (2015) · Futures · Elsevier BV
Software-Defined Networking: A Comprehensive Survey
Diego Kreutz and others (2015) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Optimizing the video transcoding workflow in content delivery networks
D. K. Krishnappa and others (2015) · ACM
Haswell: A Family of IA 22 nm Processors
N. Kurd (2015) · Institute of Electrical and Electronics Engineers (IEEE)
What You Need to Know About SDN Flow Tables
Maciej Kuźniar and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Laser fault injection into SRAM cells: Picosecond versus nanosecond pulses
Marc Lacruche and others (2015) · 2015 IEEE 21st International On-Line Testing Symposium (IOLTS) · IEEE
An algebraic theory for web service contracts
Cosimo Laneve and others (2015) · Formal Aspects of Computing · Springer Science+Business Media
From Communicating Machines to Graphical Choreographies
Julien Lange and others (2015) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
A Mininet-based Virtual Testbed for Distributed SDN Development
Bob Lantz and others (2015) · ACM
F2FS: A New File System for Flash Storage
Changman Lee and others (2015) · 13th USENIX Conference on File and Storage Technologies (FAST 15)
General LTL Specification Mining (T)
Caroline Lemieux and others (2015) · IEEE/ACM International Conference on Automated Software Engineering (ASE)
Emotion and Decision Making
Jennifer S. Lerner and others (2015) · Annual Review of Psychology · Annual Reviews
A comprehensive ESD verification flow at transistor level for large SoC designs
Jerome Lescot and others (2015) · IEEE
A Fast-Locking All-Digital Phase-Locked Loop With Dynamic Loop Bandwidth Adjustment
Jung-Mao Lin and others (2015) · IEEE Transactions on Circuits and Systems I: Regular Papers · Institute of Electrical and Electronics Engineers (IEEE)
Cloud interconnection and traffic engineering for enterprise applications
Yuefeng Liu and others (2015) · IEEE INFOCOM 2015
In defense of soundiness: A manifesto
Benjamin Livshits and others (2015) · Communications of the ACM · Association for Computing Machinery
Constructive Verification of Quasi Delay-Insensitive Circuits
Longfield Jr., Stephen James (2015)
Preventing glitches and short circuits in high-level self-timed chip specifications
Stephen Longfield and others (2015) · ACM
Rethinking virtual private networks in the software-defined era
Gabriele Lospoto and others (2015) · IFIP/IEEE International Symposium on Integrated Network Management (IM)
On the relation between numerical and non-numerical magnitudes: Evidence for a general magnitude system
S. F. Lourenco (2015) · Mathematical cognition and learning · Elsevier
An analysis of the economic impact of strategic deaggregation
Andra Lutu and others (2015) · Elsevier BV
Algorithms for cost- and deadline-constrained provisioning for scientific workflow ensembles in IaaS clouds
M. Malawski and others (2015) · Elsevier BV
Scheduling Multilevel Deadline-Constrained Scientific Workflows on Clouds Based on Cost Optimization
M. Malawski and others (2015) · Wiley
CCICheck: Using µhb graphs to verify the coherence-consistency interface
Y. A. Manerkar and others (2015) · Proceedings of the 48th International Symposium on Microarchitecture (MICRO)
Technology acceptance model: a literature review from 1986 to 2013
Nikola Marangunić and others (2015) · Universal Access in the Information Society · Springer-Verlag Berlin Heidelberg
Air-ground channel characterization for unmanned aircraft systems: The near-urban environment
David W. Matolak and others (2015) · IEEE Military Communications Conference (MILCOM)
Unmanned Aircraft Systems: Air-Ground Channel Characterization for Future Applications
D. W. Matolak and others (2015) · Institute of Electrical and Electronics Engineers (IEEE)
Towards the ENTRI Framework: Security Risk Management Enhanced by the Use of Enterprise Architectures
N. Mayer and others (2015) · Springer International Publishing
UNDERSTANDING GRAY ZONE CONFLICT
M. J. Mazarr (2015) · MASTERING THE GRAY ZONE: UNDERSTANDING A CHANGING ERA OF CONFLICT (pp. 55–78). Strategic Studies Institute, US Army War College. http://www.jstor.org/stable/resrep12018.9
Defeating Adversary A2AD: Merging Domains at the Water’s Edge
Pete McAleer (2015)
Laser written circuits for quantum photonics
Thomas Meany and others (2015) · Wiley
Introduction to Mathematical Logic
Elliott Mendelson (2015) · CRC Press
Flask coherence: A morphable hybrid coherence protocol to balance energy, performance and scalability
Lucía G. Menezo and others (2015) · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · Institute of Electrical and Electronics Engineers
Cross-checking semantic correctness: The case of finding file system bugs
C. Min and others (2015) · ACM
Loop: Logic-oriented opaque predicate detection in obfuscated binary code
J. Ming and others (2015) · Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
Network Attacks & Exploitation
Matthew Monte (2015) · Wiley
Efficient and Correct by Construction Assertion-Based Synthesis
K. Morin-Allory and others (2015) · Institute of Electrical and Electronics Engineers (IEEE)
Hardware Verification Using Software Analyzers
Rajdeep Mukherjee and others (2015) · IEEE Computer Society Annual Symposium on VLSI
8.1 An 80nW retention 11.7pJ/cycle active subthreshold ARM Cortex-M0+ subsystem in 65nm CMOS for WSN applications
James Myers and others (2015) · 2015 IEEE International Solid-State Circuits Conference - (ISSCC) Digest of Technical Papers · IEEE
Experimental Validation of a Faithful Binary Circuit Model
Robert Najvirt and others (2015) · Proceedings of the 25th edition on Great Lakes Symposium on VLSI · ACM
Dependable Horizontal Scaling Based on Probabilistic Model Checking
A. Naskos and others (2015) · IEEE
A Generic Synthesisable Test Bench
Matthew Naylor and others (2015) · 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
How Amazon Web Services Uses Formal Methods
Chris Newcombe and others (2015) · Communications of the ACM · Association for Computing Machinery
Integrated Sensor: A Backdoor for Hardware Trojan Insertions?
Xuan Thuy Ngo (2015) · IEEE
Applied Number Theory
H. Niederreiter and others (2015) · Springer International Publishing
Eye movements reveal distinct encoding patterns for number and cumulative surface area in random dot arrays
D. Odic and others (2015) · Association for Research in Vision and Ophthalmology (ARVO)
From categorical logic to Facebook engineering
Peter O'Hearn (2015) · 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science · IEEE
OpenFlow switch specification, version 1.5.1
Open Networking Foundation (2015) · Open Networking Foundation
Evidence of a Larger EM-Induced Fault Model
S. Ordas and others (2015) · Smart Card Research and Advanced Applications · Springer International Publishing
EM Injection: Fault Model and Locality
S. Ordas and others (2015) · 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) · IEEE
Autonomous Aerial Water Sampling
J.-P. Ore and others (2015) · Wiley
A framework of opportunity-reducing techniques to mitigate the insider threat
K. Padayachee (2015) · IEEE
UAv6: Alias Resolution in IPv6 Using Unused Addresses
Ramakrishna Padmanabhan and others (2015) · Springer International Publishing
Thermodynamics of information
Juan M. R. Parrondo and others (2015) · Nature Physics · Nature Portfolio
Early numerical abilities and cognitive skills in kindergarten children
M. C. Passolunghi and others (2015) · Elsevier BV
A Biased Fault Attack on the Time Redundancy Countermeasure for AES
Sikhar Patranabis and others (2015) · Constructive Side-Channel Analysis and Secure Design · Springer International Publishing
Past and future of hardware and architecture
David A. Patterson (2015) · Proceedings of the SOSP History Day 2015 · Association for Computing Machinery
Extending ACL2 with SMT Solvers
Yan Peng and others (2015) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Reverse engineering intel DRAM addressing and exploitation
P. Pessl and others (2015) · ArXiv e-prints
Staying persistent in software defined networks
G. Pickett (2015)
A Fully Verified Container Library
Nadia Polikarpova and others (2015) · FM 2015: Formal Methods · Springer
Semantics Driven Hardware Design, Implementation, and Verification with ReWire
Adam M. Procter and others (2015)
Enterprise Architecture - Towards essential sensemaking
Henderik Alex Proper and others (2015) · DFKI GmbH, Institut für Wirtschaftsinformatik
Applying formal methods to networking: theory, techniques, and applications
Junaid Qadir and others (2015) · IEEE Communications Surveys & Tutorials · IEEE
Comparison of Convolutional and Block Codes for Low Structural Delay
C. Rachinger and others (2015) · Institute of Electrical and Electronics Engineers (IEEE)
Cyber-Risk Management
Atle Refsdal and others (2015) · Springer Nature
The Practice of Politics and Revolution: Egypt’s Revolutionary Youth Social Movement
Sarah Anne Rennick (2015)
Rpki miro: Monitoring and inspection of rpki objects
Andreas Reuter and others (2015) · ACM SIGCOMM Computer Communication Review
A Primer on IPv4 Scarcity
Philipp Richter and others (2015) · Association for Computing Machinery (ACM)
Landelijke Brugen Sluisstandaard, Vraagspecificatie Eisen v4.0
Rijkswaterstaat, (2015) · Standard
High precision fault injections on the instruction cache of ARMv7-M architectures
Lionel Rivière and others (2015) · IEEE
A novel simulation approach for fault injection resistance evaluation on smart cards
Lionel Rivière (2015) · IEEE
Securing software implementations against fault injection attacks on embedded systems
Lionel Rivière (2015)
What's Going on? Making Sense of the Role of the Media in the Arab Uprisings
Alexa Robertson (2015) · Wiley
SDN Rootkits: Subverting Network Operating Systems of Software-Defined Networks
Christian Röpke and others (2015) · Lecture notes in computer science · Springer Science+Business Media
A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits
Amnon Rosenmann (2015)
The Network Data Repository with Interactive Graph Analytics and Visualization
Ryan A. Rossi and others (2015) · Proceedings of the AAAI Conference on Artificial Intelligence · Association for the Advancement of Artificial Intelligence
What is an emerging technology?
Daniele Rotolo and others (2015) · Research Policy · Elsevier BV
Strategic Anti-Access/Area Denial in Cyberspace
Alison Lawlor Russell (2015) · 2015 7th International Conference on Cyber Conflict: Architectures in Cyberspace · NATO CCD COE Publications
Analysis and optimization of CMOS switched-capacitor converters
Visvesh Sathe and others (2015) · IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED)
Investigating the Nature of Routing Anomalies: Closing in on Subprefix Hijacking Attacks
Johann Schlamp and others (2015) · Springer International Publishing
Exploiting the DRAM rowhammer bug to gain kernel privileges
Mark Seaborn and others (2015) · Black Hat (2015).
A Survey on Group Key Management Schemes
R Seetha and others (2015) · Cybernetics and Information Technologies · De Gruyter Open
Formal verification: an essential toolkit for modern VLSI design
E. Seligman and others (2015)
Mechanized verification of fine-grained concurrent programs
Ilya Sergey and others (2015) · Association for Computing Machinery (ACM)
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Wendelin Serwe (2015) · Proceedings of the 2nd International Workshop on Models for Formal Analysis of Real Systems (MARS 2015)
Computing Workflows for Biologists: A Roadmap
Ashley Shade and others (2015) · PLOS Biology · Public Library of Science (PLoS)
PHISHING: AN EVOLVING THREAT
K. Shah and others (2015) · GIAP Journals
Online Task Resource Consumption Prediction for Scientific Workflows
R. F. Da Silva and others (2015) · World Scientific Pub Co Pte Ltd
Moat: Verifying confidentiality of enclave programs
Rohit Sinha and others (2015) · Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security · ACM
An Overview of Microsoft Academic Service (MAS) and Applications
Arnab Sinha and others (2015) · International World Wide Web Conference (WWW)
Trust and social capital in the design and evolution of institutions for collective action
Benjamin Six and others (2015) · Ubiquity Press, Ltd.
A Module System for C++
Richard Smith and others (2015) · ISO/IEC JTC1 SC22 WG21 P0142R0
Information security management needs more holistic approach: A literature review
Zahoor Ahmed Soomro and others (2015) · International Journal of Information Management · Elsevier BV
Evaluating approaches to resource demand estimation
Simon Spinner and others (2015) · Performance Evaluation · Elsevier BV
Optically active quantum dots in monolayer WSe2
Ajit Srivastava and others (2015) · Nature Nanotechnology · Springer Science and Business Media LLC
Possible VDB Formatting For Multi- Constellation/Multi-Frequency GBAS Services
M. Stanisak and others (2015) · 28th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2015)
Guide to industrial control systems (ICS) security – NIST special publication (SP) 800-82 revision 2
Keith Stouffer and others (2015) · NIST
Shared decision-making drives collective movement in wild baboons
Ariana Strandburg‐Peshkin and others (2015) · Science · American Association for the Advancement of Science
Combining Symbolic Execution and Model Checking for Data Flow Testing
Ting Su (2015) · IEEE
Evaluating the security of logic encryption algorithms
Pramod Subramanyan and others (2015) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
Template-based synthesis of instruction-level abstractions for SoC verification
Pramod Subramanyan and others (2015) · IEEE
Scalable programmable inbound traffic engineering
Peng Sun and others (2015) · ACM
Identifying and Exploiting the Cyber High Ground for Botnets
Patrick W. Sweeney and others (2015) · Advances in information security · Springer Nature
Designware DW_apb_ssi Databook
Synopsys, (2015)
Pyverilog: A Python-Based Hardware Design Processing Toolkit for Verilog HDL
Shinya Takamaeda-Yamazaki (2015) · Lecture notes in computer science · Springer Science+Business Media
Improving asic reuse with embedded fpga fabrics
John Teifel and others (2015) · Technical report
Coverage driven distribution of constrained random stimuli
M. Teplitsky and others (2015)
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
Stavros Tripakis and others (2015) · Journal of Signal Processing Systems · Springer Science and Business Media LLC
Essential - integration of ESD verification methodologies
N. Trivedi and others (2015) · 2015 37th Electrical Overstress/Electrostatic Discharge Symposium (EOS/ESD) · IEEE
Multinational Force Interoperability
US Army (2015) · Department of Defense
A Review on Software Fault Injection Methods and Tools
K Umadevi and others (2015) · Ess & Ess Research Publications
Analysing enterprise architecture maturity models: a learning perspective
Jonathan Vallerand and others (2015) · Enterprise Information Systems · Taylor & Francis
Modular model-based supervisory controller design for wafer logistics in lithography machines
L. J. van der Sanden and others (2015) · IEEE
Testing Safety-Critical Systems using Fault Injection and Property-Based Testing
Benjamin Vedder (2015)
Mind Your Blocks: On the Stealthiness of Malicious BGP Hijacks
Pierre-Antoine Vervier and others (2015) · Proceedings 2015 Network and Distributed System Security Symposium · Internet Society
Modular Deductive Verification of Multiprocessor Hardware Designs
Muralidaran Vijayaraghavan and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Propositions as types
Philip Wadler (2015) · Communications of the ACM
PROPs for Linear Systems
Simon Wadsley and others (2015) · arXiv
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq
Qian Wang and others (2015) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
Robert N. M. Watson and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
CMOS VLSI Design: A Circuits and Systems Perspective
N.H. Weste and others (2015) · Pearson Education
User talk:Jimbo Wales/Archive 192
Wikipedia contributors (2015)
Steamroller Module and Adaptive Clocking System in 28 nm CMOS
Kathryn Wilcox and others (2015) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Workflow scheduling in cloud: a survey
Fuhui Wu and others (2015) · The Journal of Supercomputing · Springer Science+Business Media
From Frequency to Time-Average-Frequency: A Paradigm Shift in the Design of Electronic Systems
L. Xiu (2015) · Wiley-IEEE Press
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu and others (2015) · IEEE
A Novel Efficient SDN Based Broadcast Scheme
Y. Xu and others (2015) · Atlantis Press
The Endgame for Moore's Law: Architecture, Algorithm, and Application Challenges
Kathy Yelick (2015) · Federated Computing Research Conference · Association for Computing Machinery
Hybrid satellite systems
Juha Ylitalo and others (2015) · Cooperative and Cognitive Satellite Systems · Elsevier
Improving Fault Attacks on Embedded Software Using RISC Pipeline Characterization
Bilgiday Yuce and others (2015) · IEEE
Distributed supervisory control of discrete-event systems with communication delay
R. Zhang and others (2015) · Springer Science and Business Media LLC
A Hardware Design Language for Timing-Sensitive Information-Flow Security
Danfeng Zhang and others (2015) · ACM SIGPLAN Notices · Association for Computing Machinery
Survey on cyberspace security
H. Zhang and others (2015) · Springer Science and Business Media LLC
A WCDMA/WLAN Digital Polar Transmitter With Low-Noise ADPLL, Wideband PM/AM Modulator, and Linearized PA
S. Zheng and others (2015) · Institute of Electrical and Electronics Engineers (IEEE)
Detection of Asymmetric Aging-Critical Voltage Conditions in Analog Power-Down Mode
Michael Zwerger and others (2015) · IEEE Conference Publications